Reduction of fuzzy automata by means of fuzzy quasi-orders

Information Sciences

Volumn 275, Issue , 2014, Pages 168-198

  Stamenković, Aleksandar ^a   Ćirić, Miroslav ^a   Ignjatović, Jelena ^a  

^a UNIVERSITY OF NI   (Serbia)

Author keywords

Afterset automaton; Fuzzy automaton; Fuzzy discrete event system; Fuzzy quasi order; Fuzzy relation equation; State reduction

Indexed keywords

AUTOMATA THEORY; DISCRETE EVENT SIMULATION;

AFTERSET AUTOMATON; FUZZY AUTOMATON; FUZZY DISCRETE EVENT SYSTEMS; FUZZY QUASI-ORDER; FUZZY RELATION EQUATIONS; STATE REDUCTION;

FUZZY SYSTEMS;

EID: 84900806170     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2014.02.028     Document Type: Article

References (88)

1. W. Bandler, and L.J. Kohout Fuzzy relational products as a tool for analysis and synthesis of the behaviour of complex natural and artificial systems S.K. Wang, P.P. Chang, Fuzzy Sets: Theory and Application to Policy Analysis and Information Systems 1980 Plenum Press New York 341 367
2. N.C. Basak, and A. Gupta On quotient machines of a fuzzy automaton and the minimal machine Fuzzy Sets Syst. 125 2002 223 229
3. R. Bělohlávek Fuzzy Relational Systems: Foundations and Principles 2002 Kluwer New York
4. R. Bělohlávek, and V. Vychodil Fuzzy Equational Logic 2005 Springer Berlin-Heidelberg
5. U. Bodenhofer A similarity-based generalization of fuzzy orderings preserving the classical axioms Int. J. Uncertain. Fuzz. Knowl.-Based Syst. 8 2000 593 610
6. U. Bodenhofer Representations and constructions of similarity-based fuzzy orderings Fuzzy Sets Syst. 137 2003 113 136
7. U. Bodenhofer, B. De Baets, and J. Fodor A compendium of fuzzy weak orders: representations and constructions Fuzzy Sets Syst. 158 2007 811 829
8. U. Bodenhofer, and F. Klawonn A formal study of linearity axioms for fuzzy orderings Fuzzy Sets Syst. 145 2004 323 354
9. S. Burris, and H.P. Sankappanavar A Course in Universal Algebra 1981 Springer-Verlag New York
10. C.S. Calude, E. Calude, and B. Khoussainov Finite nondeterministic automata: simulation and minimality Theor. Comput. Sci. 242 2000 219 235
11. C. Câmpeanu, N. Sântean, and S. Yu Mergible states in large NFA Theor. Comput. Sci. 330 2005 23 34
12. Y.Z. Cao, and M.S. Ying Supervisory control of fuzzy discrete event systems IEEE Trans. Syst. Man Cybern. - Part B 35 2005 366 371
13. Y.Z. Cao, and M.S. Ying Observability and decentralized control of fuzzy discrete-event systems IEEE Trans. Fuzzy Syst. 14 2006 202 216
14. Y.Z. Cao, M.S. Ying, and G.Q. Chen State-based control of fuzzy discrete-event systems IEEE Trans. Syst. Man Cybern. - Part B 37 2007 410 424
15. C.G. Cassandras, and S. Lafortune Introduction to Discrete Event Systems 2008 Springer
16. J.-M. Champarnaud, F. Coulon, Theoretical Study and Implementation of the Canonical Automaton, Technical Report AIA 2003.03, LIFAR, Université de Rouen, 2003.
17. J.-M. Champarnaud, F. Coulon, NFA reduction algorithms by means of regular inequalities, in: Z. Ésik, Z. Fülöp, (Eds.), DLT 2003, Lecture Notes in Computer Science, vol. 2710, 2003, pp. 194-205.
18. J.-M. Champarnaud, and F. Coulon NFA reduction algorithms by means of regular inequalities Theor. Comput. Sci. 327 2004 241 253 (erratum: Theoretical Computer Science 347 (2005) 437-40).
19. J.-M. Champarnaud, and D. Ziadi New finite automaton constructions based on canonical derivatives S. Yu, A. Paun, CIAA 2000 Lecture Notes in Computer Science vol. 2088 2001 Springer Berlin 94 104
20. s 2) space and time A. Amir, G. Landau, CPM 2001 Lecture Notes in Computer Science vol. 2089 2001 Springer Berlin 157 168
21. W. Cheng, and Z. Mo Minimization algorithm of fuzzy finite automata Fuzzy Sets Syst. 141 2004 439 448
22. M. Ćirić, J. Ignjatović, and S. Bogdanović Fuzzy equivalence relations and their equivalence classes Fuzzy Sets Syst. 158 2007 1295 1313
23. M. Ćirić, J. Ignjatović, and S. Bogdanović Uniform fuzzy relations and fuzzy mappings Fuzzy Sets Syst. 160 2009 1054 1081
24. M. Ćirić, A. Stamenković, J. Ignjatović, T. Petković, Factorization of fuzzy automata, in: E. Csuhaj-Varju, and Z. Ésik, (Eds.), FCT 2007, Lecture Notes in Computer Science, vol. 4639, 2007, pp. 213-225.
25. M. Ćirić, A. Stamenković, J. Ignjatović, and T. Petković Fuzzy relation equations and reduction of fuzzy automata J. Comput. Syst. Sci. 76 2010 609 633
26. B. De Baets, and E. Kerre The cutting of compositions Fuzzy Sets Syst. 62 1994 295 309
27. M. De Cock, and E.E. Kerre Fuzzy modifiers based on fuzzy relations Inf. Sci. 160 2004 173 199
28. A. Dovier, C. Piazza, and A. Policriti An efficient algorithm for computing bisimulation equivalence Theor. Comput. Sci. 311 2004 221 256
29. R. Gentilini, C. Piazza, and A. Policriti From bisimulation to simulation: coarsest partition problems J. Autom. Reasoning 31 2003 73 103
30. U. Höhle Commutative, residuated l-monoids U. Höhle, E.P. Klement, Non-Classical Logics and Their Applications to Fuzzy Subsets 1995 Kluwer Academic Publishers Boston, Dordrecht 53 106
31. B. Hrúz, and M.C. Zhou Modeling and Control of Discrete-Event Dynamical Systems: with Petri Nets and Other Tools 2007 Springer
32. J. Ignjatović, M. Ćirić, and S. Bogdanović Determinization of fuzzy automata with membership values in complete residuated lattices Inf. Sci. 178 2008 164 180
33. J. Ignjatović, M. Ćirić, and S. Bogdanović Fuzzy homomorphisms of algebras Fuzzy Sets Syst. 160 2009 2345 2365
34. J. Ignjatović, M. Ćirić, S. Bogdanović, and T. Petković Myhill-Nerode type theory for fuzzy languages and automata Fuzzy Sets Syst. 161 2010 1288 1324
35. L. Ilie, and S. Yu Constructing NFAs by optimal use of positions in regular expressions A. Apostolico, M. Takeda, CPM 2002 Lecture Notes in Computer Science vol. 2373 2002 Springer Berlin 279 288
36. L. Ilie, S. Yu, Algorithms for computing small NFAs, in: K. Diks, et al., (Eds.), MFCS 2002, Lecture Notes in Computer Science, vol. 2420, 2002, pp. 328-340.
37. L. Ilie, and S. Yu Reducing NFAs by invariant equivalences Theor. Comput. Sci. 306 2003 373 390
38. L. Ilie, and S. Yu Follow automata Inf. Comput. 186 2003 140 162
39. L. Ilie, G. Navarro, S. Yu, On NFA reductions, in: J. Karhumäki et al., (Eds.), Theory is Forever, Lecture Notes in Computer Science, vol. 3113, vol. 2004, pp. 112-124.
40. L. Ilie, R. Solis-Oba, S. Yu, Reducing the size of NFAs by using equivalences and preorders, in: A. Apostolico, M. Crochemore, K. Park, (Eds.), CPM 2005, Lecture Notes in Computer Science, vol. 3537, 2005, pp. 310-321.
41. T. Jiang, and B. Ravikumar Minimal NFA problems are hard SIAM J. Comput. 22 6 1993 1117 1141
42. T. Kameda, and P. Weiner On the state minimization of nondeterministic finite automata IEEE Trans. Comput. C-19 7 1970 617 627
43. P.C. Kannellakis, and S.A. Smolka CCS expressions, finite state processes, and three problems of equivalence Inf. Comput. 86 1990 43 68
44. E. Kilic Diagnosability of fuzzy discrete event systems Inf. Sci. 178 2008 858 870
45. G. Klir, and B. Yuan Fuzzy Sets and Fuzzy Logic 1995 Prentice-Hall PTR
46. H. Lei, and Y.M. Li Minimization of states in automata theory based on finite lattice-ordered monoids Inf. Sci. 177 2007 1413 1421
47. Y.M. Li, and W. Pedrycz Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids Fuzzy Sets Syst. 156 2005 68 92
48. F. Lin, H. Ying, Fuzzy discrete event systems and their observability, in: Proceedings of the 2001 IFSA/NAFIP Conference, 2001, pp. 1271-1276.
49. F. Lin, and H. Ying Modeling and control of fuzzy discrete event systems IEEE Trans. Man Syst. Cybern. - Part B 32 2002 408 415
50. F. Lin, H. Ying, R.D. MacArthur, J.A. Cohn, D. Barth-Jones, and L.R. Crane Decision making in fuzzy discrete event systems Inf. Sci. 177 2007 3749 3763
51. F. Liu, and D.W. Qiu Decentralized supervisory control of fuzzy discrete event systems Eur. J. Control 3 2008 234 243
52. F. Liu, and D.W. Qiu Diagnosability of fuzzy discrete event systems: a fuzzy approach IEEE Trans. Fuzzy Syst. 17 2 2009 372 384
53. J.P. Liu, and Y.M. Li The relationship of controllability between classical and fuzzy discrete-event systems Inf. Sci. 178 2008 4142 4151
54. N. Lynch, and F. Vaandrager Forward and backward simulations: Part I. Untimed systems Inf. Comput. 121 1995 214 233
55. D.S. Malik, J.N. Mordeson, and M.K. Sen Minimization of fuzzy finite automata Inf. Sci. 113 1999 323 330
56. R. Malik, D. Streader, S. Reeves, fair testing revisited: a process-algebraic characterisation of conflicts, in: F. Wang, (Ed.), ATVA 2004, Lecture Notes in Computer Science, vol. 3299, 2004, pp. 120-134.
57. B.F. Melnikov A new algorithm of the state-minimization for the nondeterministic finite automata Korean J. Comput. Appl. Math. 6 2 1999 277 290
58. B.F. Melnikov Once more about the state-minimization of the nondeterministic finite automata Korean J. Comput. Appl. Math. 7 3 2000 655 662
59. R. Milner A calculus of communicating systems G. Goos, J. Hartmanis, Lecture Notes in Computer Science vol. 92 1980 Springer
60. R. Milner Communication and Concurrency 1989 Prentice-Hall International
61. R. Milner Communicating and Mobile Systems: The π-Calculus 1999 Cambridge University Press Cambridge
62. J.N. Mordeson, and D.S. Malik Fuzzy Automata and Languages: Theory and Applications 2002 Chapman & Hall/CRC Boca Raton, London
63. R. Paige, and R.E. Tarjan Three partition refinement algorithms SIAM J. Comput. 16 6 1987 973 989
64. D. Park Concurrency and automata on infinite sequences P. Deussen, Proc. 5th GI Conf Lecture Notes in Computer Science vol. 104 1981 Springer-Verlag Karlsruhe, Germany 167 183
65. K. Peeva Finite L-fuzzy machines Fuzzy Sets Syst. 141 2004 415 437
66. I. Perfilieva Fuzzy function as an approximate solution to a system of fuzzy relation equations Fuzzy Sets Syst. 147 2004 363 383
67. I. Perfilieva, and S. Gottwald Solvability and approximate solvability of fuzzy relation equations Int. J. Gen. Syst. 32 2003 361 372
68. I. Perfilieva, and V. Novák System of fuzzy relation equations as a continuous model of IF-THEN rules Inf. Sci. 177 2007 3218 3227
69. T. Petković Congruences and homomorphisms of fuzzy automata Fuzzy Sets Syst. 157 2006 444 458
70. D.W. Qiu Automata theory based on completed residuated lattice-valued logic (I) Sci. China Ser. F 44 6 2001 419 429
71. D.W. Qiu Automata theory based on completed residuated lattice-valued logic (II) Sci. China Ser. F 45 6 2002 442 452
72. D.W. Qiu Characterizations of fuzzy finite automata Fuzzy Sets Syst. 141 2004 391 414
73. D.W. Qiu Supervisory control of fuzzy discrete event systems: a formal approach IEEE Trans. Syst. Man Cybern - Part B 35 2005 72 88
74. D.W. Qiu Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note Fuzzy Sets Syst. 157 2006 2128 2138
75. D.W. Qiu, and F.C. Liu Fuzzy discrete-event systems under fuzzy observability and a test algorithm IEEE Trans. Fuzzy Syst. 17 3 2009 578 589
76. F. Ranzato, and F. Tapparo Generalizing the PaigeTarjan algorithm by abstract interpretation Inf. Comput. 206 2008 620 651
77. M. Roggenbach, and M. Majster-Cederbaum Towards a unified view of bisimulation: a comparative study Theor. Comput. Sci. 238 2000 81 130
78. E. Sanchez Resolution of composite fuzzy relation equations Inf. Control 30 1976 38 48
79. D. Sangiorgi, On the Origins of Bisimulation, Coinduction, and Fixed Points, Technical Report UBLCS-2007-24, Department of Computer Science, University of Bologna, 2007.
80. H. Sengoku, Minimization of Nondeterministic Finite Automata, Master Thesis, Kyoto University, 1992.
81. L.H. Wu, and D.W. Qiu Automata theory based on complete residuated lattice-valued logic: reduction and minimization Fuzzy Sets Syst. 161 2010 1635 1656
82. H. Xing, and D.W. Qiu Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic Fuzzy Sets Syst. 160 2009 1141 1151
83. H. Xing, and D.W. Qiu Automata theory based on complete residuated lattice-valued logic: a categorical approach Fuzzy Sets Syst. 160 2009 2416 2428
84. H. Xing, D.W. Qiu, and F.C. Liu Automata theory based on complete residuated lattice-valued logic: pushdown automata Fuzzy Sets Syst. 160 2009 1125 1140
85. H. Xing, D.W. Qiu, F.C. Liu, and Z.J. Fan Equivalence in automata theory based on complete residuated lattice-valued logic Fuzzy Sets Syst. 158 2007 1407 1422
86. S. Yu Regular languages G. Rozenberg, A. Salomaa, Handbook of Formal Languages vol. 1 1997 Springer-Verlag Berlin - Heidelberg 41 110
87. L.A. Zadeh Toward a generalized theory of uncertainty (GTU) - an outline Inf. Sci. 172 2005 1 40
88. L.A. Zadeh Is there a need for fuzzy logic? Inf. Sci. 178 2008 2751 2779