Grid automata and supervisory control of dense real-time discrete event systems

We present a generalization of the classical supervisory control theory for discrete event systems to a setting of dense real-time systems modeled by Alur and Dill timed automata. The main problem involved is that in general the state space of a timed automaton is (uncountably) infinite. The solution is to reduce the dense time transition system to an appropriate finite discrete subautomaton, the grid automaton, which contains enough information to deal with the timed supervisory control problem (TSCP). The plant and the specifications region graphs are sampled for a granularity defined in a way that each state has an outgoing transition labeled with the same time amount. We redefine the controllability concept in the context of grid automata, and we provide necessary and sufficient solvability conditions under which the optimal solution to centralized supervisory control problems in timed discrete event systems under full observation can be obtained. The enhanced setting admits subsystem composition and the concept of forcible event. A simple example illustrates how the new method can be used to solve the TSCP.

[1]  Johannes Schumacher,et al.  Proceedings of the European Control Conference , 1997 .

[2]  Wang Yi,et al.  Time-abstracted Bisimulation: Implicit Specifications and Decidability , 1997, Inf. Comput..

[3]  David L. Dill,et al.  Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.

[4]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[5]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[6]  B. Krogh,et al.  On the complexity of forbidden state problems for controlled marked graphs , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[7]  Wang Yi,et al.  Time Abstracted Bisimiulation: Implicit Specifications and Decidability , 1993, MFPS.

[8]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..

[9]  Didier Dubois,et al.  A linear-system-theoretic view of discrete-event processes , 1983 .

[10]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[11]  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.

[12]  Ferhat Khendek,et al.  Timed Wp-Method: Testing Real-Time Systems , 2002, IEEE Trans. Software Eng..

[13]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[14]  A. Gouin,et al.  Supervisory control of timed automata , 1999, 1999 European Control Conference (ECC).

[15]  Tan-Jan Ho.  A new approach to synthesis problems in timed discrete-event systems , 2000 .

[16]  Frits W. Vaandrager,et al.  Minimizable Timed Automata , 1996, FTRTFT.

[18]  R. Alur.  Techniques for automatic verification of real-time systems , 1991 .

[19]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[20]  Yu-Chi Ho,et al.  Parametric sensitivity of a statistical experiment , 1979 .

[21]  W. M. Wonham,et al.  A framework for real-time discrete event control , 1990 .

[22]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[23]  J. Boimond,et al.  Internal model control and max-algebra: controller design , 1996, IEEE Trans. Autom. Control..

[24]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[25]  Jonathan S. Ostroff,et al.  Synthesis of controllers for real-time discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

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

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

[28]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.