default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th HSCC 2021: Nashville, TN, USA
- Sergiy Bogomolov, Raphaël M. Jungers:
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM 2021, ISBN 978-1-4503-8339-4
Hybrid systems theory
- Guosong Yang
, Daniel Liberzon, João P. Hespanha:
Topological entropy of switched nonlinear systems. 1:1-1:11 - Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of hybrid automata with affine dynamics from time-series data. 2:1-2:11 - Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching controller synthesis for delay hybrid systems under perturbations. 3:1-3:11 - Kwesi J. Rutledge, Glen Chou, Necmiye Ozay:
Compositional safety rules for inter-triggering hybrid automata. 4:1-4:11
Synthesis
- Rupak Majumdar, Sadegh Soudjani:
The computability of LQR and LQG control. 5:1-5:7 - John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Strategy synthesis for partially-known switched stochastic systems. 6:1-6:11 - Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li:
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. 7:1-7:11 - Jingkai Chen, Brian C. Williams, Chuchu Fan:
Optimal mixed discrete-continuous planning for linear hybrid systems. 8:1-8:12
Verification
- Eduard Kamburjan:
From post-conditions to post-region invariants: deductive verification of hybrid objects. 9:1-9:11 - Hammad Ahmad, Jean-Baptiste Jeannin:
A program logic to verify signal temporal logic specifications of hybrid systems. 10:1-10:11 - Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan:
Verification and runtime assurance for dynamical systems with uncertainty. 11:1-11:10
Learning
- Max H. Cohen, Calin Belta:
Model-based reinforcement learning for approximate optimal control with temporal logic specifications. 12:1-12:11 - Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning lyapunov functions for hybrid systems. 13:1-13:11 - Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama:
Verifiably safe exploration for end-to-end reinforcement learning. 14:1-14:11
Reachability
- Mohan Dantam, Amaury Pouly:
On the decidability of reachability in continuous time linear time-invariant systems. 15:1-15:12 - Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff:
Adaptive parameter tuning for reachability analysis of nonlinear systems. 16:1-16:11
Neural network based approaches
- Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li:
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. 17:1-17:11 - Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov:
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. 18:1-18:7 - Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa:
Stability analysis of complementarity systems with neural network controllers. 19:1-19:10
Networked systems
- Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.:
Computing the sampling performance of event-triggered control. 20:1-20:7 - Guilherme Scabin Vicinansa, Daniel Liberzon:
Quantizer design for switched linear systems with minimal data-rate. 21:1-21:11 - Syed M. Hassaan, Qiang Shen, Sze Zheng Yong:
Path-dependent controller and estimator synthesis with robustness to delayed and missing data. 22:1-22:11
Case studies and tool papers
- Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff:
AROC: a toolbox for automated reachset optimal controller synthesis. 23:1-23:6 - Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo:
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. 24:1-24:11 - Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. 25:1-25:7 - Rongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi:
Hybrid modeling and predictive control of large-scale crowd movement in road network. 26:1-26:7 - Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
A few lessons learned in reinforcement learning for quadcopter attitude control. 27:1-27:11
Posters and demos
- Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. 28:1-28:2 - Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani:
Formal safety verification of unknown continuous-time systems: a data-driven approach. 29:1-29:2 - Weiming Xiang:
Interval observer design of dynamical systems with neural networks. 30:1-30:2 - Gerrit Großmann, Michael Backenköhler, Verena Wolf:
Epidemic overdispersion strengthens the effectiveness of mobility restrictions. 31:1-31:2 - Satya Prakash Nayak, Daniel Neider, Martin Zimmermann:
Adaptive strategies for rLTL games. 32:1-32:2 - Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. 33:1-33:2 - Aneel Tanwani:
Filtering over networks with random communication. 34:1-34:2 - Franck Djeumou, Aditya Zutshi, Ufuk Topcu:
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. 35:1-35:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
