SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS

The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models. It is shown that the RW concept of controllability and the existence of maximally permissive supervisory controls can be suitably generalized. The enhanced setting admits subsystem compositi on and the concept of forcible event as an event that preempts the tic k of a global dock. An example of a simple manufacturing cell illustra tes how the new framework can be used to solve synthesis problems whic h may include logic-based, temporal and quantitative optimality specif ications.