A component-based approach for supervisory control

This paper reports a novel approach for the supervisory control of discrete event systems. Based on components, the approach provides principles of object-oriented software design to be used in the framework of Supervisory Control Theory. The concepts of abstract and concrete components allow the modeling of complex systems at a high level of abstraction, making specification and control design easier. Besides aiming modularity and reusability, the proposed framework allows to introduce concepts of composition, polymorphism and inheritance into the design of supervisory controllers.