Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
Cheolhyeon Kwon(Purdue University)
United States | IEEE Transactions on Automatic Control
2017-10-10 | 바로가기
Safety, Cyber_physical_system, Monitoring
Cited by 31
■ View full text
IEEE Transactions on Automatic Control
Date of Publication: 10 October 2017
Cheolhyeon Kwon, Inseok Hwang
School of Aeronautics and Astronautics, Purdue University
This technical note proposes an algorithm to assess the safety of the cyber-physical system (CPS) in the presence of cyber attacks, which can be designed intelligently to avoid the detection. The main idea is based on the reachability analysis that computes the reachable set of CPS states possibly reached by all potential cyber attacks regardless of their detection. The reachable set computation typically demands a large computation cost and has mostly relied on the (over) approximation techniques. However, our algorithm analytically derives the exact reachable set solution and further establishes a recursive computation structure that can perform in the real-time CPS operation. This can significantly enhance the quality of the online safety assessment, enabling more reliable, less conservative, and computationally efficient process.
In this paper, we have proposed an online safety assessment algorithm for CPSs subject to stealthy cyber attacks. The main idea is to compute the reachable set of the CPS state by taking into consideration all possible stealthy cyber attacks, and compare this with the predefined safe region to determine the CPS's safety status. Our major contribution is to develop a computationally efficient algorithm for exact reachable set computation, for which we have analytically derived an exact reachable set solution and developed a corresponding recursive algorithm. For the future work, we plan to extend the safety assessment framework that fits into more practical and complicated CPS models and validate the results with the CPS hardware-in-the-loop simulation platform that we have developed for more realistic testing and better insight.
* 관련 자료