A framework based on supervisory control theory (SCT) is proposed to assist the design of
multi-modal control for discrete-event systems (DESs). Our purpose handled modes which …

In this paper, we propose a framework for designing suitable switching control decisions for
discrete event systems (DES) whose structures change as they develop in different …

This paper presents a case study in the design and implementation of a discrete event
system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system …

The anticipated extensive use of flexible-manufacturing workcells in the future has
encouraged recent research efforts on the development of automatic supervisory-control …

In a first part this work presents a hierarchical and modular architecture for real-time control
and monitoring of Discrete Events Systems like Flexible Manufacturing Systems (FMS). The …

Mode management is one of the problems in discrete events systems control design. Even
based on a simple specification, it is very difficult to prove that models of each mode and …

A modular approach for efficiently dealing with multiple tasks and multiple specifications in
the supervisory control of composite discrete-event systems (DES) is presented. Colored …

Among the several extensions of Supervisory Control Theory, local modular control (LMC) is
shown to be a computationally efficient approach for the synthesis of supervisors in …

The objective of this work is to identify a control algorithm that is capable of handling
nonlinear behaviour (operating point dependent) witnessed in most industrial processes. To …

Local modular control (LMC) is an approach to the supervisory control theory (SCT) of
discrete-event systems that exploits the modularity of plant and specifications. Recently …