no code implementations • 5 Jul 2023 • Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
These controllers are synthesized based on a concept of so-called (augmented) control barrier functions, which we introduce and discuss in detail.
no code implementations • 28 Mar 2022 • Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
In this paper, we propose a construction scheme for a Safe-visor architecture for sandboxing unverified controllers, e. g., artificial intelligence-based (a. k. a.
no code implementations • 16 Nov 2021 • Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Then, we compute the maximal HCI set over the state set of the product system by leveraging a set-based approach.
no code implementations • 23 Sep 2021 • Bingzhuo Zhong, Majid Zamani, Marco Caccamo
However, current available solutions for sandboxing controllers are just applicable to deterministic (a. k. a.
no code implementations • 23 Apr 2021 • Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed by deterministic finite automata (a. k. a.
no code implementations • 10 Feb 2021 • Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
To cope with this difficulty, we propose in this work a Safe-visor architecture for sandboxing unverified controllers in CPSs operating in noisy environments (a. k. a.