Modular Multitasking Supervisory Control of Composite Discrete-Event Systems
Abstract
A modular approach for efficiently dealing with multiple tasks and multiple specifications in the supervisory control of composite discrete-event systems (DES) is proposed. Colored marking generators are used to distinguish classes of tasks in supervisory control of DES, which allows the synthesis of optimal supervisors that are nonblocking with respect to multiple control objectives. A local modular approach, combined with supervisor reduction and conflict resolution techniques, affords better efficiency to the synthesis and readability to the solution by avoiding composition of subsystems in the computation of supervisors. An example of flexible manufacturing system illustrates the proposed methodology.
