이 논문은 하이브리드 시스템의 안전한 제어를 위한 접근법인 CESAR을 제안한다. 제어 포락선은 안전한 제어기 군을 특성화하며, 런타임에 신뢰할 수 없는 제어기를 모니터링하는 데 사용된다. CESAR 알고리즘은 하이브리드 시스템의 스케치에서 제어 포락선의 원하는 형태, 가능한 제어 동작, 그리고 미분 방정식을 자동으로 채운다. 제어 포락선의 유연성을 최대화하기 위해, 안전 조건을 만족하면서도 가능한 한 허용적인 조건을 합성한다. 이를 위해 하이브리드 시스템 게임 이론을 활용하여 암시적이고 최적인 솔루션을 특성화하고, 기호 실행과 체계적인 게임 개선을 통해 명시적 솔루션을 도출한다. 근사화에 따른 최적성 손실은 이중 게임 특성화를 통해 극복한다. CESAR은 다양한 안전 제어 포락선 합성 사례에서 효과적으로 작동한다.
To Another Language
from source content
arxiv.org
Djupare frågor