데이터 기반 제어 시스템 추상화

동적 시스템, 제어 이론 및 형식적 방법의 교차점에는 상징적 추상화의 생성이 있습니다: 이러한 추상화는 일반적으로 기본 구체적인 시스템의 동작을 모방하는 더 간단하고 유한 상태 모델을 나타내지만 분석하기 더 쉽습니다. 추상화를 구축하려면 일반적으로 기본 모델에 대한 정확한 지식이 필요합니다: 이 지식을 모으는 데 비용이 많이 들 수 있으며, 특히 실제 응용에서 그렇습니다. 우리는 유한 길이 경로를 샘플링하여 기반으로 하는 추상화를 구축함으로써 이 격차를 줄이는 것을 목표로 합니다. 제어기 자유도를 추가하여 확률적 교차 시뮬레이션의 개념을 새롭게 정의하고, 생성된 추상화가 구체적인 시스템의 모든 동작을 포함하고 제어 설계에 적합하다는 것을 보장하는 확률적으로 근사적으로 올바른(PAC) 보증을 제공합니다. 우리의 방법은 여러 수치 벤치마크에서 테스트됩니다.