On supervisory control of real-time discrete-event systems (Q1115839)

It is supposed that communications between plant G and supervisor S take place with zero time delay and that the simultaneity of events in distinct \(G_ i\) is ruled out in the theory of discrete-event systems by \textit{P. J. Ramadge} and \textit{W. M. Wonham} [SIAM J. Control Optimization 25, 206-230 (1987; Zbl 0618.93033)]. To accomodate these results with respect to real-time control constraints, the concepts of well posed supervisor and well posed language are defined. A problem is well posed if an arbitrary small change in the solution would result from a sufficiently small (but otherwise arbitrary) perturbation of the data. It is proved that centralized closed-loop supervisory control has correct real-time behaviour subject to communication delay and to simultaneity of events iff a supervisor is well posed with respect to time delay. A distributed real-time supervisor is discussed.