Simulation for multi-valued systems *

In this paper, compared to current hot spots of simulations in others uncertain systems and combine with De Morgen algebras, we propose a series of concepts of multi-valued simulations. Meanwhile, we discuss some properties of multivalued simulations and prove relevant theorems and lemmas. Finally, we introduce the related notions of multi-valued simulations quotient.

[1]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[2]  Stephan Merz,et al.  Model Checking , 2000 .

[3]  Yongzhi Cao,et al.  Lattice-valued simulations for quantitative transition systems , 2015, Int. J. Approx. Reason..

[4]  Yongming Li,et al.  Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures , 2014, IEEE Transactions on Fuzzy Systems.

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

[6]  Matthew L. Ginsberg,et al.  Multi-Valued Logics , 1986, AAAI.

[7]  Marsha Chechik,et al.  Model-Checking over Multi-valued Logics , 2001, FME.

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

[9]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[10]  Yuxin Deng,et al.  Logical characterizations of simulation and bisimulation for fuzzy transition systems , 2016, Fuzzy Sets Syst..

[11]  Marsha Chechik,et al.  Model-checking infinite state-space systems with fine-grained abstractions using SPIN , 2001, SPIN '01.

[12]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[13]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[14]  R. P. Kurshan,et al.  Computer Aided Verification , 1998, Lecture Notes in Computer Science.

[15]  Yixiang Chen,et al.  Quantitative Analysis of Lattice-valued Kripke Structures , 2014, Fundam. Informaticae.

[16]  Tomás Kroupa.  States in Łukasiewicz logic correspond to probabilities of rational polyhedra , 2012, Int. J. Approx. Reason..

[17]  Yongming Li,et al.  Computation Tree Logic Model Checking Based on Possibility Measures , 2014, Fuzzy Sets Syst..

[18]  Manfred Droste,et al.  Model checking of linear-time properties in multi-valued systems , 2012, Inf. Sci..