[논문 리뷰] A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems

Kaustubh Sridhar, Radoslav Ivanov외 7명|arXiv (Cornell University)|2022. 05. 17.

Fault Detection and Control Systems인용 수 4

한 줄 요약

이 논문은 비선형이며 계층적인 사이버-물리 시스템(CPS)에서 센서 이상 상황 동안 상태 추정 복구의 내성(resilience)을 보장하기 위해 체크포인팅 및 롤포워드 복구 프레임워크를 제안한다. 세 가지 일관성 패러다임과 효율적인 롤포워드 알고리즘을 도입함으로써, 자원의 트레이드오프를 관리하면서 정확하고 시간 효율적인 복구를 달성하였으며, 이상 센서 데이터 하에서 지상 로봇의 시뮬레이션에서 표준 EKF보다 뛰어난 성능을 보였다.

ABSTRACT

This paper tackles the problem of making complex resource-constrained cyber-physical systems (CPS) resilient to sensor anomalies. In particular, we present a framework for checkpointing and roll-forward recovery of state-estimates in nonlinear, hierarchical CPS with anomalous sensor data. We introduce three checkpointing paradigms for ensuring different levels of checkpointing consistency across the hierarchy. Our framework has algorithms implementing the consistent paradigm to perform accurate recovery in a time-efficient manner while managing the tradeoff with system resources and handling the interplay between diverse anomaly detection systems across the hierarchy. Further in this work, we detail bounds on the recovered state-estimate error, maximum tolerable anomaly duration and the accuracy-resource gap that results from the aforementioned tradeoff. We explore use-cases for our framework and evaluate it on a case study of a simulated ground robot to show that it scales to multiple hierarchies and performs better than an extended Kalman filter (EKF) that does not incorporate a checkpointing procedure during sensor anomalies. We conclude the work with a discussion on extending the proposed framework to distributed systems.

연구 동기 및 목표

• 자원 제약이 있는 비선형이며 계층적인 사이버-물리 시스템(CPS)에서 센서 이상에 대한 내성 확보 도전 과제 해결
• 체크포인팅 및 롤포워드 메커니즘을 통해 이상 상황 동안 정확하고 효율적인 상태 추정 복구 기능 제공
• 계층적 CPS에서 시스템 자원 사용(메모리, 계산)과 복구 정확도 간의 트레이드오프 관리
• 다양한 이상 탐지 시스템(ADS)과 동적인 센서 행동에도 불구하고 다중 시스템 계층 간 체크포인트의 일관성 확보
• 복구 오차, 최대 허용 가능한 이상 지속 시간, 정확도-자원 간 격차에 대한 이론적 경계 제공

제안 방법

• 계층적 하위시스템 간 다양한 수준의 일관성을 제공하는 일관성, 부분 일관성, 비일관성의 세 가지 체크포인팅 패러다임 도입
• 안전한 체크포인트에서 제어 입력을 재생하는 시간 효율적인 롤포워드 알고리즘 설계로 시간 흐름에 따라 시스템 상태 재구성
• 각 하위시스템 수준에 이상 탐지 시스템(ADS) 통합하여 이상이 감지될 경우에만 복구 실행
• 재귀적 오차 전파 모델을 사용해 상태 추정 오차 경계 수립; Proposition 5.1 및 Corollary 5.2를 통한 이론적 보장
• 내부 및 외부 루프를 포함한 계층적 제어 아키텍처 사용; 비선형 상태공간 방정식과 공정 및 측정 노이즈를 포함한 측정 모델로 동역학 모델링
• 체크포인팅을 매 초(1 Hz)마다 수행하고 제어 입력 및 상태 스냅샷을 안전하게 저장하여 이상 간격 동안 롤포워드 복구 가능하도록 설계

실험 결과

연구 질문

• RQ1 이질적인 이상 탐지 시스템(ADS)을 가진 다중 계층 하위시스템 간 일관성 있는 체크포인팅을 어떻게 달성할 수 있는가?
• RQ2 제안된 프레임워크 하에서 신뢰할 수 있는 상태 추정 복구를 위해 허용 가능한 센서 이상 지속 시간의 최대치는 얼마인가?
• RQ3 임베디드 CPS에서 복구 정확도와 시스템 자원 사용(메모리, 계산) 간의 균형을 어떻게 유지할 수 있는가?
• RQ4 실제 상태와의 비교에서 복구된 상태 추정치의 오차에 대해 어떤 이론적 경계를 설정할 수 있는가?
• RQ5 이 프레임워크는 유한한 통신 지연을 가진 분산 CPS로 확장 가능한가?

주요 결과

• 로봇의 위치 및 모터 각속도 시뮬레이션 플롯을 통해 이상 상황 동안 확장 칼만 필터(EKF)보다 훨씬 낮은 오차로 상태 추정치를 성공적으로 복구함
• 복구된 상태 추정 오차(RSEE)와 추정 오차(EE) 모두 Equation 15 및 Proposition 5.1/Corollary 5.2에서 유도된 이론적 경계 내에서 안정적으로 유지됨
• x-위치 및 각속도 모두에서 이상 EKF 추정 오차는 RSEE보다 뚜렷이 더 큰 것으로 나타나, 체크포인팅 및 롤포워드 접근 방식의 우수성을 입증함
• 외부 루프 및 내부 루프 제어 하위시스템을 포함한 시뮬레이션된 지상 로봇을 통해 다수의 계층적 수준으로 효과적으로 확장 가능함
• 최대 허용 가능한 이상 지속 시간은 체크포인트 간격과 롤포워드 동안 상태 일관성 유지 능력에 의해 제한됨
• 체크포인트 빈도, 복구 정확도, 시스템 자원 비용 간의 정확도-자원 격차는 이론적으로 경계되고 분석적으로 정량화됨