State-space supervisory control of reconfigurable discrete event systems

The discrete event theory of supervisory and state feedback control offers many advatages for implementing supervisory systems. Algorithmic concepts have been introduced to ensure that the supervising algorithms are correct and meet the specifications. In the current methodology, it is, in general, assumed that the supervisory specifications are invariant during the operation of the system or, at least, until a given supervisory task is completed. However, there are many practical applications where the supervising specifications need to be updated in real time. For example, when dealing with complex processes, the tasks of supervisory systems analysis and synthesis can be facilitated by partitioning the controlled Discrete-Event System (DES) into several subprocesses. This partitioning is based on operational or physical considerations and a unique supervisor is assigned to control each subprocess at a given instant of time. When a decision maker at a higher level of hierarchy decides to change the super...

[1]  Vijay K. Garg,et al.  A State-Variable Approach for Controlling Discrete Event Systems with Infinite States , 1992, 1992 American Control Conference.

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

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

[4]  Bruce H. Krogh,et al.  On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[5]  Asok Ray,et al.  A reconfigurable strategy for distributed digital process control , 1990 .

[6]  Lawrence L. Lapin,et al.  Quantitative Methods for Business Decisions: With Cases , 1985 .

[7]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[8]  M. Heymann,et al.  Stabilization of discrete-event processes , 1990 .

[9]  Fag Lin,et al.  Robust and Adaptive Supervisory Control of Discrete Event Systems , 1992, 1992 American Control Conference.

[10]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[11]  Yong Li,et al.  Control of Vector Discrete-Event Systems , 1993 .

[12]  Xi-Ren Cao.  A comparison of the dynamics of continuous and discrete event systems , 1989, Proc. IEEE.

[13]  A. Michel,et al.  Lyapunov Stability of a Class of Discrete Event Systems , 1991 .

[14]  Toshimitsu Ushio,et al.  Controllability and control-invariance in discrete-event systems , 1989 .

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

[16]  Kumpati S. Narendra,et al.  Learning automata - an introduction , 1989 .

[17]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[18]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

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

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

[21]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[22]  M. Heymann,et al.  On stabilization of discrete-event processes , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[23]  Kevin M. Passino,et al.  Stability and Boundedness Analysis of Discrete Event Systems , 1992, 1992 American Control Conference.