PROGRAM

Tuesday, April 16th

View this program: with abstracts session overview talk overview

10:00-10:30 Coffee Break

Chair:

10:30	Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius and Rajarshi Ray Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
11:00	Eric Goubault and Sylvie Putot Inner and Outer Reachability for the Verification of Control Systems
11:30	Stanley Bak, Hoang Dung Tran and Taylor T Johnson Numerical Verification of Affine Systems with up to a Billion Dimensions
12:00	Abraham P. Vinod, Joseph D. Gleason and Meeko M. K. Oishi SReachTools: A MATLAB Stochastic Reachability Toolbox
12:15	Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin and Christian Schilling JuliaReach: a Toolbox for Set-Based Reachability

12:30-14:00 Lunch Break

14:00-15:30 Session 2: Temporal logics

Chair:

Lu Feng

14:00	Hsi-Ming Ho Revisiting Timed Logics with Automata Modalities
14:30	Thomas Ferrere, Dejan Nickovic, Alexandre Donze, Hisahiro Ito and James Kapinski Interface-Aware Signal Temporal Logic
15:00	Houssam Abbas, Yash Vardhan Pant and Rahul Mangharam Temporal Logic Robustness for General Signal Classes

15:30-16:00 Coffee Break

16:00-17:30 Session 3: Decidability and complexity

Chair:

Jana Tumova

16:00	Nathanaël Fijalkow, Joel Ouaknine, Amaury Pouly, Joao Sousa Pinto and James Worre On the Decidability of Reachability in Linear Time-Invariant Systems
16:30	Ruggero Lanotte, Massimo Merro and Fabio Mogavero On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
17:00	Nikola Benes, Lubos Brim, Jana Dražanová, Samuel Pastva and David Šafránek Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT

17:30-20:00 Cocktail with CPS-IoT Week Joint Poster Demo Session

Wednesday, April 17th

View this program: with abstracts session overview talk overview

10:00-10:30 Coffee Break

10:30-12:30 Session 4: Stability and invariance

Chair:

Majid Zamani

10:30	Mohamed Maghenem and Ricardo Sanfelice Characterizations of Safety in Hybrid Inclusions via Barrier Functions
11:00	Guosong Yang, Joao Hespanha and Daniel Liberzon On topological entropy and stability of switched linear systems
11:30	Bai Xue, Qiuye Wang, Naijun Zhan and Martin Fraenzle Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
12:00	Matthew Philippe and Raphaël Jungers A complete characterization of the ordering of path-complete methods

12:30-14:00 Lunch Break

14:00-15:30 Session 5: Special session on Safe autonomy, AI and ML for CPS I

Chair:

Georgios Fainekos

14:00	Guy Katz Neural Network Verification via SMT Solving
15:00	Xiaowu Sun, Haitham Khedr and Yasser Shoukry Formal Verification of Neural Network Controlled Autonomous Systems

15:30-16:00 Coffee Break

16:00-17:30 Session 6: Special session on Safe autonomy, AI and ML for CPS II

Chair:

Jyotirmoy Deshmukh

16:00	Souradeep Dutta, Xin Chen and Sriram Sankaranarayanan Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
16:30	Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee Verisig: verifying safety properties of hybrid systems with neural network controllers
17:00	Shakiba Yaghoubi and Georgios Fainekos Gray-box Adversarial Testing for Control Systems with Machine Learning Components
17:15	All Attendees Discussion

19:30-22:30 CPS-IoT Week Banquet

Thursday, April 18th

View this program: with abstracts session overview talk overview

10:00-10:30 Coffee Break

10:30-12:30 Session 7: Verification

Chair:

Taylor T Johnson

10:30	Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia and Claire Tomlin A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
11:00	Chao Huang, Wenchao Li and Qi Zhu Formal Verification of Weakly-Hard Systems
11:30	Mohammad Al Khatib and Majid Zamani Verification and synthesis of interconnected embedded control systems under timing contracts
12:00	Tzanis Anevlavis, Daniel Neider, Matthew Phillipe>and Paulo Tabuada Evrostos: The rLTL Verifier
12:15	Pierre-Jean Meyer, Alex Devonport and Murat Arcak TIRA: Toolbox for Interval Reachability Analysis

12:30-14:00 Lunch Break

14:00-15:30 Session 8: Control synthesis

Chair:

Raphaël Jungers

14:00	Tobia Marcucci and Russ Tedrake Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
14:30	Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska and Luca Cardelli Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
15:00	Mahmoud Khaled and Majid Zamani pFaces: An Acceleration Ecosystem for Symbolic Control
15:15	Hscc Business Meeting

15:30-16:00 Coffee Break

16:00-19:00 Session 9: Oded Maler - Barbaric Science from a Captive Poet

Chair:

Dejan Nickovic

16:00	Manfred Morari Our Work with Oded Maler and his Impact
16:30	Rajeev Alur Formal models of hybrid systems: the early years
17:00	Eugène Asarin Reachability in hybrid systems: 25 years of optimism
17:30	Albert Benveniste Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics?
18:00	Jyotirmoy Deshmukh Simulation-based and Data-driven Reasoning for Cyber-Physical Systems
18:30	Bruce Krogh Building trusted systems from untrusted components