Abstract
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 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
