이 논문은 이산 시간 확률 동적 시스템의 데이터 기반 추상화 기법을 제안한다. 기존의 마르코프 결정 과정(MDP) 기반 추상화 기법은 전이 확률을 정확히 알아야 한다는 한계가 있었다. 이 연구에서는 불확실 MDP(iMDP) 및 강건 MDP(RMDP) 개념을 도입하여, 전이 확률에 대한 불확실성을 모델링할 수 있다.
구체적으로, 연구진은 다음과 같은 절차를 통해 추상화 기법을 제안한다:
이를 통해 기존 기법 대비 더 넓은 제어 공간을 탐색할 수 있으며, 안전 및 도달-회피 등의 복잡한 명세를 만족하는 제어기를 합성할 수 있다. 실험 결과를 통해 제안 기법의 장단점을 확인하였다.
To Another Language
from source content
arxiv.org
Principais Insights Extraídos De
by Rudi Coppola... às arxiv.org 04-15-2024
https://arxiv.org/pdf/2404.08344.pdfPerguntas Mais Profundas