안전 및 도달성 제어 합성을 위한 근사 동형성 기반 방법

초록

본 논문은 근사 동형성(ab​stract bisimulation) 추상화를 활용해 안전 및 도달성 제어 문제를 해결하는 새로운 프레임워크를 제시한다. 추상 시스템에서 제어기를 설계하고, 구체화(concretization) 과정을 통해 원 시스템에 적용함으로써 설계 단계부터 올바른 동작을 보장한다. 또한, 합성된 제어기의 허용성(permissiveness)과 시간 최적성에 대한 정량적 보장을 제공한다. 최근 개발된 스위칭 시스템의 근사 동형성 모델과 결합해 스위칭 제어기 설계에도 적용 가능함을 보인다.

상세 분석

이 연구는 제어 이론에서 추상화 기법을 안전(safety)과 도달성(reachability) 두 가지 핵심 사양에 적용한 점이 가장 큰 혁신이다. 기존의 정확한 동형성(bisimulation) 기반 방법은 상태공간이 고차원일 경우 계산 복잡도가 급격히 증가해 실용성이 떨어졌다. 논문은 ‘근사 동형성(≈‑bisimulation)’이라는 개념을 도입해, 원 시스템과 추상 시스템 사이의 거리 ε를 허용함으로써 모델 크기를 크게 축소한다. 이때 ε‑근사 관계는 입력‑출력 행동을 ε‑범위 내에서 일치시키는 형태로 정의되며, 이는 시스템의 연속적·이산적 특성을 모두 포괄한다.

안전 제어 합성에서는 추상 시스템에 대해 가장 허용적인(최대) 안전 제어기 Ŝ를 구하고, 이를 구체화 함수 γ를 통해 원 시스템의 안전 제어기 S로 변환한다. 저자들은 S가 원 시스템의 안전 사양을 만족함을 정리 1‑정리로 증명하고, Ŝ와 S* 사이의 허용성 차이가 ε에 비례한다는 정량적 경계도 제시한다. 이는 설계자가 허용 오차 ε를 조절해 안전성 보장을 조정할 수 있음을 의미한다.

도달성(리치어빌리티) 문제에서는 목표 집합 T에 도달하는 최소 시간 제어기를 합성한다. 추상 시스템에서 시간 최적 제어기 τ̂를 구한 뒤, 구체화 과정을 통해 원 시스템에 적용 가능한 τ를 얻는다. 정리 2‑정리는 τ가 τ̂보다 최대 ε/δ(δ는 시스템의 최소 전이 시간)만큼 느릴 수 있음을 보이며, 이는 시간 최적성에 대한 명시적 보증이다.

또한 논문은 최근 제안된 스위칭 시스템의 근사 동형성 추상화 기법과 본 프레임워크를 결합한다. 스위칭 시스템은 다중 모드와 비선형 동역학을 갖는 복합 시스템으로, 전통적인 제어 합성에 큰 어려움을 준다. 저자들은 각 모드별로 근사 추상화를 수행하고, 모드 전이와 스위칭 로직을 포함한 전체 시스템에 대한 근사 동형성을 구성한다. 이를 통해 스위칭 안전 제어와 도달성 제어를 동일한 절차로 합성할 수 있음을 실험적으로 입증한다.

핵심 기여는 다음과 같다. 첫째, ε‑근사 동형성을 이용해 고차원 연속·이산 혼합 시스템을 효율적으로 추상화한다. 둘째, 추상 제어기의 구체화 과정을 통해 ‘설계 단계부터 올바른’ 제어기를 얻으며, 허용성 및 시간 최적성에 대한 정량적 보장을 제공한다. 셋째, 스위칭 시스템에 대한 적용 사례를 통해 프레임워크의 범용성을 확인한다. 이러한 접근은 모델 기반 설계(MBD)와 자동 합성 도구의 실용성을 크게 향상시킬 것으로 기대된다.