Supervisory control based on multi-face modelling of discrete event systems

This paper reports a supervisory control design methodology based on the multi-face modelling of discrete-event systems in order to allow rapid prototyping and flexible implementation of controllers for reactive systems. Although Supervisory Control Theory assures that the closed loop system meets the prescribed requirements, it uses ordinary finite state machines as process models, which results in complicated and large-scale controllers. A new modelling methodology simplifies modelling by introducing functional models based on tasks, which allow the reduction of component models. The paper presents a multi-level supervisory control architecture for systems modelled in the framework and derives the properties of the overall control system. Propositions for the implementation of such supervisory architectures are also made.