Program

PROGRAM

Days: Tuesday, April 18th Wednesday, April 19th Thursday, April 20th

Tuesday, April 18th

View this program: with abstracts session overview talk overview

10:00-10:30Coffee Break

Chair:

10:30	Eric Goubault and Sylvie Putot Forward inner-approximated reachability of non-linear continuous systems ( abstract )
10:55	Joel Ouaknine, Joao Sousa Pinto and James Worrell On the Polytope Escape Problem for Linear Dynamical Systems ( abstract )
11:20	Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas and Paulo Tabuada SMC: Satisfiability modulo Convex Optimization ( abstract )
11:45	Tommaso Dreossi Sapo: A Tool for the Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems ( abstract )

12:10-13:30Lunch Break

13:30-15:20 Session 2: Probabilities

Chair:

Pavithra Prabhakar

13:30	Abraham Vinod, Baisravan Homchaudhuri and Meeko Oishi Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms ( abstract )
13:55	Sadegh Soudjani and Rupak Majumdar Controller Synthesis for Reward Collecting Markov Processes in Continuous Space ( abstract )
14:20	Luca Laurenti, Alessandro Abate, Luca Bortolussi, Marta Kwiatkowska, Luca Cardelli and Milan Ceska Reachability Computation for Switching Diffusions: Finite Abstractions of Continuous Models ( abstract )
14:45	Nima Roohi, Yu Wang, Matthew West, Geir Dullerud and Mahesh Viswanathan Statistical Verification of the Toyota Powertrain Control Verification Benchmark ( abstract )

15:20-15:50Coffee Break

15:50-17:30 Session 3: Invariance and Enthropy

Chair:

Indranil Saha

15:50	Hussein Sibai and Sayan Mitra Towards Optimal State Estimation of Switched Nonlinear Systems with finite-data-rate measurements ( abstract )
16:15	David Angeli, Matthew Philippe, Nikolaos Athanasopoulos and Raphaël Jungers Path-Complete Graphs and Common Lyapunov Functions. ( abstract )
16:40	Matthias Rungger and Majid Zamani Invariance Feedback Entropy of Non-deterministic Control Systems ( abstract )

17:30-20:00 Session 4: Demos + Posters Cocktail (shared CPSWeek event)

Chair:

Akshay Rajhans

Wednesday, April 19th

View this program: with abstracts session overview talk overview

10:00-10:30Coffee Break

10:30-12:10 Session 5: Control I

synthesis

Chair:

Necmiye Ozay

10:30	Jun Liu Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties ( abstract )
10:55	Pavithra Prabhakar and Miriam García Soto Formal Synthesis of Stabilizing Controllers for Switched Systems ( abstract )
11:20	Bastian Schürmann and Matthias Althoff Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems ( abstract )
11:45	Mohammad Al Khatib, Antoine Girard and Thao Dang Scheduling of embedded controllers under timing contracts ( abstract )

12:10-13:30Lunch Break

13:30-15:20 Session 6: 20th Anniversary Talk

Chairs:

Goran Frehse and Sayan Mitra

13:30

Russ Tedrake

Convex and Combinatorial Optimization for Dynamic Robots in the Real World ( abstract )

15:20-15:50Coffee Break

15:50-17:30 Session 7: Verification II

Chair:

André Platzer

15:50	Assale Adje Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions ( abstract )
16:15	Nima Roohi, Pavithra Prabhakar and Mahesh Viswanathan Robust Model Checking of Timed Automata under Clock Drifts ( abstract )
16:40	Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang and Thomas Henzinger Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters ( abstract )
17:05	Stanley Bak and Parasara Sridhar Duggirala HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems ( abstract )

18:30-22:30 Session : CPSWeek Banquet (History Center)

Thursday, April 20th

View this program: with abstracts session overview talk overview

10:00-10:30Coffee Break

10:30-12:10 Session 8: Control II

Chair:

Jyotirmoy Deshmukh

10:30	D.P. Borgers, V.S. Dolk and W.P.M.H. Heemels Dynamic Periodic Event-Triggered Control for Linear Systems ( abstract )
10:55	Petter Nilsson and Necmiye Ozay On a class of maximal invariance inducing control strategies for large collections of switched systems ( abstract )
11:20	Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli and Daniel Kroening Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants ( abstract )

12:10-13:30Lunch Break

13:30-15:20 Session 9: Temporal Logics

Chair:

Sicun Gao

13:30	Eric Kim, Murat Arcak and Sanjit A. Seshia A Small Gain Theorem for Parametric Assume-Guarantee Contracts ( abstract )
13:55	Houssam Abbas, Matthew O'Kelly and Rahul Mangharam Relaxed decidability and the robust semantics of Metric Temporal Logic ( abstract )
14:20	Jie Fu, Ivan Papusha and Ufuk Topcu Sampling-based approximate optimal control under temporal logic constraints ( abstract )
14:45	Luan Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Ken Butts and Taylor Johnson Abnormal Data Classification Using Time-Frequency Temporal Logic ( abstract )

15:20-15:50Coffee Break

15:50-17:30 Session 10: Constrained Systems

Chair:

Jun Liu

15:50	Andrew M. Pace and Samuel A. Burden Piecewise–differentiable trajectory outcomes in mechanical systems subject to unilateral constraints ( abstract )
16:15	Albert Benveniste, Benoit Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter and Marc Pouzet Structural Analysis of Multi-Mode DAE Systems ( abstract )
16:40	Wenlong Ma, Shishir Kolathaya, Eric Ambrose, Christian Hubicki and Aaron Ames Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment ( abstract )