Hierarchical control of timed discrete-event systems

An abstract hierarchical control theory is developed for a class of timed discrete-event systems (TDES) within the discrete-event control architectural framework proposed earlier by the authors. For this development, a control theory for TDES is introduced in the spirit of a prior theory of Brandin. A notion of time control structures is introduced, and on its basis a general property of hierarchical consistency is achieved by establishing control consistency — namely preservation of time control structures through the aggregation mapping in a two-level hierarchy.

[1]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[2]  P. Ramadge,et al.  Supervision of discrete event processes , 1982, 1982 21st IEEE Conference on Decision and Control.

[3]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[4]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[5]  Walter Murray Wonham,et al.  Towards an abstract internal model principle , 1976, 1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.

[6]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[7]  Peter Jeffrey Godwin Ramadge,et al.  Control and supervision of discrete event processes , 1983 .

[8]  J. G. Thistle.  Control of infinite behaviour of discrete-event systems , 1992 .

[9]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[10]  Michael Heymann,et al.  Supervisory control of concurrent discrete-event systems , 1991 .

[11]  Jonathan S. Ostroff,et al.  Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..

[12]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[13]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[14]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[15]  K. Inan.  An algebraic approach to supervisory control , 1992, Math. Control. Signals Syst..