2022/04/01 by Luyao Niu, Niu, Luyao, Abdullah Al Maruf +7 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Radiation Effects in Electronics #Real-Time Systems Scheduling #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2204.00514
openalex publication_date 2022/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Cyber-physical systems (CPS) are required to operate safely under fault and malicious attacks. The simplex architecture and the recently proposed cyber resilient architectures, e.g., Byzantine fault tolerant++ (BFT++), provide safety for CPS under faults and malicious cyber attacks, respectively. However, these existing architectures make use of different timing parameters and implementations to provide safety, and are seemingly unrelated. In this paper, we propose an analytical framework to represent the simplex, BFT++ and other practical cyber resilient architectures (CRAs). We construct a hybrid system that models CPS adopting any of these architectures. We derive sufficient conditions via our proposed framework under which a control policy is guaranteed to be safe. We present an algorithm to synthesize the control policy. We validate the proposed framework using a case study on lateral control of a Boeing 747, and demonstrate that our proposed approach ensures safety of the system.