Tue 16 May 2023 11:20 - 11:45 - Control and Hybrid Systems Chair(s): Julia Badger

Tue 16 May

Displayed time zone: Central Time (US & Canada) change

10:30 - 12:10
Control and Hybrid SystemsNFM 2023
Chair(s): Julia Badger NASA
10:30
25m
Talk
Conservative Safety Monitors of Stochastic Dynamical Systems
NFM 2023
Matthew Cleaveland University of Pennsylvania, Ivan Ruchkin University of Florida, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania
10:55
25m
Talk
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
NFM 2023
Alberto Bombardelli FBK, Stefano Tonetta Fondazione Bruno Kessler, Italy
11:20
25m
Talk
Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
NFM 2023
Elias Khalife Virginia Tech, Pierre-Loic Garoche Ecole Nationale de l'Aviation Civile, Mazen Farhood Virginia Tech
11:45
25m
Talk
Reward Shaping from Hybrid Systems Models in Reinforcement Learning
NFM 2023
Marian Qian Carnegie Mellon University, Stefan Mitsch Carnegie Mellon University, USA