Table of Contents

• Synthesis of hybrid automata with affine dynamics from time-series dataMiriam García Soto, Thomas A. Henzinger, Christian Schilling 0001. [doi]
• Adaptive strategies for rLTL gamesSatya Prakash Nayak, Daniel Neider, Martin Zimmermann 0002. [doi]
• Compositional safety rules for inter-triggering hybrid automataKwesi J. Rutledge, Glen Chou, Necmiye Ozay. [doi]
• Switching controller synthesis for delay hybrid systems under perturbationsYunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue 0001, Naijun Zhan. [doi]
• Filtering over networks with random communicationAneel Tanwani. [doi]
• Optimal mixed discrete-continuous planning for linear hybrid systemsJingkai Chen, Brian C. Williams, Chuchu Fan. [doi]
• Verifiably safe exploration for end-to-end reinforcement learningNathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama. [doi]
• Topological entropy of switched nonlinear systemsGuosong Yang, Daniel Liberzon, João P. Hespanha. [doi]
• On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case studyFranck Djeumou, Aditya Zutshi 0001, Ufuk Topcu. [doi]
• The computability of LQR and LQG controlRupak Majumdar, Sadegh Soudjani. [doi]
• Epidemic overdispersion strengthens the effectiveness of mobility restrictionsGerrit Großmann, Michael Backenköhler, Verena Wolf. [doi]
• AROC: a toolbox for automated reachset optimal controller synthesisNiklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff. [doi]
• Adaptive parameter tuning for reachability analysis of nonlinear systemsMark Wetzlinger, Adrian Kulmburg, Matthias Althoff. [doi]
• Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approachAbolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani. [doi]
• Formal safety verification of unknown continuous-time systems: a data-driven approachAbolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani. [doi]
• Computing the sampling performance of event-triggered controlGabriel de Albuquerque Gleizer, Manuel Mazo Jr.. [doi]
• On the decidability of reachability in continuous time linear time-invariant systemsMohan Dantam, Amaury Pouly. [doi]
• A program logic to verify signal temporal logic specifications of hybrid systemsHammad Ahmad, Jean-Baptiste Jeannin. [doi]
• Reachability analysis of deep ReLU neural networks using facet-vertex incidenceXiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov. [doi]
• Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systemsQingye Zhao, Xin Chen, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. [doi]
• From post-conditions to post-region invariants: deductive verification of hybrid objectsEduard Kamburjan. [doi]
• Approximate optimal hybrid control synthesis by classification-based derivative-free optimizationShaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li. [doi]
• Quantizer design for switched linear systems with minimal data-rateGuilherme Scabin Vicinansa, Daniel Liberzon. [doi]
• Path-dependent controller and estimator synthesis with robustness to delayed and missing dataSyed M. Hassaan, Qiang Shen, Sze Zheng Yong. [doi]
• Verification and runtime assurance for dynamical systems with uncertaintyMatthew Abate, Mark Mote, Eric Feron, Samuel Coogan 0001. [doi]
• Learning lyapunov functions for hybrid systemsShaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado. [doi]
• ω-regular objectivesMahmoud Khaled, Majid Zamani. [doi]
• FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networksAlessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo. [doi]
• Strategy synthesis for partially-known switched stochastic systemsJohn Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian. [doi]
• ω-regular objectivesMahmoud Khaled, Majid Zamani. [doi]
• A few lessons learned in reinforcement learning for quadcopter attitude controlNicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion. [doi]
• Stability analysis of complementarity systems with neural network controllersAlp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa. [doi]
• Interval observer design of dynamical systems with neural networksWeiming Xiang. [doi]
• Model-based reinforcement learning for approximate optimal control with temporal logic specificationsMax H. Cohen, Calin Belta. [doi]
• Hybrid modeling and predictive control of large-scale crowd movement in road networkRongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi. [doi]