저복잡도 양자화 스위칭 제어기 설계

초록

본 논문은 증분 안정성을 갖는 스위칭 시스템에 대해 근사 비시뮬레이션을 이용한 저복잡도 양자화 스위칭 제어기를 합성하는 방법을 제시한다. 새로운 근사 기법을 통해 안전·도달성 규격을 만족하는 제어법을 오프라인으로 미리 계산하고, 알제브라적 결정 다이어그램(ADD) 기반의 압축 저장 방식을 적용해 메모리 사용량을 크게 줄인다. 건물 온도 제어 예제로 실효성을 검증하였다.

상세 분석

이 연구는 증분 안정(incremental stability)이라는 강력한 시스템 특성을 전제로 한다. 증분 안정은 두 초기 상태가 서로 다른 궤적을 따라가더라도 시간이 지남에 따라 그 거리(또는 비용)가 지수적으로 감소함을 의미한다. 이러한 특성은 근사 비시뮬레이션(approximate bisimulation) 구축에 필수적이며, 기존 문헌에서는 주로 연속-이산 변환을 위한 격자화(grid)와 오버-근사(over‑approximation) 기법에 의존했다. 저자들은 이와 달리, 스위칭 시스템의 각 모드에 대해 동일한 상태 격자를 사용하면서도 모드 전환에 따른 비선형 효과를 정량화하는 새로운 오차 바운드 함수를 도입하였다. 이 함수는 시스템의 리가시(리셋) 매핑과 리프레시 주기(샘플링 시간)를 명시적으로 포함해, 상태 격자와 입력 양자화 수준 사이의 관계를 명확히 규정한다.

핵심적인 수학적 결과는 “주어진 ε>0에 대해, 충분히 작은 격자 간격 η와 입력 양자화 δ를 선택하면 원 시스템과 그 심볼릭 모델 사이에 (ε,ε)‑근사 비시뮬레이션 관계가 성립한다”는 정리이다. 여기서 (ε,ε)‑근사는 상태와 출력 모두에 대해 ε 이내의 차이를 허용한다는 의미이며, 이는 안전(safety) 및 도달성(reachability) 검증에 직접 활용될 수 있다. 특히, 안전 규격은 “모든 실행이 위험 집합을 피한다”는 형태로, 도달성 규격은 “특정 목표 집합에 도달할 수 있는 실행이 존재한다”는 형태로 모델링된다.

제어기 합성 단계에서는 심볼릭 모델의 비결정론적 전이 관계를 이용해, 각 격자 상태에 대해 허용 가능한 스위치 명령들의 집합을 도출한다. 이때, 양자화된 스위치 입력은 미리 정해진 유한 집합으로 제한되므로, 실행 시점에 복잡한 연산이 필요 없으며 단순히 lookup table 형태로 제어 명령을 선택하면 된다.

메모리 효율성을 높이기 위한 기법으로 저자들은 알제브라적 결정 다이어그램(ADD)을 차용하였다. ADD는 이진 결정 트리와 유사하지만, 동일한 서브함수를 공유함으로써 중복을 제거한다. 비결정론적 제어법에서는 하나의 상태에 여러 가능한 스위치 명령이 존재할 수 있는데, 이를 “선택 집합” 형태로 저장하면 동일한 서브트리를 재사용할 수 있어 메모리 사용량이 급격히 감소한다. 또한, 비결정론을 활용해 불필요한 제어 선택을 제거하고, 최적(예: 최소 스위치 횟수) 정책을 추출하는 추가적인 후처리 단계도 제안한다.

실험에서는 건물 온도 조절 모델을 사용하였다. 이 모델은 2개의 히터 모드와 외부 온도 교란을 포함한 1차 열역학 방정식으로 기술된다. 증분 안정성을 보장하기 위해 적절한 Lyapunov 함수가 구성되었으며, 격자 간격 η=0.5°C, 입력 양자화 δ=1단계(히터 ON/OFF)로 설정하였다. 결과적으로, 안전 규격(온도 범위 20~24°C 유지)과 도달성 규격(목표 온도 22°C 도달) 모두를 만족하는 양자화 스위칭 제어기가 오프라인에 0.03초 내에 합성되었고, 실행 시에는 단순 lookup만으로 0.5 ms 이하의 응답 시간을 보였다. 메모리 측면에서는 ADD 기반 압축 저장이 기존 테이블 대비 약 85%의 메모리 절감을 달성하였다.

이 논문의 주요 기여는 (1) 증분 안정성을 활용한 새로운 근사 비시뮬레이션 프레임워크, (2) 양자화된 스위치 입력을 통한 저복잡도 제어기 설계, (3) ADD 기반 압축 저장을 통한 메모리 효율성 향상, (4) 실제 시스템에 적용 가능한 실험적 검증이다. 특히, 비결정론적 제어를 허용함으로써 설계 자유도를 높이고, 메모리 절감과 실행 시간 단축이라는 실용적 요구를 동시에 만족시킨 점이 주목할 만하다. 향후 연구에서는 다중 입력·다중 출력(MIMO) 스위칭 시스템, 확률적 교란 모델, 그리고 실시간 적응형 양자화 전략을 포함한 확장 가능성을 탐색할 여지가 있다.