HSCC 2021: 24TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL

A
Abate, Alessandro	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Abate, Matthew	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
Ahmad, Hammad	A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
Ahmed, Daniele	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Althoff, Matthias	Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Aydinoglu, Alp	Stability Analysis of Complementarity Systems with Neural Network Controllers
B
Bai, Yunjun	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Belta, Calin	Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications
Bernini, Nicola	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Bessa, Mikhail	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Bu, Lei	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
C
Chen, Jingkai	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
Chen, Qiguang	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Chen, Shaoru	Learning Lyapunov Functions for Hybrid Systems
Chen, Xin	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
Chou, Glen	Compositional Safety Rules for Inter-Triggering Hybrid Automata
Cohen, Max	Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications
Coogan, Samuel	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
D
Dantam, Mohan Sai Teja	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Das, Subhro	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Delmas, Rémi	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
E
Edwards, Alec	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
F
Fan, Chuchu	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
Fazlyab, Mahyar	Stability Analysis of Complementarity Systems with Neural Network Controllers Learning Lyapunov Functions for Hybrid Systems
Feron, Eric	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
Frew, Eric	Strategy Synthesis for Partially-known Switched Stochastic Systems
Fulton, Nathan	Verifiably Safe Exploration for End-to-End Reinforcement Learning
G
Gan, Ting	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Gao, Rongxuan	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
García Soto, Miriam	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Gaßmann, Victor	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Giacobbe, Mirco	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Gleizer, Gabriel	Computing the sampling performance of event-triggered control
Gold, Arthur	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Goubault, Eric	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Gruber, Felix	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
H
Hassaan, Syed	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
Henzinger, Thomas A.	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Hespanha, Joao	Topological entropy of switched nonlinear systems
Hoang, Nghia	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Hoxha, Bardh	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
Hunt, Nathan	Verifiably Safe Exploration for End-to-End Reinforcement Learning
J
Jackson, John	Strategy Synthesis for Partially-known Switched Stochastic Systems
Jeannin, Jean-Baptiste	A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
Jiao, Li	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Johnson, Taylor T	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
K
Kamburjan, Eduard	From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects
Khaled, Mahmoud	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
Klischat, Moritz	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Kochdumper, Niklas	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Kulmburg, Adrian	Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems
L
Lahijanian, Morteza	Strategy Synthesis for Partially-known Switched Stochastic Systems
Laurenti, Luca	Strategy Synthesis for Partially-known Switched Stochastic Systems
Li, Xuandong	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
Liberzon, Daniel	Quantizer design for linear switched systems with minimal data-rate Topological entropy of switched nonlinear systems
Lin, Wang	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
M
Magliacane, Sara	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Majumdar, Rupak	The Computability of LQR and LQG Control
Mazo Jr., Manuel	Computing the sampling performance of event-triggered control
Morari, Manfred	Stability Analysis of Complementarity Systems with Neural Network Controllers Learning Lyapunov Functions for Hybrid Systems
Mote, Mark	Verification and Runtime Assurance for Dynamical Systems with Uncertainty
O
Onishi, Masaki	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
Ozay, Necmiye	Compositional Safety Rules for Inter-Triggering Hybrid Automata
P
Pappas, George J.	Learning Lyapunov Functions for Hybrid Systems
Pennec, Romain	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Peruffo, Andrea	FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Posa, Michael	Stability Analysis of Complementarity Systems with Neural Network Controllers
Pouly, Amaury	On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Preciado, Victor M.	Learning Lyapunov Functions for Hybrid Systems
Prokhorov, Danil	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
Putot, Sylvie	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
R
Rutledge, Kwesi	Compositional Safety Rules for Inter-Triggering Hybrid Automata
S
Schilling, Christian	Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Schürmann, Bastian	AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Sha, Meng	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Shen, Qiang	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
Shigenaka, Shusuke	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
Sillion, François	A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control
Solar-Lezama, Armando	Verifiably Safe Exploration for End-to-End Reinforcement Learning
Soudjani, Sadegh	The Computability of LQR and LQG Control
T
Tang, Enyi	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Tran, Hoang-Dung	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
V
Vicinansa, Guilherme	Quantizer design for linear switched systems with minimal data-rate
W
Wang, Jiawan	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
Wetzlinger, Mark	Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems
Williams, Brian	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems
X
Xia, Bican	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Xing, Shaopeng	Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization
Xue, Bai	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Y
Yamaguchi, Tomoya	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
Yang, Guosong	Topological entropy of switched nonlinear systems
Yang, Xiaodong	Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence
Yang, Zhengfeng	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Yong, Sze Zheng	Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data
Z
Zamani, Majid	OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives
Zha, Aolong	Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network
Zhan, Naijun	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Zhang, Yifan	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems
Zhao, Qingye	Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems

Disclaimer | Powered by EasyChair Smart Program