4 papers
Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
Yasin Sonmez, Mahmoud Khaled, Majid Zamani +1
Safety-critical control of autonomous systems requires formal safety certificates, such as controlled invariant sets, that must be computed online as conditions change. Although st…
Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
Zhiyuan Huang, Shuo Li, Murat Arcak +2
This paper introduces a general approximate alternating simulation relation (\emph{-gAAS relation}) for continuous-time systems, which relaxes existing simulation rela…
Symbolic Control for Autonomous Docking of Marine Surface Vessels
Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong +4
We develop a hierarchical control architecture for autonomous docking maneuvers of a dynamic positioning vessel and provide formal safety guarantees. At the upper-level, we treat t…
Controlled Invariant Sets for Gaussian Process State Space Models
Paul Griffioen, Bingzhuo Zhong, Murat Arcak +2
We compute probabilistic controlled invariant sets for nonlinear systems using Gaussian process state space models, which are data-driven models that account for unmodeled and unkn…