The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica tion netw

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica tion netw

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica tion netw

Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software

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