Основні поняття
이 논문은 시간 논리 사양을 사용하여 사이버-물리 시스템의 복원력을 정량화하는 새로운 접근 방식을 제안합니다. 저자들은 시스템 동역학과 시간 요구 사항을 고려하여 복원력 지표를 정의하고, 이를 선형 및 비선형 시스템에 대해 계산하는 방법을 제시합니다.
Анотація
이 논문은 사이버-물리 시스템의 복원력에 대한 새로운 접근 방식을 제안합니다. 주요 내용은 다음과 같습니다:
시간 논리 사양을 사용하여 시스템의 허용 가능한 기능에 대한 요구 사항을 정의하고, 복원력 지표를 최대 교란으로 정의합니다.
선형 시스템의 경우 정확한 시간 도달성, 유한 시간 안전성 및 유한 시간 도달성에 대한 복원력 지표를 계산하는 방법을 제시합니다.
비선형 시스템의 경우 선형 근사화와 SMT 기반 접근 방식을 사용하여 복원력 지표의 하한을 계산하는 방법을 제안합니다.
건물 온도 조절, 적응형 순항 제어 및 DC 모터와 같은 사례 연구를 통해 제안된 방법의 유용성을 입증합니다.
Статистика
건물 온도 조절 시스템의 경우 최대 교란 크기는 0.1166입니다.
적응형 순항 제어 시스템의 경우 최대 교란 크기는 0.417입니다.
DC 모터 시스템의 경우 최대 교란 크기는 0.138입니다.
Цитати
"이 논문은 시간 논리 사양을 사용하여 사이버-물리 시스템의 복원력을 정량화하는 새로운 접근 방식을 제안합니다."
"저자들은 시스템 동역학과 시간 요구 사항을 고려하여 복원력 지표를 정의하고, 이를 선형 및 비선형 시스템에 대해 계산하는 방법을 제시합니다."