시간 최적 근사 제어를 위한 심볼릭 모델링

초록

본 논문은 근사(교대) 시뮬레이션 관계에 의해 연결된 시스템 간에 시간 최적성 정보를 전달하는 방법을 제시한다. 낮은 차원의 심볼릭 모델을 이용해 목표 집합에 도달하는 최단 시간을 근사적으로 계산하고, 상·하한을 제공하는 컨트롤러를 합성한다. 구현은 Matlab Toolbox Pessoa를 통해 검증하였다.

상세 분석

본 연구는 현대 임베디드 시스템에서 요구되는 복합적인 정성·정량 사양을 동시에 만족시키는 제어 설계 방법을 모색한다. 기존 심볼릭 제어는 정성적 사양—예를 들어 LTL, 자동화 언어 등—을 만족시키는 저차원 모델을 활용해 설계 복잡성을 낮추는 데 초점을 맞추었다. 그러나 실제 응용에서는 목표 도달 시간과 같은 정량적 성능 지표를 최적화해야 할 필요가 있다. 논문은 이러한 요구를 충족시키기 위해 ‘근사(교대) 시뮬레이션 관계’를 핵심 이론적 도구로 채택한다. 두 시스템 A와 B가 ε‑근사 교대 시뮬레이션 관계에 있으면, A의 상태·입력 궤적이 B의 궤적과 ε 이내로 매핑될 수 있음을 의미한다. 이 관계를 이용하면, 고차원 실제 시스템의 시간 최적 제어 문제를 저차원 심볼릭 모델에서 풀어도, 원 시스템에 대한 시간 최적성의 상·하한을 보장할 수 있다. 구체적으로, 심볼릭 모델에서 목표 집합까지의 최소 도달 시간 τ̂ 를 계산하고, 시뮬레이션 관계의 오차 ε를 고려해 실제 시스템의 도달 시간 τ는 τ̂−ε ≤ τ ≤ τ̂+ε 로 제한된다. 논문은 이러한 이론적 결과를 바탕으로 ‘근사 시간 최적 컨트롤러’를 정의하고, 알고리즘적으로는 (1) 시스템의 심볼릭 추상화, (2) 목표 집합 정의, (3) 그래프 기반 최단 경로 탐색, (4) 상·하한 보정 단계로 구성한다. 또한, 제어 입력 선택 시 교대 시뮬레이션 관계를 유지하도록 설계함으로써, 합성된 컨트롤러가 실제 시스템에 적용될 때도 정성적 사양(안전·리치어빌리티)과 정량적 사양(시간 최적성)을 동시에 만족한다는 점을 강조한다. 구현은 Matlab 기반 Pessoa 툴박스에 통합되었으며, 다중 차원 선형 시스템, 비선형 로봇 팔, 그리고 온도 제어와 같은 사례 연구를 통해 알고리즘의 실효성과 계산 효율성을 입증한다. 특히, 복잡도가 급격히 감소한 심볼릭 모델에서도 원 시스템에 대한 정확한 시간 상·하한을 제공함으로써, 설계자는 트레이드오프를 명시적으로 파악하고, 필요에 따라 모델 정밀도를 조정할 수 있다.