Wednesday - April 18
08:15 - 08:30 Opening Remarks (Lecture Hall, Meeting Hall)
08:30 - 09:30 CPSWeek Plenary & Keynote (Lecture Hall, Meeting Hall)
Julian Goldman. Medical Device Interoperability Ecosystem: Medical Device Clock Time and the Regulatory Pathway (Tentative)
09:30 - 10:00 Coffee break - Meeting Hall
Controller Synthesis and Scheduling - Chair: Domitilla Del Vecchio (Meeting Hall Room 101-102)
10:00 - 10:30 Rajeev Alur, Ashutosh Trivedi
and Dominik Wojtczak. Optimal Scheduling for Constant-Rate
Multi-Mode System
10:30 - 11:00 Ufuk Topcu, Necmiye Ozay, Jun Liu
and Richard Murray. On Synthesizing Robust Discrete Controllers
under Modeling Uncertainty
11:00 - 11:30 Ebru Aydin Gol, Mircea Lazar and
Calin Belta. Language-Guided Controller Synthesis for Discrete-Time
Linear Systems
11:30 - 13:00 Lunch - Juhe Restaurant, Friendship Palace (1st floor)
Verification 3 – Abstraction and
Randomized Search - Chair: Alessandro Abate (Meeting Hall Room 101-102)
13:00 - 13:30 Pierre Roux,
Romain Jobredeaux, Pierre-Loic Garoche and Éric Féron. A
Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems
13:30 - 14:00 Parasara Sridhar Duggirala and
Sayan Mitra. Lyapunov Abstractions for Inevitability of Hybrid
Systems
14:00 - 14:30 Sriram Sankaranarayanan and
Georgios Fainekos. Falsification of Temporal Properties of Hybrid
Systems Using the Cross-Entropy Method
14:30 - 15:00 Coffee break - Meeting Hall
Modelling and Applications - Chair: Werner Damm (Meeting Hall Room 101-102)
15:00 - 15:30 Aaron Ames, Eric Cousineau and
Matthew Powell. Dynamically Stable Bipedal Robotic Walking with NAO
via Human-Inspired Hybrid Zero Dynamics
15:30 - 16:00 Alessandro Colombo and Domitilla
Del Vecchio. Efficient algorithms for collision avoidance at
intersections
16:00 - 16:30 Linar Mikeev and Verena Wolf.
Parameter Estimation for Stochastic Hybrid Models of Biochemical
Reaction Networks
16:30 - 17:00 Peter Schrammel and Bertrand
Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A
Complete Translation
18:30 - 22:00 Dinner, Juhe restaurant, Friendship Palace (1st floor)
Thursday - April 19
08:15 - 08:30 Opening Remarks (Lecture Hall, Meeting Hall)
08:30 - 09:30 CPSWeek Plenary & Keynote (Lecture Hall, Meeting Hall)
Hideyuki Tokuda. Challenges in Cyber-Physical Coupling for Creating Ubiquitous Services
09:30 - 10:00 Coffee break - Meeting Hall
Stability and Switched Systems - Chair: Aaron Ames (Meeting Hall Room 101-102)
10:00 - 10:30 Vamsi Putta, Guangwei Zhu,
Jianghai Hu and Jinglai Shen. Efficient Computation of Generalized
Input-to-State L2-Gains of Discrete-Time Switched Linear Systems
10:30 - 11:00 Zhikun She and Bai Xue. Algebraic
Analysis on Asymptotic Stability of Switched Hybrid Systems
11:00 - 11:30 Pavithra Prabhakar, Geir E.
Dullerud and Mahesh Viswanathan. Pre-orders for reasoning about
Stability
11:30 - 13:00 Lunch - Juhe Restaurant, Friendship Palace (1st floor)
Stochastic Systems 1 - Chair: Jianghai Hu (Meeting Hall Room 101-102)
13:00 - 13:30 Sadegh Esmaeil Zadeh Soudjani and
Alessandro Abate. Probabilistic Invariance of Mixed
Deterministic-Stochastic Dynamical Systems
13:30 - 14:00 Paolo Zuliani, Christel Baier and
Edmund Clarke. Rare-Event Verification for Stochastic Hybrid Systems
14:00 - 14:30 Ilya Tkachev and Alessandro Abate.
Regularization of Bellman equations for infinite-horizon
probabilistic properties
14:30 - 15:00 Coffee break - Meeting Hall
Quantized and Symbolic Control
Systems - Chair: Sayan Mitra (Meeting Hall Room 101-102)
15:00 - 15:30 Feng Zhu, Han Yu, Michael
Mccourt and Panos Antsaklis. Passivity and Stability of Switched
Systems Under Quantization
15:30 - 16:00 Lichun Li, Michael Lemmon and
Xiaofeng Wang. Stabilizing Bit-Rates in Quantized Event Triggered
Control Systems
16:00 - 16:30 Alessandro Borri, Giordano Pola
and Maria Domenica Di Benedetto. A symbolic approach to the design
of nonlinear networked control systems
Stochastic Systems 2 - Chair: Songhwai Oh (Meeting Hall Room 101-102)
16:30 - 17:00 Taolue Chen, Marco Diciolla, Marta
Kwiatkowska and Alexandru Mereacre. Verification of Linear Duration
Properties over Continuous Time Markov Chains
17:00 - 17:30 Alessandro D'Innocenzo, Alessandro
Abate and Joost-Pieter Katoen. Robust PCTL Model Checking
18:30 - 22:00 Dinner, Juhe restaurant, Friendship Palace (1st floor)
