Restricted cascade and wreath products of fuzzy finite switchboard state machines

Document Type : Original Manuscript

Authors

1 Universiti Tun Hussein Onn Malaysia

2 Indian School of Mines Dhanbad

3 Department of Mathematics and Statistics, Faculty of Science, Technology and Human Development, Universiti Tun Hussein Onn Malaysia

4 DEPARTMENT OF MATHEMATICS, SCHOOL OF ADVANCED SCIENCES, VIT UNIVERSITY, VELLORE-632014

Abstract

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of fuzzy finite switchboard state machines. More precisely, we study that the direct products/Cartesian compositions of two such fuzzy finite switchboard state machines is again a fuzzy finite switchboard state machine. In addition, we introduce the perfect switchboard machine and establish its Cartesian composition. The relations among the products also been examined. Finally, we introduce asynchronous fuzzy finite switchboard state machine and study the switching homomorphic image of asynchronous fuzzy finite switchboard state machine. We illustrate the definition of a restricted product of fuzzy finite switchboard state machine with the single pattern example. 

Keywords


[1] Y.Cao, G. Chen, E. Kerre, Bisimulations for fuzzy-transition systems, IEEE Trans actions on Fuzzy Systems, 19(3) (2011), 540–552.
[2] Y. Cao, Y. Ezawac, Nondeterministic fuzzy automata, Information Sciences, 191 (2012), 86–97.
[3] Y. Cao, S. Sun, H. Wang, G. Chen, A behavioral distance for fuzzy transition systems, IEEE Transactions on Fuzzy Systems, 21(4) (2013), 735–747.
[4] P. Das, A fuzzy topology associated with a fuzzy finite state machine, Fuzzy Sets and Systems, 105(3) (1999), 469–479.
[5] W. Deng, D. W. Qiu, Supervisory control of fuzzy discrete event systems for simulation equivalence, IEEE Transactions on Fuzzy Systems, 23(1) (2015), 178–192.
[6] W. Deng, D. W. Qiu, Bi-fuzzy discrete event systems and their supervisory control theory, IEEE Transactions on Fuzzy Systems, 23(6) (2015), 2107–2121.
[7] W. Deng, D. W. Qiu, State-based decentralized diagnosis of bi-fuzzy discrete event systems, IEEE Transactions on Fuzzy Systems, 25(4) (2017), 854–867.
[8] J. Ignjatović, M. Ćirić, V. Simović, Fuzzy relation equations and subsystems of fuzzy transition systems, Knowledgebased Systems, 38 (2013), 48–61.
[9] B. Imreh, Some remarks on asynchronous automata, In: Lecture Notes in Computer Science, 2450(2003), 253–262.
[10] Y. Inagaki, On synchronized evolution of the network of automata, IEEE Transactions on Evolutionary Computation, 6(2) (2002), 147–158.
[11] J. Jin, Q. Li, Y. Li, Algebraic properties of L-fuzzy finite automata, Information Sciences, 234 (2013), 182–202.
[12] Y. B. Jun, Intuitionistic fuzzy finite switchboard state machines, Journal of Applied Mathematics and Computation, 20(1-2) (2006), 315–325.
[13] Y. B. Jun, J. Kavikumar, Bipolar fuzzy finite state machines, Bulletin of the Malaysian Mathematical Sciences Society, 34(1) (2011), 181–188.
[14] J. Kavikumar, A. Khamis, R. Roslan, Bipolar-valued fuzzy finite switchboard state machines, Lecture Notes in Engineering and Computer Science, 2200(1) (2012), 571–576.
[15] H. V. Kumbhojkar, S. R. Chaudhari, On covering of products of fuzzy finite state machines, Fuzzy Sets and Systems, 125(2) (2002), 215–222.
[16] L. Li, D. W. Qiu, On the state minimization of fuzzy automata, IEEE Trans actions on Fuzzy System, 23(2) (2015), 434–443.
[17] Y. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 156 (2005), 68–92.
[18] Y. Li, Q. Wang, The universal fuzzy automaton, Fuzzy Sets and Systems, 249 (2014), 27–48.
[19] Y. Li, Quantitative model checking of linear-time properties based on generalized possibility measures, Fuzzy Sets and Systems, 320 (2017), 17–39.
[20] Y. Li, M. Droste, L. Lei, Model checking of linear-time properties in multi-valued systems, Information Sciences, 377 (2017), 51–74.
[21] F. C. Liu, D. W. Qiu, Diagnosability of fuzzy discrete-event systems: a fuzzy approach, IEEE Transactions on Fuzzy Systems, 17(2) (2009), 372–384.
[22] D. S. Malik, J. N. Mordeson, M. K. Sen, Submachines of fuzzy finite state machines, J. Fuzzy Mathematics, 2(4) (1994), 781–792.
[23] D. S. Malik, J. N. Mordeson, M. K. Sen, On subsystems of a fuzzy finite state machines, Fuzzy Sets and Systems, 68(1) (1994), 83–92.
[24] D. S. Malik, J. N. Mordeson, M. K. Sen, Products of fuzzy finite state machines, Fuzzy Sets and Systems, 92(1) (1997), 95–102.
[25] D. S. Malik, J. N. Mordeson, On fuzzy recognizer, Kybernets, 28 (1999), 47–60.
[26] J. N. Mordeson, D. S. Malik, Fuzzy Automata and Languages, Theory and Applications, Chapman and Hall/CRC, London/Boca Raton, FL, 2002.
[27] D. W. Qiu, Automata theory based on complete residuated lattice-valued logic, Science in China (Series F: Information Sciences), 44(6) (2001), 419–429.
[28] D. W. Qiu, Automata theory based on complete residuated lattice-valued logic (II), Science in China(Series F: Information Sciences), 45(6) (2002), 442–452.
[29] D. W. Qiu, Characterizations of fuzzy finite automata, Fuzzy Sets and Systems, 141(3) (2004), 391–414.
[30] D. W. Qiu, Supervisory control of fuzzy discrete event systems: a formal approach, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 35(1) (2005), 72–88.
[31] D. W. Qiu, Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note, Fuzzy Sets and Systems, 157 (2006), 2128–2138.
[32] D. W. Qiu, F. C. Liu, Fuzzy discrete event systems under fuzzy observability and a test-algorithm, IEEE Trans actions on Fuzzy Systems, 17(3) (2009), 578–589.
[33] S. Ramnath, B. Dathan, Pattern integration: emphasizing the de-coupling of software subsystems in conjunction with the use of design patterns, J. Object Technology, 2(2) (2003), 7–16.
[34] Y. Sato, N. Kuroki, Fuzzy finite switchboard state machines, J. Fuzzy Mathematics, 10(4) (2002), 863–874.
[35] A. K. Srivastava, S. P. Tiwari, On relationships among fuzzy approximation operators, fuzzy topology, and fuzzy automata, Fuzzy Sets and Systems, 138(1) (2003), 197–204.
[36] J. Tian, X. Zhao, Representations of commutative asynchronous automata, Journal of Computer and System Sciences, 78 (2012), 504–516.
[37] W. G. Wee, On Generalizations of Adaptive Algorithm and Application of the Fuzzy Sets Concept to Pattern Classification, Ph.D. Thesis, Purdue University, 1967.
[38] L. H. Wu, D. W. Qiu, Automata theory based on complete residuated lattice-valued logic: reduction and minimization, Fuzzy Sets and Systems, 161 (2010), 1635–1656.
[39] L. A. Zadeh, Fuzzy sets, Information & Control, 8 (1965), 338–353.