Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems

Behaviour distances to measure the resemblance of two states in a (nondeterministic) fuzzy transition system have been proposed recently in literature. Such a distance, defined as a pseudo-ultrametric over the state space of the model, provides a quantitative analogue of bisimilarity. In this paper, we focus on the problem of computing these distances. We first extend the definition of the pseudo-ultrametric by introducing discount such that the discounting factor being equal to 1 captures the original definition. We then provide polynomial-time algorithms to calculate the behavioural distances, in both the non-discounted and the discounted setting. The algorithm is strongly polynomial in the former case.

[1]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[2]  S. Banach.  Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales , 1922 .

[3]  Hongfei Fu,et al.  Computing Game Metrics on Markov Decision Processes , 2012, ICALP.

[4]  James Worrell,et al.  On the Complexity of Computing Probabilistic Bisimilarity , 2012, FoSSaCS.

[5]  Ivana Jancic,et al.  Weak bisimulations for fuzzy automata , 2014, Fuzzy Sets Syst..

[6]  Bastian Goldlücke,et al.  Variational Analysis , 2014, Computer Vision, A Reference Guide.

[7]  Doina Precup,et al.  Bisimulation Metrics for Continuous Markov Decision Processes , 2011, SIAM J. Comput..

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

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

[10]  James Worrell,et al.  Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems , 2007, Log. Methods Comput. Sci..

[11]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[12]  Christel Baier,et al.  Principles of model checking , 2008 .

[13]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[14]  Tom Chothia,et al.  Metrics for Action-labelled Quantitative Transition Systems , 2006, QAPL.

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

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

[17]  Radha Jagadeesan,et al.  Metrics for labelled Markov processes , 2004, Theor. Comput. Sci..

[18]  James Worrell,et al.  A behavioural pseudometric for probabilistic transition systems , 2005, Theor. Comput. Sci..

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

[20]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[21]  Mathieu Tracol,et al.  Computing Distances between Probabilistic Automata , 2011, QAPL.

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

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

[24]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[25]  N. Biggs.  GEOMETRIC ALGORITHMS AND COMBINATORIAL OPTIMIZATION: (Algorithms and Combinatorics 2) , 1990 .

[26]  Peter Buchholz,et al.  Bisimulation relations for weighted automata , 2008, Theor. Comput. Sci..

[27]  Scott A. Smolka,et al.  Algebraic Reasoning for Probabilistic Concurrent Systems , 1990, Programming Concepts and Methods.

[28]  Jian Lu,et al.  On metrics for probabilistic systems: Definitions and algorithms , 2009, Comput. Math. Appl..

[29]  James Worrell,et al.  An Algorithm for Quantitative Verification of Probabilistic Transition Systems , 2001, CONCUR.

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

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

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

[33]  Thomas A. Henzinger,et al.  Discounting the Future in Systems Theory , 2003, ICALP.

[34]  Radha Jagadeesan,et al.  The metric analogue of weak bisimulation for probabilistic processes , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.