Schedule
Schedule
8:30-10:00
Set Based Methods
8:30 - 9:00
Direct, Data-Driven Invariant Set Synthesis Exploiting Quadtree Structures
Leila Bridgeman
9:00 - 9:30
Certified robust invariant polytope training in neural-controlled systems
Samuel Coogan
9:30 - 10:00
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models
Murat Arack
10:30 - 11:00
Barrier and Lyapunov Function Methods
10:30 - 11:00
Physics-Informed and Data-Driven Neural Lyapunov Certificates for Stability and Safe Stabilization
Jun Liu
11:00 - 11:30
Bridging Data-Driven Learning and Formal Guarantees for Autonomous Systems
Majid Zamani
11:30 -12:00
Data-driven invariance: deterministic and probabilistic approaches
Claus Danielson
2:00 - 3:30
Safety Filters
2:00 - 2:30
Data-driven constraint-admissible sets with application to constraint management of dynamical systems
Hamid Ossareh
2:30 - 3:00
Learning Reference Governors for Uncertain Systems
Ilya Kolmanovsky and Kelly Merckaert
3:00 - 3:30
Data-driven safety filters for control
Melanie Zeilinger
4:00 - 5:30
Poster Session
4:00 - 4:30
Rapid Interaction Session
Moderators: Leila Bridgeman and Claus Danielson
4:30 - 5:30
Poster Session