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

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state auto

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the mat

Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of co