Program

Note that all the times in the schedule are in Nashville, TN (CDT) time zone.
Wednesday, May 19th

View this program: with abstractssession overviewtalk overview

08:45-09:00 CPS-IoT Week Welcome and Opening Remarks
09:00-10:00 CPS-IoT Week Keynote 
Matt Welsh, OctoML
Optimizing Machine Learning on Any Device, Automatically!
10:00-10:15Break & Social
10:15-10:30 HSCC’21 Opening Remarks
10:30-11:30 Session 1: Synthesis I
Chair: Andrew Sogokon
10:30
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen and Xuandong Li
Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems (abstract)

10:50
John Jackson, Luca Laurenti, Eric Frew and Morteza Lahijanian
Strategy Synthesis for Partially-known Switched Stochastic Systems (abstract)

11:10
Mahmoud Khaled and Majid Zamani
OmegaThreads: Symbolic Controller Design for $\omega$-regular Objectives (abstract)

11:30-11:45Break & Social
11:45-12:45 Session 2: Reachability
Chair: Sylvie Putot
11:45
Mark Wetzlinger, Adrian Kulmburg and Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems (abstract)
12:05
Amaury Pouly and Mohan Sai Teja Dantam
On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems (abstract)

12:25
Niklas Kochdumper, Felix Gruber, Victor Gaßmann, Moritz Klischat, Bastian Schürmann and Matthias Althoff
AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis (abstract)

12:45-13:00Break & Social
13:00-14:00 Session 3: Verification
Chair: Chih-Hong Cheng
13:00
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson and Danil Prokhorov
Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence (abstract)

13:20
Matthew Abate, Mark Mote, Eric Feron and Samuel Coogan
Verification and Runtime Assurance for Dynamical Systems with Uncertainty (abstract)

13:40
Glen Chou, Kwesi Rutledge and Necmiye Ozay
Compositional Safety Rules for Inter-Triggering Hybrid Automata (abstract)

14:00-14:15Break & Social
14:15-16:00 Poster/Demo Session
Thursday, May 20th

View this program: with abstractssession overviewtalk overview

09:00-10:00 CPS-IoT Week Keynote 
Bruno Sinopoli, Washington University in St. Louis
Toward AI-enhanced Design of Resilient Cyber-Physical Systems: a Journey from Inception to Present Times
10:00-10:15Break & Social
10:15-11:15 Session 4: Synthesis II
Chair: Majid Zamani
10:15
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue and Naijun Zhan
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations (abstract)

10:35
Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen and Xuandong Li
Approximate Optimal Hybrid Control Synthesis By Classification-based Derivative-free Optimization (abstract)
10:55
Miriam García Soto, Thomas A. Henzinger and Christian Schilling
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data (abstract)

11:15-11:45Break & Social
11:45-12:45 Session 5: Networked Systems
Chair: Rafael Wisniewski
11:45
Syed Hassaan, Qiang Shen and Sze Zheng Yong
Path-Dependent Controller and Estimator Synthesis with Robustness to Delayed and Missing Data (abstract)

12:05
Guilherme Vicinansa and Daniel Liberzon
Quantizer design for linear switched systems with minimal data-rate (abstract)

12:25
Gabriel Gleizer and Manuel Mazo Jr.
Computing the sampling performance of event-triggered control (abstract)

12:45-13:00Break & Social
13:00-14:00 Session 6: HSCC Invited Talk
Chair: Sergiy Bogomolov
Jun Liu
Formal Methods for Nonlinear Control: A Robustness Perspective
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 Awards and Closing Remarks
09:00-10:00 CPS-IoT Week Keynote 
Rupak Majumdar, Max Planck Institute for Software Systems
Foundations of Programming Cyber-Physical Systems
10:00-10:15Break & Social
10:15-10:30 Conference Awards and Closing Remarks
10:30-11:30 Session 7: Planning and Control
Chair: Maryam Kamgarpour
10:30
Rupak Majumdar and Sadegh Soudjani
The Computability of LQR and LQG Control (abstract)

10:50
Rongxuan Gao, Aolong Zha, Shusuke Shigenaka and Masaki Onishi
Hybrid Modeling and Predictive Control of Large-Scale Crowd Movement in Road Network (abstract)

11:10
Jingkai Chen, Brian Williams and Chuchu Fan
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems (abstract)
11:30-11:45Break & Social
11:45-12:45 Session 8: Stability
Chair: Daniel Liberzon
11:45
Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari and Michael Posa
Stability Analysis of Complementarity Systems with Neural Network Controllers (abstract)

12:05
Andrea Peruffo, Alec Edwards, Daniele Ahmed, Mirco Giacobbe and Alessandro Abate
FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks (abstract)

12:25
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas and Victor M. Preciado
Learning Lyapunov Functions for Hybrid Systems (abstract)

12:45-13:00Break & Social
13:00-14:00 Session 9: Hybrid Systems Theory
Chair: Samuel Coogan
13:00
Guosong Yang, Daniel Liberzon and Joao Hespanha
Topological entropy of switched nonlinear systems (abstract)

13:20
Eduard Kamburjan
From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects (abstract)

13:40
Hammad Ahmad and Jean-Baptiste Jeannin
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems (abstract)

14:00-14:15Break & Social
14:15-15:15 Session 10: Reinforcement Learning
Chair: Stefano Minopoli
14:15
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot and François Sillion
A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control (abstract)

14:35
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das and Armando Solar-Lezama
Verifiably Safe Exploration for End-to-End Reinforcement Learning (abstract)

14:55
Max Cohen and Calin Belta
Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications (abstract)