본문 바로 가기

로고

국내 최대 기계 및 로봇 연구정보
통합검색 화살표
  • COMSOL Multiphysics
  • 우수 논문

    뷰페이지 제목 게시판 내용

    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

    https://doi.org/10.1109/TAC.2017.2761762

     

     

    ■  Researchers

    Cheolhyeon Kwon, Inseok Hwang

    School of Aeronautics and Astronautics, Purdue University

     

     

    ■  Abstract

    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.

     

     

    ■  Conclusion

    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.

     

     

     

    * 관련 자료 

    [신진연구자 인터뷰] 제어 이론 기반의 고신뢰 사이버 물리 시스템 개발과 적용

    전체댓글0

    댓글 입력란
    프로필 이미지
    0/250자

    서브 사이드

    서브 우측상단1