Computer Science
Paper Review Records
All Paper Review Records
16 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
Spatiotemporal Tubes for Probabilistic Temporal Reach–Avoid–Stay task in uncertain dynamic environment
AuthorsSiddhartha Upadhyay; Ratnangshu Das; Pushpak Jagtap
AffiliationsCenter for Cyber-Physical System, Indian Institute of Science, Bengaluru, India; Department of Aerospace Engineering, Indian Institute of Science, Bengaluru, India
H2 control of detector-based Markov Jump Lur’e Systems with sector bound optimization via Lur’e-observability and Lur’e-controllability Gramians
AuthorsLucas P.M. Silva
AffiliationsSchool of Science and Technology, Federal University of Mato Grosso, Várzea Grande, MT, Brazil
Sliding dynamics and invariant manifolds of 3D piecewise linear systems with parallel tangency lines
AuthorsRony Cristiano; Durval J. Tonon; Mariana Q. Velter
AffiliationsInstitute of Mathematics and Statistics of Federal University of Goiás, Avenida Esperança s/n, Campus Samambaia, CEP 74690-900, Goiânia, Goiás, Brazil; Department of Mathematics, Rutgers, The State University of New Jersey, Hill Center-Busch Campus, 110 Frelinghusen Rd, Piscataway, NJ 08854-8019, USA
Lyapunov redesign of perturbed periodic LTV systems with experimental validation
AuthorsOleg Sumenkov; Maksim Surov; Leonid Fridman; Sergei Gusev; Ivan Tarabukin
AffiliationsSirius University of Science and Technology, Sochi, 354340, Russia; Universidad Nacional Autónoma de México (UNAM), Mexico City, 04510, Mexico
The stability of boundary equilibria of three-dimensional Filippov systems
AuthorsD.J.W. Simpson
AffiliationsSchool of Mathematical and Computational Sciences, Massey University, Palmerston North, 4410, New Zealand
Adaptive finite-time control for a class of nonlinear systems with unknown control directions based on logic switching
AuthorsRuicheng Ma; Haiwei Jing; Yuanchao Qu; Li Yang
AffiliationsSchool of Mathematics and Statistics, Liaoning University, Shenyang, 110036, China
Task and motion planning of dynamic systems using hyperproperties for signal temporal logic
AuthorsJianing Zhao; Bowen Ye; Xinyi Yu; Rupak Majumdar; Xiang Yin
AffiliationsSchool of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, 200240, China; Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, 90089, CA, USA; Max Planck Institute for Software Systems, Kaiserslautern, 67663, Germany
Dense-time discrete event observer for temporal detection of stealthy cyber-attacks
AuthorsMouna Gaouar; Rabah Ammour; Isabel Demongodin; Dimitri Lefebvre
AffiliationsAix-Marseille University, CNRS, LIS, Marseille, France; Université Le Havre Normandie, GREAH, Le Havre, France
Enforcing opacity with publicly known edit functions under incomparable observations
AuthorsWei Duan; Shaopeng Hu; Zhou He; Ruotian Liu; Maria Pia Fanti
AffiliationsTest Center, National University of Defense Technology, Xi’an 710106, China; Department of Electrical and Information Engineering, Polytechnic University of Bari, Bari 70125, Italy; School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China; School of Electrical and Control Engineering, Shaanxi University of Science and Technology, Xi’an 710021, China
Runtime verifiable implementation of recurring switching rules via Signal Temporal Logic: Industrial power system case study
AuthorsYoshinari Takayama; Adnane Saoud; Alessio Iovine; Guillaume Sandou
AffiliationsLaboratory of Signals and Systems (L2S), CNRS, CentraleSupélec, Paris-Saclay University, Gif-sur-Yvette, France; College of Computing, University Mohammed VI Polytechnic, Benguerir, Morocco
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.