Program

  • Note that all the times in the schedule are in Milano, IT (CET/UTC+2) time zone.
  • You can register for CPS-IoT Week 2022 here.
  • Nicola Paoletti and Stefan Schupp are the respective zoom masters, the zoom chairs are indicated for each session. If you have questions, please contact us via Slack.

Days: Tuesday, May 3rd Wednesday, May 4th Thursday, May 5th Friday, May 6th

Tuesday, May 3rd

View this program: with abstractssession overviewtalk overview

10:15-10:30 Session 1A: Workshop Openings A

10:15-10:30 Session 1B: Tutorial Openings A

10:30-11:30 Session 2A: Workshop Session A1

10:30-11:30 Session 2B: Tutorial Session A1

11:30-11:45Break & Social
11:45-12:45 Session 3A: Workshop Session A2

11:45-12:45 Session 3B: Tutorial Session A2

12:45-13:00Break & Social
13:00-14:00 Session 4A: Workshop Session A3

13:00-14:00 Session 4B: Tutorial Session A3

14:00-14:15 Session 5A: Workshop Openings B

14:00-14:15 Session 5B: Tutorial Openings B

14:15-15:15 Session 6A: Workshop Session B1

14:15-15:15 Session 6B: Tutorial Session B1

15:15-15:30Break & Social
15:30-16:30 Session 7A: Workshop Session B2

15:30-16:30 Session 7B: Tutorial Session B2

16:30-16:45Break & Social
16:45-17:45 Session 8A: Workshop Session B3

16:45-17:45 Session 8B: Tutorial Session B3

Wednesday, May 4th

View this program: with abstractssession overviewtalk overview

12:30-12:45 Session 9: CPS-IoT Week Opening

12:45-13:45 Session 10: CPS-IoT Keynote 1

13:45-14:00Break & Social
14:00-14:15 Session 11: Conference Opening

14:15-15:15 Session 12: Temporal Logics & Monitoring

Chair:
Laura Nenzi

Zoom-Chair:
Eleonora Nesterini, Luisa Collodi
14:15

Johan Lidén Eddeland, Alexandre Donzé and Knut Åkesson

Multi-Requirement Testing Using Focused Falsification (abstract) (paper) https://youtu.be/OQ4E4enpKSk
14:35

Bassem Ghorbel and Vinayak Prabhu

Linear Time Monitoring for One Variable TPTL (abstract) (paper)
14:55

Houssam Abbas and Richard Pelphrey

A Multiresolution Analysis of Temporal Logic (abstract) (paper) (video)
15:15-15:30Break & Social
15:30-16:30 Session 13: Synthesis

Chair:
Necmiye Ozay

Zoom-Chair:
Ennio Visconti, Drishti Yadav
15:30

Monal Narasimhamurthy and Sriram Sankaranarayanan

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. (abstract) (paper) (video)
15:50

Gabriel de A. Gleizer, Khushraj Madnani and Manuel Mazo Jr.

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. (abstract) (paper) (video)
16:10

Kwesi Rutledge and Necmiye Ozay

Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization (abstract) (paper) (video)
16:30-16:45Break & Social
16:45-17:45 Session 14: Probabilistic and Stochastic Hybrid Systems

Chair:
Ebru Aydin Gol

Zoom-Chair:
Lilly Treml, Oihana Garcia Anacabe
16:45

Lars Lindemann, Alena Rodionova and George J. Pappas

Temporal Robustness of Stochastic Signals (abstract) (paper) (video)
17:05

Guy Scher, Sadra Sadraddini, Russ Tedrake and Hadas Kress-Gazit

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications (abstract) (paper) (video)
17:25

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi and Majid Zamani

k-Inductive Barrier Certificates for Stochastic Systems (abstract) (paper) (video)
17:45-18:00Break & Social
18:00-19:00 Session 15: HSCC Keynote

Chair:
Ezio Bartocci

