HSCC 2022: 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

A
Aazan, Georges	Stability of discrete-time switched linear systems with omega-regular switching sequence
Abbas, Houssam	A Multiresolution Analysis of Temporal Logic
Acikmese, Behcet	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Adimoolam, Arvind	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Altieri Sambartolomé, Laura	Verification of machine learning based cyber-physical systems: a comparative study
Anand, Mahathi	k-Inductive Barrier Certificates for Stochastic Systems
Asselin, Eric	Verification of machine learning based cyber-physical systems: a comparative study
C
Chapoutot, Alexandre	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Chen, Xin	Verifying Neural Network Controlled Systems Using Neural Networks
Clavière, Arthur	Verification of machine learning based cyber-physical systems: a comparative study
D
de Albuquerque Gleizer, Gabriel	ETCetera: beyond Event-Triggered Control A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
de Oliveira Oliveira, Mateus	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Debauche, Virginie	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Delimpaltadakis, Giannis	ETCetera: beyond Event-Triggered Control
Della Rossa, Matteo	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Donzé, Alexandre	Multi-Requirement Testing Using Focused Falsification
F
Ferlez, James	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
Finkbeiner, Bernd	Small but Powerful Symbolic Output-Feedback Control
G
Garion, Christophe	Verification of machine learning based cyber-physical systems: a comparative study
Garoche, Pierre-Loic	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Ghorbel, Bassem	Linear Time Monitoring for One Variable TPTL
Girard, Antoine	Stability of discrete-time switched linear systems with omega-regular switching sequence
Greco, Luca	Stability of discrete-time switched linear systems with omega-regular switching sequence
J
Jimenez Leudo, Santiago	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Jungers, Raphaël M.	Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
K
Khedr, Haitham	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
Kress-Gazit, Hadas	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
L
Li, Xuandong	Verifying Neural Network Controlled Systems Using Neural Networks
Lidén Eddeland, Johan	Multi-Requirement Testing Using Focused Falsification
Lindemann, Lars	Temporal Robustness of Stochastic Signals
Loria, Antonio	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
M
Macoveiciuc, Elisei	ABS: A formally correct software tool for space-efficient symbolic synthesis
Madnani, Khushraj	A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Maghenem, Mohamed	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
Mallik, Kaushik	Small but Powerful Symbolic Output-Feedback Control
Mao, Yuanqi	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Mason, Paolo	Stability of discrete-time switched linear systems with omega-regular switching sequence
Mazo Jr., Manuel	ETCetera: beyond Event-Triggered Control A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Mitsch, Stefan	Verifying Switched System Stability With Logic
Murali, Vishnu	k-Inductive Barrier Certificates for Stochastic Systems
N
Narasimhamurthy, Monal	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
O
Oishi, Meeko	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Ozay, Necmiye	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
P
Pagetti, Claire	Verification of machine learning based cyber-physical systems: a comparative study
Pappas, George J.	Temporal Robustness of Stochastic Signals
Passing, Noemi	Small but Powerful Symbolic Output-Feedback Control
Pelphrey, Richard	A Multiresolution Analysis of Temporal Logic
Platzer, André	Verifying Switched System Stability With Logic
Prabhu, Vinayak	Linear Time Monitoring for One Variable TPTL
R
Reissig, Gunther	ABS: A formally correct software tool for space-efficient symbolic synthesis
Rodionova, Alena	Temporal Robustness of Stochastic Signals
Rutledge, Kwesi	Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
S
Sadraddini, Sadra	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Saha, Indranil	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Sanfelice, Ricardo G	Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Sankaranarayanan, Sriram	Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Saoud, Adnane	Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
Scher, Guy	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Schledjewski, Malte	Small but Powerful Symbolic Output-Feedback Control
Schmuck, Anne-Kathrin	Small but Powerful Symbolic Output-Feedback Control
Shoukry, Yasser	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
T
Tan, Yong Kiam	Verifying Switched System Stability With Logic
Tang, Enyi	Verifying Neural Network Controlled Systems Using Neural Networks
Tedrake, Russ	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Thorpe, Adam	SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Topcu, Ufuk	Autonomous systems in the intersection of formal methods, learning, and controls
Trivedi, Ashutosh	k-Inductive Barrier Certificates for Stochastic Systems
Tveretina, Olga	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
V
van Straalen, Ivo	ETCetera: beyond Event-Triggered Control
W
Weber, Alexander	ABS: A formally correct software tool for space-efficient symbolic synthesis
Z
Zamani, Majid	k-Inductive Barrier Certificates for Stochastic Systems
Zhang, Yifan	Verifying Neural Network Controlled Systems Using Neural Networks
Zhao, Qingye	Verifying Neural Network Controlled Systems Using Neural Networks
Zhao, Zhuoyu	Verifying Neural Network Controlled Systems Using Neural Networks
Å
Åkesson, Knut	Multi-Requirement Testing Using Focused Falsification

Disclaimer | Powered by EasyChair Smart Program