{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:18Z","timestamp":1762459938700,"version":"build-2065373602"},"reference-count":39,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T00:00:00Z","timestamp":1611878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100007162","name":"Guangdong Science and Technology Department","doi-asserted-by":"publisher","award":["2018B010107004"],"award-info":[{"award-number":["2018B010107004"]}],"id":[{"id":"10.13039\/501100007162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772038, 61532019 and 61272160"],"award-info":[{"award-number":["61772038, 61532019 and 61272160"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematics"],"abstract":"<jats:p>The coalgebraic method is of great significance to research in process algebra, modal logic, object-oriented design and component-based software engineering. In recent years, fuzzy control has been widely used in many fields, such as handwriting recognition and the control of robots or air conditioners. It is then an interesting topic to analyze the behavior of fuzzy automata from a coalgebraic point of view. This paper models different types of fuzzy automata as coalgebras with a monad structure capturing fuzzy behavior. Based on the coalgebraic models, we can define a notion of fuzzy language and consider several versions of bisimulation for fuzzy automata. A group of combinators is defined to compose fuzzy automata of two branches: state transition and output function. A case study illustrates the coalgebraic models proposed and their composition.<\/jats:p>","DOI":"10.3390\/math9030272","type":"journal-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T09:25:22Z","timestamp":1611912322000},"page":"272","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Fuzzy Automata as Coalgebras"],"prefix":"10.3390","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8222-2157","authenticated-orcid":false,"given":"Ai","family":"Liu","sequence":"first","affiliation":[{"name":"Graduate School of Advanced Science and Engineering, Hiroshima University, Hiroshima 739-8511, Japan"}]},{"given":"Shun","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Peking University, Beijing 100871, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Luis Soares","family":"Barbosa","sequence":"additional","affiliation":[{"name":"INL (International Iberian Nanotechnology Laboratory) &amp; INESC TEC, Universidade do Minho, 4704-553 Braga, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6550-7396","authenticated-orcid":false,"given":"Meng","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Peking University, Beijing 100871, China"}]}],"member":"1968","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"ref_1","unstructured":"Tanaka, K. (1997). An Introduction to Fuzzy Logic for Practical Applications, Springer."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/52.329401","article-title":"Soft Computing and Fuzzy Logic","volume":"11","author":"Zadeh","year":"1994","journal-title":"IEEE Softw."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Syropoulos, A., and Grammenos, T. (2020). Fuzzy Computation, John Wiley & Sons. A Modern Introduction to Fuzzy Mathematics.","DOI":"10.1002\/9781119445326"},{"key":"ref_4","first-page":"8834901","article-title":"Fuzzy Principal Component Analysis Model on Evaluating Innovation Service Capability","volume":"2020","author":"Wu","year":"2020","journal-title":"Sci. Program."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1109\/TSE.2017.2785841","article-title":"Coverage-Based Greybox Fuzzing as Markov Chain","volume":"45","author":"Pham","year":"2019","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_6","first-page":"55","article-title":"Introduction to Fuzzy Control","volume":"Volume 16","author":"Simon","year":"2003","journal-title":"Embedded Systems Programming"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","article-title":"New directions in fuzzy automata","volume":"38","author":"Doostfatemeh","year":"2005","journal-title":"Int. J. Approx. Reason."},{"key":"ref_8","first-page":"375","article-title":"On fuzzy Mealy and Moore machines","volume":"4","author":"Chaudhari","year":"2010","journal-title":"Bull. Pure Appl. Math"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1108\/03684929610116392","article-title":"Fuzzy Mealy machines","volume":"25","author":"Mordeson","year":"1966","journal-title":"Kybernetes"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"953","DOI":"10.1007\/s00500-005-0022-x","article-title":"The equivalence between fuzzy Mealy and fuzzy Moore machines","volume":"10","author":"Li","year":"2006","journal-title":"Soft Comput."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Todinca, D., Sora, I., Butoianu, D., and Precup, R. (2018, January 17\u201319). A Novel Method to Compute the Membership Value of the States of Fuzzy Automata. Proceedings of the 2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI), Timisoara, Romania.","DOI":"10.1109\/SACI.2018.8440929"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.ijar.2016.11.020","article-title":"Nondeterministic fuzzy automata with membership values in complete residuated lattices","volume":"82","author":"Pan","year":"2017","journal-title":"Int. J. Approx. Reason."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Tiwari, S.P., and Pal, P. (2019). On a category of deterministic fuzzy automata. 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), Atlantis Press. Atlantis Studies in Uncertainty Modelling.","DOI":"10.2991\/eusflat-19.2019.31"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1080\/03081079.2019.1585431","article-title":"Monads and a common framework for fuzzy type automata","volume":"48","author":"Mockor","year":"2019","journal-title":"Int. J. Gen. Syst."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1142\/S1793005720500222","article-title":"Fuzzy Regular Languages Based on Residuated Lattice","volume":"16","author":"Singh","year":"2020","journal-title":"New Math. Nat. Comput."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.fss.2019.07.010","article-title":"Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures","volume":"391","author":"Yang","year":"2020","journal-title":"Fuzzy Sets Syst."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"2017","DOI":"10.1109\/TFUZZ.2017.2760278","article-title":"\u03f5-Bisimulation Relations for Fuzzy Automata","volume":"26","author":"Yang","year":"2018","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"4535","DOI":"10.1007\/s00500-017-2913-z","article-title":"Approximate bisimulation relations for fuzzy automata","volume":"22","author":"Yang","year":"2018","journal-title":"Soft Comput."},{"key":"ref_19","first-page":"194","article-title":"Automata and coinduction (an exercise in coalgebra)","volume":"Volume 1466","author":"Rutten","year":"1998","journal-title":"International Conference on Concurrency Theory, Proceedings of the CONCUR 1998: CONCUR\u201998 Concurrency Theory, Nice, France, 8\u201311 September 1998"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: A theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theor. Comput. Sci."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Jacobs, B. (2016). Introduction to Coalgebra: Towards Mathematics of States and Observation, Cambridge University Press. Cambridge Tracts in Theoretical Computer Science.","DOI":"10.1017\/CBO9781316823187"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Silva, A., Bonchi, F., Bonsangue, M.M., and Rutten, J.J.M.M. (2013). Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci., 9.","DOI":"10.2168\/LMCS-9(1:9)2013"},{"key":"ref_23","unstructured":"Sokolova, A. (2005). Coalgebraic Analysis of Probabilistic Systems. [Ph.D. Thesis, Technische Universiteit Eindhoven]."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/978-3-319-46750-4_22","article-title":"Hybrid Automata as Coalgebras","volume":"Volume 9965","author":"Neves","year":"2016","journal-title":"International Colloquium on Theoretical Aspects of Computing, Proceedings of the ICTAC 2016: Theoretical Aspects of Computing, Taipei, Taiwan, 24\u201331 October 2016"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.tcs.2017.09.038","article-title":"Languages and models for hybrid automata: A coalgebraic perspective","volume":"744","author":"Neves","year":"2018","journal-title":"Theor. Comput. Sci."},{"key":"ref_26","first-page":"387","article-title":"A Coalgebraic Semantics Framework for Quantum Systems","volume":"Volume 11852","author":"Liu","year":"2019","journal-title":"International Conference on Formal Engineering Methods, Proceedings of the ICFEM 2019: Formal Methods and Software Engineering, Shenzhen, China, 5\u20139 November 2019"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2400676.2400680","article-title":"Bisimulation for Quantum Processes","volume":"34","author":"Feng","year":"2012","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Inf. Comput."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/S1571-0661(04)80562-0","article-title":"Bisimulation Relations for Dynamical and Control Systems","volume":"69","author":"Haghverdi","year":"2002","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"ref_30","first-page":"276","article-title":"Invariants, Bisimulations and the Correctness of Coalgebraic Refinements","volume":"Volume 1349","author":"Jacobs","year":"1997","journal-title":"International Conference on Algebraic Methodology and Software Technology, Proceedings of the AMAST 1997: Algebraic Methodology and Software Technology, Sydney, Australia, 13\u201317 December 1997"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1570-2464(07)80009-7","article-title":"Algebras and coalgebras","volume":"Volume 3","author":"Venema","year":"2007","journal-title":"Handbook of Modal Logic"},{"key":"ref_32","unstructured":"Barbosa, L.S. (2001). Components as Coalgebras. [Ph.D. Thesis, Universidade do Minho]."},{"key":"ref_33","unstructured":"Guilherme, R.J.P. (2016). A Coalgebraic Approach to Fuzzy Automata. [Ph.D. Thesis, Universidade Nova De Lisboa]."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.entcs.2014.01.008","article-title":"Coalgebras for Fuzzy Transition Systems","volume":"301","author":"Wu","year":"2014","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/j.fss.2017.02.008","article-title":"Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems","volume":"333","author":"Wu","year":"2018","journal-title":"Fuzzy Sets Syst."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ijar.2018.04.010","article-title":"Bisimulations for fuzzy transition systems revisited","volume":"99","author":"Wu","year":"2018","journal-title":"Int. J. Approx. Reason."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Nikravesh, M., Kacprzyk, J., and Zadeh, L.A. (2007). Forging New Frontiers: Fuzzy Pioneers I, University of California.","DOI":"10.1007\/978-3-540-73182-5"},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.tcs.2005.09.072","article-title":"Components as coalgebras: The refinement dimension","volume":"351","author":"Meng","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S1571-0661(04)00138-0","article-title":"The role of observations in probabilistic open systems","volume":"25","author":"Narasimha","year":"1999","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2227-7390\/9\/3\/272\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:17:14Z","timestamp":1760159834000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2227-7390\/9\/3\/272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,29]]},"references-count":39,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,2]]}},"alternative-id":["math9030272"],"URL":"https:\/\/doi.org\/10.3390\/math9030272","relation":{},"ISSN":["2227-7390"],"issn-type":[{"type":"electronic","value":"2227-7390"}],"subject":[],"published":{"date-parts":[[2021,1,29]]}}}