References
[1]
Baier C, Katoen J P. Principles of Model Checking. Cambridge: MIT Press, 2008.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Baier C, Katoen J P. Principles of Model Checking. Cambridge: MIT Press, 2008&
[2]
Edmund M, Grumberg O, Peled D. Model Checking. Cambridge: MIT Press, 1999.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Edmund M, Grumberg O, Peled D. Model Checking. Cambridge: MIT Press, 1999&
[3]
Zheng Y, Wang L. Consensus of switched multi-agent systems. IEEE Trans Circ Syst II, 2016, 63: 314-318.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Zheng Y, Wang L. Consensus of switched multi-agent systems. IEEE Trans Circ Syst II, 2016, 63: 314-318&
[4]
Zheng Y, Wang L. A novel group consensus protocol for heterogeneous multi-agent systems. Int J Contr, 2015, 106: 1-13.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Zheng Y, Wang L. A novel group consensus protocol for heterogeneous multi-agent systems. Int J Contr, 2015, 106: 1-13&
[5]
Li
T,
Zhang
J F.
Consensus conditions of multi-agent systems with time-varying topologies and stochastic communication noises.
IEEE Trans Automat Contr,
2010, 55: 2043-2057
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Consensus conditions of multi-agent systems with time-varying topologies and stochastic communication noises&author=Li T&author=Zhang J F&publication_year=2010&journal=IEEE Trans Automat Contr&volume=55&pages=2043-2057
[6]
Li
T,
Fu
M,
Xie
L, et al.
Distributed consensus with limited communication data rate.
IEEE Trans Automat Contr,
2011, 56: 279-292
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Distributed consensus with limited communication data rate&author=Li T&author=Fu M&author=Xie L&publication_year=2011&journal=IEEE Trans Automat Contr&volume=56&pages=279-292
[7]
Baier
C,
Kwiatkowska
M.
Model checking for a probabilistic branching time logic with fairness.
Distrib Comput,
1998, 11: 125-155
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Model checking for a probabilistic branching time logic with fairness&author=Baier C&author=Kwiatkowska M&publication_year=1998&journal=Distrib Comput&volume=11&pages=125-155
[8]
Hart
S,
Sharir
M.
Termination of probabilistic concurrent programs.
ACM Trans Prog Lang Syst,
1983, 5: 356-380
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Termination of probabilistic concurrent programs&author=Hart S&author=Sharir M&publication_year=1983&journal=ACM Trans Prog Lang Syst&volume=5&pages=356-380
[9]
Sultan
K,
Bentahar
J,
Wei
W, et al.
Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments.
Expert Syst Appl,
2014, 41: 6291-6304
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments&author=Sultan K&author=Bentahar J&author=Wei W&publication_year=2014&journal=Expert Syst Appl&volume=41&pages=6291-6304
[10]
Sultan
K,
Bentahar
J,
EI-Menshawy
M.
Model checking probabilistic social commitments for intelligent agent communication.
Appl Softw Comput,
2014, 22: 397-409
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Model checking probabilistic social commitments for intelligent agent communication&author=Sultan K&author=Bentahar J&author=EI-Menshawy M&publication_year=2014&journal=Appl Softw Comput&volume=22&pages=397-409
[11]
Chechik
M,
Devereux
B,
Easterbrook
S, et al.
Multi-valued symbolic model-checking.
ACM Trans Softw Eng Method,
2003, 12: 371-408
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Multi-valued symbolic model-checking&author=Chechik M&author=Devereux B&author=Easterbrook S&publication_year=2003&journal=ACM Trans Softw Eng Method&volume=12&pages=371-408
[12]
Chechik
M,
Gurfinkel
A,
Devereux
B, et al.
Data structures for symbolic multi-valued model-checking.
Formal Methods Syst Des,
2006, 29: 295-344
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Data structures for symbolic multi-valued model-checking&author=Chechik M&author=Gurfinkel A&author=Devereux B&publication_year=2006&journal=Formal Methods Syst Des&volume=29&pages=295-344
[13]
Pan
H Y,
Li
Y M,
Cao
Y Z, et al.
Model checking fuzzy computation tree logic.
Fuzzy Sets Syst,
2015, 262: 60-77
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Model checking fuzzy computation tree logic&author=Pan H Y&author=Li Y M&author=Cao Y Z&publication_year=2015&journal=Fuzzy Sets Syst&volume=262&pages=60-77
[14]
Pan
H Y,
Li
Y M,
Cao
Y Z, et al.
Model checking computation tree logic over finite lattices.
Theor Comput Sci,
2016, 612: 45-62
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Model checking computation tree logic over finite lattices&author=Pan H Y&author=Li Y M&author=Cao Y Z&publication_year=2016&journal=Theor Comput Sci&volume=612&pages=45-62
[15]
Li
Y M,
Li
L J.
Model checking of linear-time properties based on possibility measure.
IEEE Trans Fuzzy Syst,
2013, 21: 842-854
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Model checking of linear-time properties based on possibility measure&author=Li Y M&author=Li L J&publication_year=2013&journal=IEEE Trans Fuzzy Syst&volume=21&pages=842-854
[16]
Li
Y M,
Li
Y L,
Ma
Z Y.
Computation tree logic model checking based on possibility measures.
Fuzzy Sets Syst,
2015, 262: 44-59
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Computation tree logic model checking based on possibility measures&author=Li Y M&author=Li Y L&author=Ma Z Y&publication_year=2015&journal=Fuzzy Sets Syst&volume=262&pages=44-59
[17]
Li
Y M,
Ma
Z Y.
Quantitative computation tree logic model checking based on generalized possibility measures.
IEEE Trans Fuzzy Syst,
2015, 23: 2034-2047
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Quantitative computation tree logic model checking based on generalized possibility measures&author=Li Y M&author=Ma Z Y&publication_year=2015&journal=IEEE Trans Fuzzy Syst&volume=23&pages=2034-2047
[18]
Drakopoulos
A.
Probabilities, possibilities, and fuzzy sets.
Fuzzy Sets Syst,
1995, 75: 1-15
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Probabilities, possibilities, and fuzzy sets&author=Drakopoulos A&publication_year=1995&journal=Fuzzy Sets Syst&volume=75&pages=1-15
[19]
Dubois
D.
Possibility theory and statistical reasoning.
Comput Stat Data Anal,
2006, 51: 47-69
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Possibility theory and statistical reasoning&author=Dubois D&publication_year=2006&journal=Comput Stat Data Anal&volume=51&pages=47-69
[20]
Dubois D, Prade H. Possibility Theory. NewYork: Plenum, 1988.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Dubois D, Prade H. Possibility Theory. NewYork: Plenum, 1988&
[21]
Dubois
D,
Prade
H.
Possibility theory, probability theory and multiple-valued logics: a clarification.
Ann Math Artif Intell,
2001, 32: 35-66
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Possibility theory, probability theory and multiple-valued logics: a clarification&author=Dubois D&author=Prade H&publication_year=2001&journal=Ann Math Artif Intell&volume=32&pages=35-66
[22]
Grabisch M, Murofushi T, Sugeno M. Fuzzy Measures and Integrals. Heidelberg: Physica-Verlag, 2000.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Grabisch M, Murofushi T, Sugeno M. Fuzzy Measures and Integrals. Heidelberg: Physica-Verlag, 2000&
[23]
Zadeh
L A.
Fuzzy sets as a basis for a theory of possibility.
Fuzzy Sets Syst,
1978, 1: 3-28
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Fuzzy sets as a basis for a theory of possibility&author=Zadeh L A&publication_year=1978&journal=Fuzzy Sets Syst&volume=1&pages=3-28
[24]
Li Y M. Analysis of Fuzzy Systems. Beijing: Science Press, 2005 [李永明. 模糊系统分析. 北京: 科学出版社, 2005].
Google Scholar
http://scholar.google.com/scholar_lookup?title=Li Y M. Analysis of Fuzzy Systems. Beijing: Science Press, 2005 [李永明. 模糊系统分析. 北京: 科学出版社, 2005]&
[25]
Garmendia L, Gonz$\acute{a}$lez del Campo R, López V, et al. An algorithm to compute the transitive closure, a transitive approximation and a transitive opening of a fuzzy proximity. Mathware Soft Comput, 2009, 16: 175-191.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Garmendia L, Gonz$\acute{a}$lez del Campo R, López V, et al. An algorithm to compute the transitive closure, a transitive approximation and a transitive opening of a fuzzy proximity. Mathware Soft Comput, 2009, 16: 175-191&
[26]
Lin
F,
Ying
H.
Modeling and control of fuzzy discrete event systems.
IEEE Trans Syst Man Cybernetics Part B,
2002, 32: 408-415
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Modeling and control of fuzzy discrete event systems&author=Lin F&author=Ying H&publication_year=2002&journal=IEEE Trans Syst Man Cybernetics Part B&volume=32&pages=408-415
[27]
Qiu
D.
Supervisory control of fuzzy discrete event systems: a formal approach.
IEEE Trans Syst Man Cybern Part B,
2005, 35: 72-88
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Supervisory control of fuzzy discrete event systems: a formal approach&author=Qiu D&publication_year=2005&journal=IEEE Trans Syst Man Cybern Part B&volume=35&pages=72-88
[28]
Cao
Y,
Ying
M.
Observability and decentralized control of fuzzy discrete-event systems.
IEEE Trans Fuzzy Syst,
2006, 14: 202-216
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Observability and decentralized control of fuzzy discrete-event systems&author=Cao Y&author=Ying M&publication_year=2006&journal=IEEE Trans Fuzzy Syst&volume=14&pages=202-216
[29]
Liu
F C,
Qiu
D W.
Diagnosability of fuzzy discrete event systems: a fuzzy approach.
IEEE Trans Fuzzy Syst,
2009, 17: 372-384
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Diagnosability of fuzzy discrete event systems: a fuzzy approach&author=Liu F C&author=Qiu D W&publication_year=2009&journal=IEEE Trans Fuzzy Syst&volume=17&pages=372-384
[30]
Xing
H Y,
Zhang
Q S,
Huang
K S.
Analysis and control of fuzzy discrete event systems using bisimulation equivalence.
Theor Comput Sci,
2012, 456: 100-111
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Analysis and control of fuzzy discrete event systems using bisimulation equivalence&author=Xing H Y&author=Zhang Q S&author=Huang K S&publication_year=2012&journal=Theor Comput Sci&volume=456&pages=100-111