HSCC

Publications

2024

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

2023