3 papers
eess.SY2026
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…
eess.SY2026
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…
eess.SY2025
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…