본 논문에서는 관리제어시스템의 대상인 이산사건시스템을 하나의 전역 관리제어기 (global supervisor)가 아닌 여러 개의 국소 관리제어기(local supervisor)들의 동시수행 (concurrent action)을 통한 분산관리제어에 대해 알아본다. 반적으로 관리제어 대상시스 템 G 의 사양에 대해 관리제어가 설계가능하면 하나의 전역 관리제어기(S)를 설계하여 관리제어시스템의 언어 L(S/G)를 생성할 수 있다. 이에 반하여, 분산 관리제어이론은 주 어진 사양(specification)에 대해 여러 개의 국소 관리제어기(Si) 들의 동시수행(∧Si/G)를 생성함으로써 전역 관리제어기와 동등한 역할 즉 L(S/G)=L(∧Si/G)을 이루고자 하는 데 그 목적이 있다. 리제어 대상시스템 G의 발생가능한 사건들에 관해 제어가능성과 관측가 능성을 고려하여 모든 사건들이 관측가능할 경우와 관측불가능한 사건들이 존재하는 경 우로 구분하여 분산 관리제어시스템의 설계에 대해 알아본다. 또한 관측 불가능한 경우 와 관측불가능한 사건들이 존재하는 경우로 구분하여 분산 관리제어시스템의 설계에 대 해 알아본다. 또한 관측불가능한 사건들이 존재할 때 사양언어(specification language) K 가 여러 개의 국소사양 (local specification)들의 교집합으로 주어진 경우의 국소 분산 관 리제어와 하나의 전역사양(global specification)으로 주어진 경우의 전역 분산 관리제어 로 세분하여 각각의 분산 관리제어결과가 전역 관리제어결과와 서로 같아질 수 있는 조 건에 대해 알아본다

Abstract :본 논문에서는 관리제어시스템의 동적특성을 허용언어(admissible language) 범위 이내에서 최적화시키는 최적 관리제어기법들을 소개한다. 본 논문에서 주로 다루고자 하는 최적 관리제어기법은 Kumar와 Garg에 의해 제안된 기법과 Cho와 Lim에 의해 제안된 계층적 최적 관리제어기법, 그리고, Sengupta와 Lafortune이 제안한 최적 관리제어기법 등이다. 첫 번째 기법에서는 우선 시스템의 최적화를 위해 고려되고 있는 비용함수(cost function)를 소개한 후, 최대흐름 최소분할생성 정리(max-flow min-cut theorem)를 이용한 최적 관리제어기 설계기법을 제시하고, 이를 부분관측 하에서도 최적 관리제어기를 설계할 수 있도록 확장한다. 그런 후 제시된 설계기법에 의해 설계된 관리제어시스템에서 발생 할 수 있는 문제점들을 지적하고, Cho와 Lim에 의해 제안된 완전 최소분할생성(complete min-cut)이라는 개념을 도입하여 지적된 문제점들을 해결할 수 있는 방법을 제시한다. 또한 시스템의 고장을 고려한 계층적 최적 관리 제어(layered optimal supervisory control)기 법을 소개한다 그리 고 마지막으로 Sengupta와 Lafortune이 제안한 최적 관리제어기법에 대해서 살펴본다.