6 papers
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…
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…
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…
On Approximate Opacity of Stochastic Control Systems
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas +1
This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior…
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…