论文信息 - A state-based reasoning for the supervisory control of timed discrete event systems

A state-based reasoning for the supervisory control of timed discrete event systems

AbstmctIn this paper the problem of controlling the behavior of a given Time Discrete Event System (TDES) is approached in terms of predicate and predicate transformer. The Supervisory Control Problem (SCP) is introduced as the problem of synthesizing a supervisor for a given TDES. So that, the set of legal predicate corresponds to the weakest predicate that remains invariant and reachable nnder control. In contrast of the work 121, the approach proposed does not rely on a search through the entire reachability of the timed automaton of a given TDES. The notion ofcontrollability ofa predicate deRned in [9] is adapted. It is shown that predicate controllability serves as a necessary and sufficient condition for the existence of a state feedback controller which solves the SCP. To compute the suprema1 controllable predicate a fixpoint algorithm is proposed.

E. Niel | A. Khatab

[1] Edsger W. Dijkstra,et al. Predicate Calculus and Program Semantics , 1989, Texts and Monographs in Computer Science.

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

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

[4] Vijay K. Garg,et al. Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..

[5] P. Ramadge,et al. Modular Feedback Logic for Discrete Event Systems , 1987 .

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

[7] Walter Murray Wonham,et al. Hierarchical control of timed discrete-event systems , 1996, Discret. Event Dyn. Syst..

[8] T.-J. Ho. Controller synthesis for some control problems in timed discrete-event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.