This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dy

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-eve

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-2