HSCC'23: ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

A
Acosta, Tomas	Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks
Adimoolam, Arvind	Safe Self Triggered Control Based on Precomputed Reachability Sequences
Althoff, Matthias	Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Anand, Ashwani	Poster Abstract: Permissiveness for Strategy Adaptation
Arechiga, Nikos	Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Asarin, Eugene	Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
B
Bak, Stanley	Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Baptista, Walstan	Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Barbot, Benoit	Wordgen : a Time Word Generation Tool
Basset, Nicolas	Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Best, Andrew	Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Bortolussi, Luca	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Boskos, Dimitris	Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
C
Cairoli, Francesca	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Cardona, Gustavo A.	Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Chandratre, Aniruddh	Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks
Chandratre, Aniruddh Vinay	Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Chen, Hongkai	An STL-based Approach to Resilient Control for Cyber-Physical Systems
Choi, Sungwoo	Quantitative Verification for Neural Networks using ProbStars Verification of Recurrent Neural Networks with Star Reachability
Chong, Stephen	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
D
Dang, Thao	Safe Self Triggered Control Based on Precomputed Reachability Sequences Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Das, Spandan	Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Debauche, Virginie	Characterization of the ordering of path-complete stability certificates with addition-closed templates
DeCastro, Jonathan	Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Delimpaltadakis, Giannis	Interval Markov Decision Processes with Continuous Action-Spaces
Della Rossa, Matteo	Characterization of the ordering of path-complete stability certificates with addition-closed templates
Della Rossa, Matteo	Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Donze, Alexandre	Wordgen : a Time Word Generation Tool
E
Egidio, Lucas Neves	Poster Abstract: Towards Seamless Reactivity of Hybrid Control
F
Fainekos, Georgios	Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks Quantitative Verification for Neural Networks using ProbStars
Fainekos, Georgios	Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Fatnassi, Wael	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Ferdowsi, Arman	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Függer, Matthias	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
G
Gracia Merino, Ibón	Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
H
Haesaert, Sofie	SySCoRe: Synthesis via Stochastic Coupling Relations
Haesaert, Sofie	Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
Ho, Qi Heng	Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
Hoxha, Bardh	Quantitative Verification for Neural Networks using ProbStars Verification of Recurrent Neural Networks with Star Reachability
I
Ilyes, Roland	Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
J
Jungers, Raphaël	Characterization of the ordering of path-complete stability certificates with addition-closed templates
Jungers, Raphaël	Poster Abstract: Towards Seamless Reactivity of Hybrid Control
K
Kamale, Disha	Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Karagulle, Ruya	Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Khandait, Tanmay	Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Khedr, Haitham	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Kochdumper, Niklas	Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
L
Ladner, Tobias	Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
Lahijanian, Morteza	Interval Markov Decision Processes with Continuous Action-Spaces
Lahijanian, Morteza	Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
Lanotte, Ruggero	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Laurenti, Luca	Distributionally Robust Strategy Synthesis for Switched Stochastic Systems Interval Markov Decision Processes with Continuous Action-Spaces
Lin, Shan	An STL-based Approach to Resilient Control for Cyber-Physical Systems
Luo, Ertai	Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
M
Majumdar, Rupak	Poster Abstract: A Toolchain for Accelerated Symbolic Control
Mallik, Kaushik	Poster Abstract: A Toolchain for Accelerated Symbolic Control
Mambakam, Akshay	Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Mazo Jr., Manuel	Poster Abstract: Convex Scenario Optimisation for ReLU Networks Distributionally Robust Strategy Synthesis for Switched Stochastic Systems Interval Markov Decision Processes with Continuous Action-Spaces
Merro, Massimo	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
N
Nayak, Satya Prakash	Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Nayak, Satya Prakash	Poster Abstract: Permissiveness for Strategy Adaptation
Nowak, Thomas	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
O
Okamoto, Hideki	Quantitative Verification for Neural Networks using ProbStars
Ozay, Necmiye	Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
Ozay, Necmiye	Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
P
Paoletti, Nicola	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes An STL-based Approach to Resilient Control for Cyber-Physical Systems
Pedrielli, Giulia	Exploring Signal Temporal Logic and specification robustness for the analysis of CPS security against stealthy attacks
Pedrielli, Giulia	Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Peruffo, Andrea	Poster Abstract: Convex Scenario Optimisation for ReLU Networks
Prabhakar, Pavithra	Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Prokhorov, Danil	Quantitative Verification for Neural Networks using ProbStars Verification of Recurrent Neural Networks with Star Reachability
R
Raz, Daphna	Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
Rychlicki, Mateusz	Poster Abstract: A Toolchain for Accelerated Symbolic Control
S
Saha, Indranil	Safe Self Triggered Control Based on Precomputed Reachability Sequences
Sankaranarayanan, Sriram	Learning Hybrid Systems for Fun and Profit
Schmid, Ulrich	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Schmuck, Anne-Kathrin	Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
Schmuck, Anne-Kathrin	Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Schmuck, Anne-Kathrin	Poster Abstract: A Toolchain for Accelerated Symbolic Control
Schmuck, Anne-Kathrin	Poster Abstract: Permissiveness for Strategy Adaptation
Schön, Oliver	SySCoRe: Synthesis via Stochastic Coupling Relations
Schön, Oliver	Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
Shoukry, Yasser	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Smolka, Scott A.	An STL-based Approach to Resilient Control for Cyber-Physical Systems
Soudjani, Sadegh	SySCoRe: Synthesis via Stochastic Coupling Relations
Soudjani, Sadegh	Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems
Soudjani, Sadegh	Poster Abstract: A Toolchain for Accelerated Symbolic Control
Srivastava, Mani	Efficiently Enabling Rich and Trustworthy Inferences at the Extreme Edge
Stankovic, John	Towards Ambient Intelligence for Healthcare: A CPS Perspective
Sunberg, Zachary	Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
Sztipanovits, Janos	Convergence Between Model - and Data – driven Design for Cyber-Physical Systems
T
Tini, Simone	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Tran, Hoang-Dung	Quantitative Verification for Neural Networks using ProbStars Verification of Recurrent Neural Networks with Star Reachability
U
Umberger, Brian	Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
V
van Huijgevoort, Birgit	Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems SySCoRe: Synthesis via Stochastic Coupling Relations
Vasile, Cristian-Ioan	Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
W
Wetzlinger, Mark	Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
X
Xiang, Jian	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Y
Yamaguchi, Tomoya	Verification of Recurrent Neural Networks with Star Reachability
Yamamoto, Valen	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Yang, Liren	Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
Yang, Xiaodong	Verification of Recurrent Neural Networks with Star Reachability
Z
Zareian, Mehrdad	Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications

Disclaimer | Powered by EasyChair Smart Program