미리보기 자동자를 이용한 안전 제어

본 논문은 외부 환경에 의해 결정되는 스위치 모드에 대해 센서가 사전 정보를 제공할 수 있는 상황을 전제로, 안전 제어기 합성을 위한 새로운 이론적 틀과 실용적 알고리즘을 제시한다. 먼저, 스위치 시스템 Σ를 x(t+1)∈fσ(t)(x(t),u(t)) 형태로 정의하고, 모드 σ(t)∈{1,…,s}는 제어기가 직접 조절할 수 없지만, 센서가 τij 단계 앞서 전환을 감지할 수 있다고 가정한다. 여기서 τij는 전환 (i→j)마다 허용되는 미리보기 시간 구간 Tij⊆ℕ이며, 최소 체류 시간 Hi≥1을 도입해 급격한 전환을 방지한다. 이러한 물리적·시스템적 제약을 하나의 그래프 구조인 미리보기 자동자 G={Q,E,T,H}에 통합한다. Q는 모드 집합, E는 허용 전환, T은 각 전환에 대한 미리보기 시간 구간, H는 각 노드의 최소 체류 시간을 라벨링한다. 자기 자신으로의 전환은 금지하고, 종료 노드(sink)는 H=∞ 로 표시해 무한 체류를 의미한다. 미리보기 자동자는 두 가지 중요한 역할을 수행한다. 첫째, 모드 전환이 언제, 어떤 순서로 일어날 수 있는지를 명시적으로 제한함으로써 제어 설계 시 허용 가능한 전환 시나리오를 제한한다. 둘째, 센서가 제공하는 미리보기 입력 (tk,τk,dk)을 통해 현재 시점 t*에서 미래 전환이 언제 발생할지, 어느 모드로 전환될지를 미리 알 수 있게 한다. 이러한 입력은 정의에 따라 유효성 조건(시간 순서, 전환 존재, 최소 체류 시간 충족)을 만족해야 하며, 이를 만족하는 입력 시퀀스는 자동자의 실행(execution)으로 변환된다. 안전 사양은 각 모드 i마다 안전 집합 Si⊆X를 정의하고, 시스템이 모드 i에 있을 때 상태가 Si 안에 머물러야 한다고 명시한다. 기존 연구에서는 안전 제어기를 설계할 때 “제어된 불변 집합(controlled invariant set)”을 구해 Si 안에 최대한 큰 불변 집합을 찾았다. 그러나 미리보기 정보를 무시하면, 미래 전환을 고려하지 못해 불변 집합이 과도하게 보수적으로 축소될 수 있다. 논문은 이를 “승리 집합(winning set)” 개념으로 일반화한다. 승리 집합 Wi는 초기 상태가 (i, x)∈{i}×Wi인 경우, 미리보기 정보를 활용한 제어 정책 U가 존재해 모든 실행이 안전을 유지하도록 보장한다. 최대 승리 집합은 모든 가능한 제어 정책을 고려했을 때 더 이상 확장할 수 없는 가장 큰 집합이다. 핵심 알고리즘은 모드별 안전 집합 Si와 미리보기 자동자 G를 입력으로, 반복적인 전후 집합 연산(predecessor)과 교집합을 통해 Wi를 수렴시킨다. 각 단계에서 (1) 현재 모드 i에서 가능한 제어 입력을 모두 고려해 다음 상태가 다음 모드의 승리 집합에 들어갈 수 있는지를 검사하고, (2) 미리보기 시간 구간 T(i,j)와 최소 체류 시간 H(i) 조건을 만족하는 전환만을 허용한다. 이렇게 하면 미리보기 정보를 활용해 “미리 보기 없이”는 불가능했던 상태도 승리 집합에 포함될 수 있다. 논문은 간단한 전이 시스템 예시와 자율주행 차량의 크루즈 제어, 차선 유지 사례를 통해 알고리즘이 실제 시스템에 적용 가능함을 보인다. 특히, 차선 유지 예시에서는 도로 경사 변화가 사전에 감지될 때 차량이 안전하게 가속·감속을 조절할 수 있음을 시뮬레이션으로 입증한다. 연구의 주요 기여는 다음과 같다. (1) 스위치 시스템의 전환 제약과 미리보기 정보를 동시에 모델링할 수 있는 미리보기 자동자라는 새로운 형식적 도구를 제시하였다. (2) 미리보기 정보를 활용해 기존의 보수적인 안전 제어보다 넓은 승리 집합을 계산하는 알고리즘을 제공하였다. (3) 자율주행 분야의 실제 시나리오에 적용해 실용성을 검증하였다. 또한, 미리보기 자동자를 선형 시계열 논리나 일반 ω-정규식과 결합해 더 복잡한 논리 사양에도 확장 가능하다는 점을 언급하며 향후 연구 방향을 제시한다.