Note that all the times are in Nashville, TN local time (UTC/GMT -6 hours (Central Standard Time))
Wednesday, May 19th

View this program: with abstractssession overviewtalk overview

08:45-09:00 Session 1: CPS-IoT Week Welcome and Opening Remarks
09:00-10:00 Session 2: CPS-IoT Week Keynote 1
10:00-10:15Break & Social
10:15-10:30 Session 3: HSCC’21 Opening Remarks
10:30-11:30 Session 4: Synthesis I
10:30
Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems (abstract)
10:50
Strategy Synthesis for Partially-known Switched Stochastic Systems (abstract)
11:10
OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives (abstract)
11:30-11:45Break & Social
11:45-12:45 Session 5: Reachability
11:45
Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems (abstract)
12:05
On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems (abstract)
12:25
AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis (abstract)
12:45-13:00Break & Social
13:00-14:00 Session 6: Verification
13:00
Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence (abstract)
13:20
Verification and Runtime Assurance for Dynamical Systems with Uncertainty (abstract)
13:40
Compositional Safety Rules for Inter-Triggering Hybrid Automata (abstract)
14:00-14:15Break & Social
14:15-16:00 Session 7: Poster/Demo Session
Thursday, May 20th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 8: CPS-IoT Week Keynote 2
10:00-10:15Break & Social
10:15-11:15 Session 9: Synthesis II
10:15
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations (abstract)
10:35
Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization (abstract)
10:55
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data (abstract)
11:15-11:45Break & Social
11:45-12:45 Session 10: Networked Systems
11:45
Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data (abstract)
12:05
Quantizer design for linear switched systems with minimal data-rate (abstract)
12:25
Computing the sampling performance of event-triggered control (abstract)
12:45-13:00Break & Social
13:00-14:00 Session 11: HSCC Invited Talk
14:00-14:15Break & Social
14:15-16:00 Virtual Reception
Friday, May 21st

View this program: with abstractssession overviewtalk overview

08:30-09:00 Session 12: Awards and Closing Remarks
09:00-10:00 Session 13: CPS-IoT Week Keynote 3
10:00-10:15Break & Social
10:15-10:30 Session 14: Conference Awards and Closing Remarks
10:30-11:30 Session 15: Planning and Control
10:30
The Computability of LQR and LQG Control (abstract)
10:50
Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network (abstract)
11:10
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems (abstract)
11:30-11:45Break & Social
11:45-12:45 Session 16: Stability
11:45
Stability Analysis of Complementarity Systems with Neural Network Controllers (abstract)
12:05
FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks (abstract)
12:25
Learning Lyapunov Functions for Hybrid Systems (abstract)
12:45-13:00Break & Social
13:00-14:00 Session 17: Hybrid Systems Theory
13:00
Topological entropy of switched nonlinear systems (abstract)
13:20
From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects (abstract)
13:40
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems (abstract)
14:00-14:15Break & Social
14:15-15:15 Session 18: Reinforcement Learning
14:15
A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control (abstract)
14:35
Verifiably Safe Exploration for End-to-End Reinforcement Learning (abstract)
14:55
Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications (abstract)