Secure-by-Construction Synthesis for Control Systems
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani · IEEE Transactions on Automatic Control · 2025
In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property calledopacity, which characterizes the system's ability to maintain plausible deniability of its secret behavior in the presence of an intruder. These controllers are synthesized based on a concept of so-called (augmented) control barrier functions (CBFs). We propose conditions that facilitate the construction of the desired (augmented) CBFs and their corresponding secure-by-construction controllers. To compute these functions, we propose an iterative scheme that leverages iterative sum-of-square programming techniques. This approach enables efficient computation of these functions, particularly for polynomial systems. Finally, we validate the effectiveness of our results through a case study of a vehicle.