Control synthesis for timed discrete event system

The problem addressed is the modelling and control of 'hard' real-time systems (involving guaranteed response bounded in time) in a discrete event setting. In the framework of Ramadge and Wonham, a discrete event system is modelled as a controlled state machine. This thesis extends their approach to model a class of timed discrete event systems by introducing an event tick to represent the passage of time. A theoretical framework is established to study problems of control synthesis. Concepts of real-time controllability and supervision are defined and explored. A switching network example then illustrates an application of the developed framework.