@inproceedings{f3bc27de8d2e434c84155dd108906267,
title = "Secure-by-Construction Controller Synthesis via Control Barrier Functions",
abstract = "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.",
keywords = "Control Barrier Function, Opacity, Safety, Secure-by-Construction Controller Synthesis, Security",
author = "Bingzhuo Zhong and Siyuan Liu and Marco Caccamo and Majid Zamani",
note = "Publisher Copyright: Copyright {\textcopyright} 2023 The Authors. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/); 22nd IFAC World Congress ; Conference date: 09-07-2023 Through 14-07-2023",
year = "2023",
month = jul,
day = "1",
doi = "10.1016/j.ifacol.2023.10.1575",
language = "English",
series = "IFAC-PapersOnLine",
publisher = "Elsevier B.V.",
number = "2",
pages = "239--245",
editor = "Hideaki Ishii and Yoshio Ebihara and Jun-ichi Imura and Masaki Yamakita",
booktitle = "IFAC-PapersOnLine",
edition = "2",
}