default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th HSCC 2024: Hong Kong, SAR, China
- Erika Ábrahám, Manuel Mazo Jr.:
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM 2024
Keynote
- Sayan Mitra
:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. 1:1
Research papers- Stability
- Hyungbo Shim, Daniel Liberzon:
Further results on stability of linear systems with slow and fast time variation and switching. 2:1-2:7 - Xiao Guo, Jianhua Zhao, Lei Bu:
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. 3:1-3:12 - Carlos A. Montenegro G., Santiago J. Leudo, Ricardo G. Sanfelice:
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems. 4:1-4:10
Learning
- Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best:
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. 5:1-5:11 - Yu Teng, Miaomiao Zhang, Jie An:
Learning Deterministic Multi-Clock Timed Automata. 6:1-6:11 - Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic, Görschwin Fey:
FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees. 7:1-7:10
Analysis
- Eric Goubault, Sylvie Putot:
Inner and outer approximate quantifier elimination for general reachability problems. 8:1-8:11 - Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees: Robustness and Segmentation. 9:1-9:14 - Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Closure Certificates. 10:1-10:11
Synthesis
- Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak:
Contract-Based Distributed Logical Controller Synthesis. 11:1-11:11 - Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan:
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. 12:1-12:16 - Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding:
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. 13:1-13:10 - Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers:
Memoryless concretization relation. 14:1-14:9
Modeling and Specification
- Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan:
Algorithms for Identifying Flagged and Guarded Linear Systems. 15:1-15:13 - Christian Abou-Mrad, Houssam Abbas:
Approximating the Geometry of Temporal Logic Formulas. 16:1-16:10 - Bassem Ghorbel, Vinayak S. Prabhu:
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. 17:1-17:12
Stochastic Systems I + II
- Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. 18:1-18:12 - Abolfazl Lavaei:
Abstraction-based Synthesis of Stochastic Hybrid Systems. 19:1-19:11 - Yulong Gao, Karl Henrik Johansson, Alessandro Abate:
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. 20:1-20:12 - Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. 21:1-21:12
Analysis II
- Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer:
Linear dynamical systems with continuous weight functions. 22:1-22:11 - Hussein Sibai, Enrique Mallada:
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. 23:1-23:9
Tools
- Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. 24:1-24:7 - Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. 25:1-25:8 - Alec Edwards, Andrea Peruffo, Alessandro Abate:
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. 26:1-26:10 - Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati:
Falsification using Reachability of Surrogate Koopman Models. 27:1-27:13
Posters and Demos
- Ratnangshu Das, Pushpak Jagtap:
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. 28:1-28:2 - Omid Akbarzadeh, Abolfazl Lavaei:
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. 29:1-29:2 - Ben Wooding, Abolfazl Lavaei:
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. 30:1-30:2 - Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees - Segmentation. 31:1-31:2 - Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. 32:1-32:2 - Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel:
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. 33:1-33: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 2026-03-14 22:59 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:
