BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
Created by
Haebom
Category
Empty
저자
Chelsea Sidrane, Jana Tumova
개요
비선형 이산시간 신경 피드백 루프의 근사 하한 역도달 가능 집합을 계산하기 위한 알고리즘을 제시합니다. 이 알고리즘은 시스템 동역학 함수를 과대 근사하여 혼합 정수 선형 프로그램의 해를 통해 근사 하한 역도달 가능 집합을 계산합니다. 알고리즘의 타당성을 엄밀하게 분석하고 수치적 예시를 통해 입증합니다. 이 연구는 학습 기반 시스템에 대해 검증 가능한 속성의 종류를 확장합니다.
시사점, 한계점
•
시사점: 학습 기반 제어 시스템의 안전성 및 성능 보장에 대한 새로운 접근 방식을 제시합니다. 혼합 정수 선형 프로그램을 이용하여 비선형 시스템의 역도달 가능 집합을 근사적으로 계산하는 방법을 제공합니다. 목표 달성 속성 검증을 위한 새로운 도구를 제공합니다. 학습 기반 시스템에 대한 검증 가능한 속성의 범위를 확장합니다.
•
한계점: 알고리즘의 계산 복잡도가 높을 수 있습니다. 과대 근사에 의존하기 때문에, 근사 하한 역도달 가능 집합의 정확도가 제한될 수 있습니다. 현재는 수치적 예시에만 적용되었으며, 실제 시스템에 대한 적용 가능성 및 효율성에 대한 추가적인 연구가 필요합니다. 다양한 유형의 신경망이나 시스템에 대한 일반화 가능성에 대한 추가 연구가 필요합니다.
