Secure-by-Construction Controller Synthesis via Control Barrier Functions
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani · IFAC-PapersOnLine · 2023
In this paper, we propose a secure-by-construction scheme for synthesizing controllers to enforce safety and security properties simultaneously over control systems. As a key insight, we establish a bridge between the desired safety and security properties by leveraging notions of (augmented) control barrier functions. Based on these functions, we show that one can synthesize secure-by-construction controllers for control systems with continuous state and input sets. Additionally, we provide sum-of-square (SOS) conditions under which the desired (augmented) control barrier functions can be constructed. Finally, we demonstrate the applicability of our results on a case study.