Characterization and computation of approximate bisimulations for fuzzy automata

Approximation Metrics for Discrete and Continuous Systems

Antoine Girard, George J. Pappas · IEEE Transactions on Automatic Control · 2007 · 485 citations

Computing, Computer Science, Systems Engineering +17

Forward and Backward Simulations

Nancy Lynch, Frits Vaandrager · Information and Computation · 1995 · 402 citations · Full text

Computing, Computer Science, Scientific Computing +9

Fuzzy Relational Systems: Foundations and Principles

C.J.H. Mann · Kybernetes · 2003 · 349 citations

Computing, Computer Science, Mathematics +11

Modeling and control of fuzzy discrete event systems

Feng Lin, Hao Ying · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2002 · 242 citations

Computing, Mathematics, Systems Engineering +14

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti · Theoretical Computer Science · 2003 · 144 citations · Full text

Computing, Computer Science, Algorithms +9