Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence

The supervisory control theory of fuzzy discrete-event systems (FDESs) for fuzzy language equivalence has been developed. However, in a way, language equivalence has limited expressiveness. Therefore, if the given specification can not be expressed by language equivalence, then the control for language equivalence does not work. In this paper, we further establish the supervisory control theory of FDESs for fuzzy simulation equivalence whose expressiveness is stronger than that of fuzzy language equivalence. First, we formalize the notions of fuzzy simulation and fuzzy simulation equivalence between two FDESs. Then, we present a method for deciding whether there is a fuzzy simulation or not. In addition, we also show several basic properties of fuzzy simulation relations. Afterward, we put forward the notion of fuzzy simulation-based controllability and, in particular, show that it serves as a necessary and sufficient condition for the existence of the fuzzy supervisors of FDESs. Moreover, we study the “range” control problem of FDESs. Some examples are given to illustrate the main results obtained.

[1]  George K. I. Mann,et al.  Behavior Coordination of Mobile Robotics Using Supervisory Control of Fuzzy Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[3]  George K. I. Mann,et al.  Mobile robot behavior coordination using supervisory control of Fuzzy Discrete Event Systems , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[4]  Yongming Li,et al.  Model Checking of Linear-Time Properties Based on Possibility Measure , 2012, IEEE Transactions on Fuzzy Systems.

[5]  Ratnesh Kumar,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2007, IEEE Transactions on Automatic Control.

[6]  George K. I. Mann,et al.  Generalizing the Decentralized Control of Fuzzy Discrete Event Systems , 2012, IEEE Transactions on Fuzzy Systems.

[7]  Fei Wang,et al.  Reliable decentralized supervisory control of fuzzy discrete event systems , 2010, Fuzzy Sets Syst..

[8]  M. Ćiri,et al.  Computation of the greatest simulations and bisimulations between fuzzy automata , 2012 .

[9]  George K. I. Mann,et al.  Behavior-modulation technique in mobile robotics using fuzzy discrete event system , 2006, IEEE Transactions on Robotics.

[10]  Guoqing Chen,et al.  State-Based Control of Fuzzy Discrete-Event Systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[11]  Fuchun Liu,et al.  Bisimilarity control of nondeterministic discrete event systems , 2011, Proceedings of the 30th Chinese Control Conference.

[12]  R. Kumar,et al.  Control of nondeterministic discrete event systems for simulation equivalence , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[13]  Fuchun Sun,et al.  A new algorithm for testing diagnosability of fuzzy discrete event systems , 2012, Inf. Sci..

[14]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

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

[16]  Feng Lin,et al.  Theory of Extended Fuzzy Discrete-Event Systems for Handling Ranges of Knowledge Uncertainties and Subjectivity , 2009, IEEE Transactions on Fuzzy Systems.

[17]  Feng Lin,et al.  A Fuzzy Discrete Event System Approach to Determining Optimal HIV/AIDS Treatment Regimens , 2006, IEEE Transactions on Information Technology in Biomedicine.

[18]  Daowen Qiu,et al.  Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach , 2009, IEEE Transactions on Fuzzy Systems.

[19]  Etienne E. Kerre,et al.  Bisimulations for Fuzzy-Transition Systems , 2010, IEEE Transactions on Fuzzy Systems.

[20]  Fuchun Liu,et al.  Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm , 2006, IEEE Transactions on Fuzzy Systems.

[21]  Man Ieee Systems,et al.  IEEE transactions on systems, man and cybernetics. Part B, Cybernetics , 1996 .

[22]  Feng Lin,et al.  A Self-Learning Fuzzy Discrete Event System for HIV/AIDS Treatment Regimen Selection , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[23]  邱道文.  Automata theory based on complete residuated lattice—valued logic（II） , 2001 .

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

[25]  R.D. MacArthur,et al.  Theory for a Control Architecture of Fuzzy Discrete Event Systems for Decision Making , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[26]  George K. I. Mann,et al.  Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems , 2012, IEEE Transactions on Automation Science and Engineering.

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

[28]  Ratnesh Kumar,et al.  Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control , 2011, IEEE Transactions on Automatic Control.

[29]  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).

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

[31]  L.R. Crane,et al.  Control of fuzzy discrete event systems and its applications to clinical treatment planning , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[32]  Erdal Kiliç,et al.  From classic observability to a simple fuzzy observability for fuzzy discrete-event systems , 2012, Inf. Sci..

[33]  Hongyan Xing,et al.  Analysis and control of fuzzy discrete event systems using bisimulation equivalence , 2012, Theor. Comput. Sci..

[34]  Tatjana Petkovic,et al.  Fuzzy relation equations and reduction of fuzzy automata , 2010, J. Comput. Syst. Sci..

[35]  Yiannis S. Boutalis,et al.  Fuzzy Discrete Event Systems for Multiobjective Control: Framework and Application to Mobile Robot Navigation , 2012, IEEE Transactions on Fuzzy Systems.

[36]  M. Khademi,et al.  Fuzzy discrete event supervisory control capable of temporal reasoning in urban traffic management , 2004, IEEE Conference on Cybernetics and Intelligent Systems, 2004..

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

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

[39]  W. Wee.  On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification , 1967 .

[40]  Miroslav Ciric,et al.  Computation of the greatest simulations and bisimulations between fuzzy automata , 2011, Fuzzy Sets Syst..

[41]  Lotfi A. Zadeh,et al.  Note on fuzzy languages , 1969, Inf. Sci..

[42]  Daowen Qiu,et al.  Characterizations of fuzzy finite automata , 2004, Fuzzy Sets Syst..