Logical characterizations of simulation and bisimulation for fuzzy transition systems

Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuzzy simulation has neither negation nor disjunction, which is very different from the well-known logical characterizations of probabilistic simulations, although the completeness proofs of our characterization results are inspired by relevant research in probabilistic concurrency theory. The logic for characterizing fuzzy bisimulation also deviates from that for probabilistic bisimulations.

[1]  Yuxin Deng,et al.  Modal Characterisations of Probabilistic and Fuzzy Bisimulations , 2014, ICFEM.

[2]  Parosh Aziz Abdulla,et al.  Tree regular model checking: A simulation-based approach , 2006, J. Log. Algebraic Methods Program..

[3]  Manfred Droste,et al.  Determinization of weighted finite automata over strong bimonoids , 2010, Inf. Sci..

[4]  Orna Kupferman,et al.  Latticed Simulation Relations and Games , 2007, ATVA.

[5]  Laurence Tianruo Yang,et al.  Fuzzy Logic with Engineering Applications , 1999 .

[6]  José Ramón González de Mendívil,et al.  Fuzzy languages with infinite range accepted by fuzzy automata: Pumping Lemma and determinization procedure , 2014, Fuzzy Sets Syst..

[7]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[8]  Daowen Qiu,et al.  Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note , 2006, Fuzzy Sets Syst..

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

[10]  Radha Jagadeesan,et al.  Approximating labelled Markov processes , 2003, Inf. Comput..

[11]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Information Sciences.

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

[13]  Abbas Edalat,et al.  Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[14]  Bernhard Steffen,et al.  Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..

[15]  J. Norris.  Appendix: probability and measure , 1997 .

[16]  Yang Wen-wu.  Bisimulation Relations for Fuzzy Finite Automata , 2009 .

[17]  Nancy A. Lynch,et al.  Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..

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

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

[20]  Yuxin Deng,et al.  Semantics of Probabilistic Processes: An Operational Approach , 2015 .

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

[22]  Lijun Zhang,et al.  Probabilistic Logical Characterization , 2011, Inf. Comput..

[23]  Yixiang Chen,et al.  Simulation for lattice-valued doubly labeled transition systems , 2014, Int. J. Approx. Reason..

[24]  Malay Bhattacharyya,et al.  Fuzzy Markovian decision process , 1998, Fuzzy Sets Syst..

[25]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[26]  Gonzalo Bailador,et al.  Pattern recognition using temporal fuzzy automata , 2010, Fuzzy Sets Syst..

[27]  Miroslav Ciric,et al.  Fuzzy relation equations and subsystems of fuzzy transition systems , 2013, Knowl. Based Syst..

[28]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[29]  Yongzhi Cao,et al.  Nondeterministic fuzzy automata , 2010, Inf. Sci..

[30]  Yongming Li,et al.  Finite automata theory with membership values in lattices , 2011, Inf. Sci..

[31]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[32]  Miroslav Ciric,et al.  Bisimulations for weighted automata over an additively idempotent semiring , 2014, Theor. Comput. Sci..

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

[34]  Miroslav Ciric,et al.  Bisimulations for fuzzy automata , 2011, Fuzzy Sets Syst..

[35]  Kathi Fisler,et al.  Bisimulation Minimization and Symbolic Model Checking , 2002, Formal Methods Syst. Des..

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

[37]  Weilin Deng,et al.  Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence , 2015, IEEE Transactions on Fuzzy Systems.

[38]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[39]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

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

[41]  Roberto Segala,et al.  Logical Characterizations of Bisimulations for Discrete Probabilistic Systems , 2007, FoSSaCS.

[42]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[43]  Kim Guldstrand Larsen,et al.  Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[44]  Abbas Edalat,et al.  Bisimulation for Labelled Markov Processes , 2002, Inf. Comput..

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

[46]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[47]  Michele Loreti,et al.  A process Algebra Approach to Fuzzy Reasoning , 2009, IFSA/EUSFLAT Conf..

[48]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[49]  Huaiqing Wang,et al.  A Behavioral Distance for Fuzzy-Transition Systems , 2011, IEEE Transactions on Fuzzy Systems.

[50]  Victor R. L. Shen,et al.  Knowledge Representation Using High-Level Fuzzy Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.