Supervisory control design for real-time discrete event systems

This paper deals with the development of algorithms for a software tool that derives the supervisory controller of a real-time discrete event system modelled using timed automata. An example and graphical abstractions are used to demonstrate the algorithmic work, methodology and design environment.