Abstract
Supervisory control theory, which was first proposed by Ramadge and Wonahm, is a well-suited control theory for the control of complex systems such as semiconductor manufacturing systems, automobile manufacturing systems, and chemical processes because these are better modeled by discrete event models than by differential or difference equation models at higher levels of abstraction. Moreover, decentralized supervisory control is an efficient method for large complex systems according to the divide-and-conquer principle. Decentralized supervisors cannot observe the events those of which occur only within the other supervisors. Therefore decentralized supervisors can be designed according to supervisory control theory under partial observation. This paper presents a solution and a design procedure of supervisory control problem (SCP) for the case of decentralized control and SCP under partial observation (SCPPO). We apply the proposed design procedure to an experimental CIM Testbed. And we compare and analyze the designed decentralized supervisors and partially observed supervisors.