전역 안전 사양을 위한 협조 제어 합성

초록

본 논문은 전역 안전 사양을 만족하는 이산 이벤트 시스템에 대해, 순수 로컬 감독관만으로는 달성하기 어려운 제어 문제를 해결하고자 코디네이터와 로컬 컨트롤러를 결합한 협조 제어 구조를 제안한다. 조건부 제어 가능성(conditional controllability)을 존재 조건으로 제시하고, 최소 제한적(least restrictive) 해를 구하는 절차와 그 해가 최대 제어 가능 부분언어(supremal controllable sublanguage)와 일치하는 충분조건을 제시한다.

상세 분석

이 논문은 전역 안전 사양을 갖는 이산 이벤트 시스템(DES)의 감독 제어 문제를 기존의 순수 로컬 감독관 접근법이 갖는 한계를 극복하기 위해 새로운 협조 구조를 도입한다는 점에서 학술적·실용적 의미가 크다. 전통적인 감독 제어 이론에서는 전체 시스템을 하나의 통합된 감독관이 제어하도록 가정하지만, 실제 대규모 시스템에서는 각 서브시스템이 독립적인 로컬 감독관을 가지고 동작한다. 이 경우 전역 사양을 만족하려면 로컬 감독관들 간의 정보 교환이 필수적이며, 이를 위해 코디네이터라는 중간 계층을 두어 로컬 감독관과 전역 사양 사이의 인터페이스 역할을 수행한다. 논문은 이러한 구조를 수학적으로 모델링하고, “조건부 제어 가능성(conditional controllability)”이라는 새로운 개념을 정의한다. 이는 코디네이터와 로컬 컨트롤러가 각각 자신의 관할 영역에서 제어 가능성을 만족하면서도, 전체 시스템 수준에서 전역 사양을 보장할 수 있는지를 판단하는 기준이다. 조건부 제어 가능성은 기존의 제어 가능성(controllability)과 관측 가능성(observability)의 개념을 확장한 형태로, 코디네이터가 담당하는 이벤트 집합과 로컬 컨트롤러가 담당하는 이벤트 집합 사이의 상호 작용을 정형화한다. 논문은 조건부 제어 가능성이 충족될 경우, 코디네이터와 로컬 컨트롤러를 조합한 협조 감독관이 전역 최적 해, 즉 최소 제한적 해를 구현할 수 있음을 정리와 증명을 통해 보여준다. 또한, 제안된 알고리즘은 기존의 supremal controllable sublanguage을 구하는 절차와 유사하게, 언어 연산을 통해 가장 큰 허용 가능한 행동 집합을 계산한다. 중요한 점은 이 절차가 코디네이터와 로컬 컨트롤러의 구조적 제약을 고려하면서도, 필요시 supremal controllable sublanguage과 동일한 결과를 산출한다는 충분조건을 제공한다는 것이다. 따라서 시스템 설계자는 코디네이터와 로컬 컨트롤러의 이벤트 분할을 적절히 설계함으로써, 전역 안전 사양을 만족하는 동시에 구현 복잡성을 크게 낮출 수 있다. 이와 같은 접근법은 제조 공정, 교통 시스템, 통신 네트워크 등 복잡한 분산 시스템에 적용 가능하며, 특히 실시간 제어와 안전 검증이 동시에 요구되는 분야에서 큰 파급 효과를 기대할 수 있다.