Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
Robust Conformal CBF and CLF Controllers via Iterative Policy Updates
Omid Mirzaeedodangeh, Eliot Shekhtman, Nikolai Matni +1
Conformal prediction (CP) has been used to obtain probabilistic bounds on the error between a learned dynamics model and the true but unknown system. Such CP bounds can then be emb…
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.SY2024
Incremental Composition of Learned Control Barrier Functions in Unknown Environments
Paul Lutkus, Deepika Anantharaman, Stephen Tu +1
We consider the problem of safely exploring a static and unknown environment while learning valid control barrier functions (CBFs) from sensor data. Existing works either assume kn…