计算机科学
Paper Review Records
全部论文审稿周期
16 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
Spatiotemporal Tubes for Probabilistic Temporal Reach–Avoid–Stay task in uncertain dynamic environment
作者Siddhartha Upadhyay; Ratnangshu Das; Pushpak Jagtap
作者单位Center for Cyber-Physical System, Indian Institute of Science, Bengaluru, India; Department of Aerospace Engineering, Indian Institute of Science, Bengaluru, India
Sliding dynamics and invariant manifolds of 3D piecewise linear systems with parallel tangency lines
作者Rony Cristiano; Durval J. Tonon; Mariana Q. Velter
作者单位Institute 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
作者Oleg Sumenkov; Maksim Surov; Leonid Fridman; Sergei Gusev; Ivan Tarabukin
作者单位Sirius University of Science and Technology, Sochi, 354340, Russia; Universidad Nacional Autónoma de México (UNAM), Mexico City, 04510, Mexico
Task and motion planning of dynamic systems using hyperproperties for signal temporal logic
作者Jianing Zhao; Bowen Ye; Xinyi Yu; Rupak Majumdar; Xiang Yin
作者单位School 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
Enforcing opacity with publicly known edit functions under incomparable observations
作者Wei Duan; Shaopeng Hu; Zhou He; Ruotian Liu; Maria Pia Fanti
作者单位Test 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
作者Yoshinari Takayama; Adnane Saoud; Alessio Iovine; Guillaume Sandou
作者单位Laboratory 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
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。