HSCC

Keyphrases

Publications

2023

Ertai Luo, Niklas Kochdumper, Stanley Bak
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. HSCC (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC (2023)
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023 HSCC (2023)
Spandan Das, Pavithra Prabhakar
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. HSCC (2023)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC (2023)
Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. HSCC (2023)
Arvind Adimoolam, Indranil Saha, Thao Dang
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC (2023)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC (2023)
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC (2023)
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. HSCC (2023)
Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC (2023)
Andrea Peruffo, Manuel Mazo Jr.
Poster: Convex Scenario Optimisation for ReLU Networks. HSCC (2023)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC (2023)
Daphna Raz, Liren Yang, Brian Umberger, Necmiye Ozay
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. HSCC (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC (2023)
Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. HSCC (2023)
Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC (2023)
Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Characterization of the ordering of path-complete stability certificates with addition-closed templates. HSCC (2023)
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC (2023)
Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. HSCC (2023)
Mehrdad Zareian, Anne-Kathrin Schmuck
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. HSCC (2023)
Tobias Ladner, Matthias Althoff
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. HSCC (2023)
Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Poster Abstract: Permissiveness for Strategy Adaptation. HSCC (2023)
Benoît Barbot, Nicolas Basset, Alexandre Donzé
Wordgen : a Timed word Generation Tool. HSCC (2023)

2022