Zoom-Chair:
Lilly Treml, Oihana Garcia Anacabe
18:00

Ufuk Topcu

Autonomous systems in the intersection of formal methods, learning, and controls (abstract)
Thursday, May 5th

View this program: with abstractssession overviewtalk overview

09:15-10:15 Session 16: CPS-IoT Keynote 2

10:15-10:30Break & Social
10:30-11:30 Session 17: Verification

Chair:
Stefan Schupp

Zoom-Chair:
Eleonora Nesterini, Luisa Collodi
10:30

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang and Xuandong Li

Verifying Neural Network Controlled Systems Using Neural Networks (abstract) (paper) (video)
10:50

Arvind Adimoolam and Indranil Saha

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (abstract) (paper) (video)
11:10

Yuanqi Mao, Behcet Acikmese, Pierre-Loic Garoche and Alexandre Chapoutot

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications (abstract) (paper) (video)
11:30-11:45Break & Social
11:45-12:45 Session 18: Tool Papers & Case Studies

Chair:
Nacim Ramdani

Zoom-Chair:
Lilly Treml, Oihana Garcia Anacabe
11:45

Alexander Weber, Elisei Macoveiciuc and Gunther Reissig

ABS: A formally correct software tool for space-efficient symbolic synthesis (abstract) (paper) (video)
12:05

Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen and Manuel Mazo Jr.

ETCetera: beyond Event-Triggered Control (abstract) (paper) (video)
12:25

Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski and Anne-Kathrin Schmuck

Small but Powerful Symbolic Output-Feedback Control (abstract) (paper) (video)
12:45-13:00Break & Social
13:00-14:00 Session 19: Hybrid Systems Stability

Chair:
Thao Dang

Zoom-Chair:
Francesco Pontiggia, Matteo Zambon
13:00

Georges Aazan, Antoine Girard, Paolo Mason and Luca Greco

Stability of discrete-time switched linear systems with omega-regular switching sequence (abstract) (paper) (video)
13:20

Virginie Debauche, Matteo Della Rossa and Raphaël M. Jungers

Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods (abstract) (paper) (video)
13:40

Yong Kiam Tan, Stefan Mitsch and André Platzer

Verifying Switched System Stability With Logic (abstract) (paper) (video)
14:00-14:15Break & Social
14:15-15:15 Session 20: Poster & Demo Session

Chair:
Chuchu Fan

Zoom-Chair:
Francesco Pontiggia, Matteo Zambon
15:15-15:30 Session 21: HSCC Awards

Chair:
Alessandro Abate

Zoom-Chair:
Francesco Pontiggia, Matteo Zambon
Friday, May 6th

View this program: with abstractssession overviewtalk overview

14:15-15:15 Session 22: Hybrid Systems Theory

Chair:
Raphaël Jungers

Zoom-Chair:
Francesco Pontiggia, Matteo Zambon
14:15

Mohamed Maghenem, Adnane Saoud and Antonio Loria

Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation (abstract) (paper) (video)
14:35

Mateus de Oliveira Oliveira and Olga Tveretina

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces (abstract) (paper)
14:55

Santiago Jimenez Leudo and Ricardo G Sanfelice

Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games (abstract) (paper) (video)
15:15-15:30Break & Social
15:30-16:30 Session 23: Tool Papers & Case Studies

Chair:
Stanley Bak

Zoom-Chair:
Eleonora Nesterini, Luisa Collodi
15:30

Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion and Claire Pagetti

Verification of machine learning based cyber-physical systems: a comparative study (abstract) (paper) (video)
15:50

Adam Thorpe and Meeko Oishi

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods (abstract) (paper) (video)
16:10

James Ferlez, Haitham Khedr and Yasser Shoukry

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (abstract) (paper) (video)
16:30-16:45Break & Social
16:45-17:45 Session 24: CPS-IoT Keynote 3

17:45-18:00 Session 25: CPS-IoT Week Closing