A dynamic programming approach to multi-level supervision

Using dynamic programming (DP), this paper presents a multi-level supervisory control implementation in the standard hierarchical discrete-event control framework. For a class of hierarchically consistent discrete-event systems, the DP algorithm developed implements a multi-level nonblocking controller with reduced off-line complexity of control synthesis and increased on-line transparency of control operations. An example illustrates the on-line control operations of the algorithm.

[1]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[2]  Jing Huang,et al.  An Optimal Directed Control Framework for Discrete Event Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[4]  Stéphane Lafortune,et al.  Recursive computation of limited lookahead supervisory controls for discrete event systems , 1993, Discret. Event Dyn. Syst..

[5]  W. M. Wonham,et al.  Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

[6]  Antonio Eduardo Carrilho da Cunha,et al.  Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking , 2007, IEEE Transactions on Automatic Control.

[7]  R. Bellman.  Dynamic programming. , 1957, Science.

[8]  Peyman Gohari-Moghadam.  A linguistic framework for controlled hierarchical DES , 1998 .

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

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

[11]  Leyuan Shi,et al.  New Hybrid Optimization Algorithms for Machine Scheduling Problems , 2008, IEEE Transactions on Automation Science and Engineering.

[12]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

[13]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[14]  J.E.R. Cury,et al.  An assume-guarantee reasoning for hierarchical coordination of discrete event systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

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

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

[17]  Michael Heymann,et al.  Control of discrete event systems modeled as hierarchical state machines , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.