Bifuzzy Discrete Event Systems and Their Supervisory Control Theory

It is well known that type-1 fuzzy sets (T1 FSs) have limited capabilities to handle some data uncertainties directly, and type-2 fuzzy sets (T2 FSs) can cover the shortcoming of T1 FSs to a certain extent. Fuzzy discrete event systems (FDESs) were proposed based on T1 FSs theory. Hence, FDES may not be a satisfactory model to characterize some high-uncertainty systems. In this paper, we propose a new model, called as bifuzzy discrete event systems (BFDESs), by combining classical DESs theory and T2 FSs theory. Then, we consider the supervisory control problem of BFDESs. The bifuzzy controllability theorem and nonblocking bifuzzy controllability theorem are demonstrated. In addition, an algorithm for checking the bifuzzy controllability condition is presented. In addition, two controllable approximations to an uncontrollable language are investigated in detail. An illustrative example is provided to show the applicability and the advantages of the BFDES model.

[1]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning-III , 1975, Inf. Sci..

[2]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[3]  J. Mendel.  Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions , 2001 .

[4]  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.

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

[6]  Jerry M. Mendel,et al.  Type-2 fuzzy sets made simple , 2002, IEEE Trans. Fuzzy Syst..

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

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

[9]  Ronald R. Yager,et al.  A procedure for ordering fuzzy subsets of the unit interval , 1981, Inf. Sci..

[10]  Etienne E. Kerre,et al.  Reasonable properties for the ordering of fuzzy quantities (II) , 2001, Fuzzy Sets Syst..

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

[12]  Masaharu Mizumoto,et al.  Some Properties of Fuzzy Sets of Type 2 , 1976, Inf. Control..

[13]  Witold Pedrycz,et al.  Type-2 Fuzzy Logic: Theory and Applications , 2007, 2007 IEEE International Conference on Granular Computing (GRC 2007).

[14]  Feng Lin,et al.  Decision making in fuzzy discrete event systems , 2007, Inf. Sci..

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

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

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

[18]  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.

[19]  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..

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

[21]  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.

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

[23]  Jerry M. Mendel,et al.  Type-2 fuzzy sets and systems: an overview , 2007, IEEE Computational Intelligence Magazine.

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

[25]  Etienne E. Kerre,et al.  Reasonable properties for the ordering of fuzzy quantities (II) , 2001, Fuzzy Sets Syst..

[26]  Jerry M. Mendel,et al.  Operations on type-2 fuzzy sets , 2001, Fuzzy Sets Syst..

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

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

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

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

[31]  Oscar Montiel,et al.  Experimental study of intelligent controllers under uncertainty using type-1 and type-2 fuzzy logic , 2007, Inf. Sci..

[32]  Jerry M. Mendel,et al.  A quantitative comparison of interval type-2 and type-1 fuzzy logic systems: First results , 2010, International Conference on Fuzzy Systems.

[33]  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.

[34]  L. A. ZADEH,et al.  The concept of a linguistic variable and its application to approximate reasoning - I , 1975, Inf. Sci..

[35]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .