Supervisor Existence for Product Composition of Discrete Event Systems

A discrete event system is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. The supervisory control of product composition for discrete event systems is investigated. For discrete event systems modeled by automata, when the supervisors for two subsystems exist, the existence condition of supervisor composed from the sub supervisors for the overall product systems is obtained. Furthermore, the relationship of supervisors between the overall systems and the subsystems are also illustrated.

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

[2]  Feng Lin,et al.  Fuzzy discrete event systems and their observability , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[3]  Vijay K. Garg,et al.  Control of stochastic discrete event systems modeled by probabilistic languages , 2001, IEEE Trans. Autom. Control..

[4]  J. F. Baldwin,et al.  Fuzzy Switching and Automata Theory and Applications , 1980 .

[5]  Feng Lin,et al.  A fuzzy discrete event system for HIV/AIDS treatment planning , 2004, 2004 IEEE International Conference on Fuzzy Systems (IEEE Cat. No.04CH37542).

[6]  Gerasimos G. Rigatos,et al.  Fuzzy stochastic automata for intelligent vehicle control , 2003, IEEE Trans. Ind. Electron..

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

[8]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[9]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[10]  K. Peeva.  Fuzzy automata and languages: theory and applications , 2004 .

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

[12]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[13]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[14]  Yongzhi Cao,et al.  Supervisory control of fuzzy discrete event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[15]  J. W. Jones,et al.  Hybrid implementation for sampled-data controllers , 1969 .

[16]  Antonio F. Gómez-Skarmeta,et al.  A framework for defining and learning fuzzy behaviors for autonomous mobile robots , 2002, Int. J. Intell. Syst..

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[18]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[19]  Yongzhi Cao,et al.  Observability and decentralized control of fuzzy discrete-event systems , 2004, IEEE Transactions on Fuzzy Systems.

[20]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[21]  Teresa Escobet,et al.  Wastewater treatment process supervision by means of a fuzzy automaton model , 2000, Proceedings of the 2000 IEEE International Symposium on Intelligent Control. Held jointly with the 8th IEEE Mediterranean Conference on Control and Automation (Cat. No.00CH37147).