부산대학교 도서관

Designing correct supervisory controllers for high-tech systems is becoming increasingly complex due to demands for verified safety, higher quality, and more functionality. Based on supervisory control theory, a method is defined to automatically derive a supervisor from a model of the uncontrolled system (the plant) and a model of the control requirements. A drawback of this approach is the computational complexity that grows exponentially with the number of components in the system. Several control architectures have been proposed in the literature to overcome this problem. It is not always evident which control architecture is most suitable for a given system. Therefore, the research on methods supporting automatic architecture generation gains in importance. The purpose of this paper is to illustrate such a method in a case study involving the development of supervisory control. The control architecture is automatically derived from the plant and requirement models, using clustering techniques for dependency structure matrices. The following development steps are discussed: modeling the plant, modeling the requirements, structuring the models in a multilevel control architecture, synthesizing the supervisors, and generating a real-time controller for implementation.