{"id":595,"date":"2021-02-19T10:07:23","date_gmt":"2021-02-19T10:07:23","guid":{"rendered":"https:\/\/hscc.acm.org\/2021\/?page_id=595"},"modified":"2025-04-07T09:45:07","modified_gmt":"2025-04-07T09:45:07","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2025\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"\n<p>Papers that have passed the Repeatability Evaluation (RE) present the RE-passed badge <img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> next to their title. Note that submitting the RE package was mandatory only for Tool papers.<\/p>\n\n\n\n<h2>Regular papers<\/h2>\n\n\n\n<ul><li>Kurt Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu and Zhishan Guo<br><em>Soteria: A Formal Digital-Twin Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Yushen Huang, Ertai Luo, Yifan Sun and Stanley Bak<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Sparse Intersection Checking for Sparse Polynomial Zonotopes<\/em><\/li><\/ul>\n\n\n\n<ul><li>Niklas Kochdumper, Mohammed Foughali, Peter Habermehl and Eugene Asarin<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Robust Identification of Hybrid Automata from Noisy Data<\/em><\/li><\/ul>\n\n\n\n<ul><li>Frederik Baymler Mathiesen, Sofie Haesaert and Luca Laurenti<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Scalable control synthesis for stochastic systems via structural IMDP abstractions<\/em><\/li><\/ul>\n\n\n\n<ul><li>Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh<br><em>Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata<\/em><\/li><\/ul>\n\n\n\n<ul><li>Daniel Liberzon and Sayan Mitra<br><em>Indistinguishability in Localization and Control with Coarse Information<\/em><\/li><\/ul>\n\n\n\n<ul><li>Hoang-Dung Tran, Sungwoo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha and Georgios Fainekos<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Behrad Samari and Abolfazl Lavaei<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Mahdieh Zaker, Amy Nejati and Abolfazl Lavaei<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees<\/em><\/li><\/ul>\n\n\n\n<ul><li>Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr. and Rapha\u00ebl Jungers<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Memory-dependent abstractions of stochastic systems through the lens of transfer operators<\/em><\/li><\/ul>\n\n\n\n<ul><li>Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky and Insup Lee<br><em>Distributionally Robust Statistical Verification with Imprecise Neural Networks<\/em><\/li><\/ul>\n\n\n\n<ul><li>Jeel Chatrola, Abhiroop Ajith, Kevin Leahy and Constantinos Chamzas<br><em>Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints<\/em><\/li><\/ul>\n\n\n\n<ul><li>Ryan Matheu, Aniruddh G. Puranic, John S. Baras and Calin Belta<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis<\/li><\/ul>\n\n\n\n<ul><li>Rameez Wajid and Sriram Sankaranarayanan<br><em>Successive Control Barrier Functions for Nonlinear Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Carlos Montenegro, Santiago Jimenez Leudo and Ricardo Sanfelice<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Inverse-Optimal Safety Control for Hybrid Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Chiao Hsieh, Masaki Waga and Kohei Suenaga<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis<\/em><\/li><\/ul>\n\n\n\n<ul><li>Sara Kamali, Guillaume Berger and Sriram Sankaranarayanan<br><em>Polyhedral Control Lyapunov Functions for Switched Affine Systems<\/em><\/li><\/ul>\n\n\n\n<ul><li>Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretinsky and Christoph Weinhuber<br><em>Explaining Control Policies through Predicate Decision Diagrams<\/em><\/li><\/ul>\n\n\n\n<ul><li>Goli Vaisi, James Ferlez and Yasser Shoukry<br><em>Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions<\/em><\/li><\/ul>\n\n\n\n<ul><li>Ji\u0159\u00ed Fejlek and Gidon Ernst<br><em>Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals<\/em><\/li><\/ul>\n\n\n\n<ul><li>Han Su, Saumya Shankar, Partha S. Roop, Srinivas Pinisetty and Naijun Zhan<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Runtime Enforcement of CPS against Signal Temporal Logic<\/em><\/li><\/ul>\n\n\n\n<ul><li>Xavier Allamigeon, Pascal Capetillo and St\u00e9phane Gaubert<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Stationary regimes of piecewise linear dynamical systems with priorities<\/em><\/li><\/ul>\n\n\n\n<ul><li>Tingting Ni and Maryam Kamgarpour<br><em>A learning-based approach to stochastic optimal control under reach-avoid constraint<\/em><\/li><\/ul>\n\n\n\n<h2>Short paper <\/h2>\n\n\n\n<ul><li>Qais Hamarneh and Maike Schwammberger<br><em>Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems<\/em><\/li><\/ul>\n\n\n\n<h2>Tool and Case Study papers <\/h2>\n\n\n\n<ul><li>Jamie Gardner, Ben Wooding, Amy Nejati and Abolfazl Lavaei<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory<\/em><\/li><\/ul>\n\n\n\n<ul><li>Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn Devonport, Joshua Pilipovsky, Panagiotis Tsiotras and Meeko Oishi<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks<\/em><\/li><\/ul>\n\n\n\n<ul><li>Yasin Sonmez, Paul Wintz, Paul Griffioen, Mingsheng Xu, Surim Oh, Ricardo Sanfelice, Murat Arcak and Heiner Litz<br><img loading=\"lazy\" width=\"502\" height=\"502\" class=\"wp-image-601\" style=\"width: 14px;\" src=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\" alt=\"\" srcset=\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png 502w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-300x300.png 300w, https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re-150x150.png 150w\" sizes=\"(max-width: 502px) 100vw, 502px\" \/> <em>Sharc: Simulator for Hardware Architecture and Real-time Control<\/em><\/li><\/ul>\n\n\n\n<ul><li>Karan Mukhi, Chengru Qu, Pengcheng You and Alessandro Abate<br><em>Robust Aggregation of Electric Vehicle Flexiblity<\/em><\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Papers that have passed the Repeatability Evaluation (RE) present the RE-passed badge next to their title. Note that submitting the RE package was mandatory only for Tool papers. Regular papers Kurt Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu and Zhishan GuoSoteria: A Formal Digital-Twin Framework for Safety-Assurance [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/595"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/comments?post=595"}],"version-history":[{"count":38,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/595\/revisions"}],"predecessor-version":[{"id":1827,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/595\/revisions\/1827"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/media?parent=595"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}