7 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…
Transfer Learning for Control Systems via Neural Simulation Relations
Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi +1
Transfer learning is an umbrella term for machine learning approaches that leverage knowledge gained from solving one problem (the source domain) to improve speed, efficiency, and…
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
Bingzhuo Zhong, Weijie Dong, Xiang Yin +1
Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the…
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…