Showing 2025 · eess.SYShow all
2 papers · 2 filters
eess.SY2025
Latent Representations for Control Design with Provable Stability and Safety Guarantees
Paul Lutkus, Kaiyuan Wang, Lars Lindemann +1
We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of…
eess.SY2025
Data-Driven Reachability with Scenario Optimization and the Holdout Method
Elizabeth Dietrich, Rosalyn Devonport, Stephen Tu +1
Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachab…