연구논문 · 게시 2026.10.11 · 프리프린트
모델 검증과 런타임 모니터링을 결합한 Autoware 제어 노드 검증
Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
자료 개요
Autoware의 궤적 추종 제어기를 하이브리드 시스템으로 모델링하고 안전성·활성을 형식적으로 검증합니다. 시뮬레이션 중 런타임 모니터링으로 실제 구현이 검증 모델의 가정과 제약을 만족하는지 확인합니다.
출판·판본 정보
이 확장 원고는 프리프린트입니다. 저자가 기재한 채택·출판 정보는 관련된 이전 판본에 해당하며, 아래 원문 정보를 함께 표시합니다.
원문 저자 기재 정보
arXiv의 저자 기재 정보입니다.
34 pages, 9 figures, 2 tables. Extended version of a paper accepted at SEFM 2026
판본: v1