Supervisory control of timed automata

Based on the framework of Ramadge and Wonham theory, this paper presents a methodology for the design of a supervisory control for timed discrete event systems. Timed automata in dense time domain are used as models. They are successively extended to region automata and τ-region automata in which passing of time is considered as an event, either controllable (tack), either uncontrollable (tock). An example illustrates the different steps for the design of the timed, complete and minimally restrictive supervisor.

[1]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[2]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[3]  Amir Pnueli,et al.  On Discretization of Delays in Timed Automata and Digital Circuits , 1998, CONCUR.

[4]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[5]  Joseph Sifakis,et al.  Controller Synthesis for Timed Automata 1 , 1998 .

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  S. Marcus,et al.  On controllability and normality of discrete event dynamical systems , 1991 .