In this thesis, we investigate an analytic framework for decentralized supervisory control based on the automata theory. We introduce the induced cooperation for the decentralized supervisory control using the infimal closed controllable superlanguage instead of the conventional supremal closed controllable sublanguage in case the pure decentralized control problem is inadequate. We propose the decentralized supervisory control with switching control based on the coordinator structure in case the co-observability can not be satisfied where the co-observability is an indispensable condition in the the conventional decentralized supervision. The model uncertainty due to physical constraints of system is investigated based on the multiple model approach and we propose the robust decentralized supervision with switching control. The hierarchical decentralized supervision for the vertical modularity approach is investigated based on the notion of H-observability which is introduced to ensure the hierarchical consistency. The optimal decentralized supervision where we eliminate the redundant local supervisors which have no effect on the control objective is considered to reduce the implementation cost of the decentralized supervisory control. Finally, we proposed the extended decentralized supervision where a certain number of local supervisors are required to disable a controllable event. For the observability of the extended framework, we introduce the mutual observability which is an extended concept of the conventional co-observability.
이산사건 모델링과 형식언어 이론에 기반한 이산사건 시스템의 관리제어 이론은 기존의 연속변수 시스템에 대한 이론으로는 시스템 해석 및 제어에 많은 어려움이 있는 현대에 이르러 새롭게 등장한 다양한 분야의 많은 시스템들에 대한 새로운 해석과 체계적인 제어를 가능하게 하고 있다. 본 논문에서는 이산사건 시스템의 구성에 대한 계산상의 복잡성을 해결하기 위해 분산관리제어 이론에 대한 연구를 체계적으로 정립하였다. 기존의 분산관리제어 결과들에 대한 확장 및 분산관리제어에 대비되는 중앙집중적 관리제어 기법과의 혼합적 시스템을 제안하여 확장된 분산관리제어 기법을 제시하였으며 이를 통한 시스템의 신뢰성 향상 및 체계적인 시스템 운용기법을 제안하였다. 또한 시스템 자체의 물리적 한계에 기인한 모델 불확정성에 대한 강인관리제어 기법을 분산관리제어에 도입하여 강인 분산관리제어 기법을 제안하였으며, 시스템 복잡성 해결에 대한 수평적 관점에서의 분산관리제어 이론을 보완하기 위해 수직적 관점에서의 접근 방법인 계층적 관리제어이론을 도입하여 수평 수직적 관점에서의 체계적인 시스템 운용을 연구하였으며, 시스템 운용에 대한 비용적 측면에서 최적 관리제어 기법을 도입하여 시스템의 실제 응용성을 향상시켰으며, 마지막으로 기존의 분산관리 제어시스템 자체에 대한 새로운 확장을 통해 분산관리제어의 적용가능성을 더욱 향상시키고 이에 따른 체계적 이론을 제안하였다.