Coalgebras for fuzzy transition systems

DOI10.1016/j.entcs.2014.01.008zbMath1337.68194OpenAlexW2052776783WikidataQ113317915 ScholiaQ113317915MaRDI QIDQ276401

Hengyang Wu, Yi-Xiang Chen

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.01.008

zbMATH Keywords

coalgebraweak pullbackfinal coalgebrafuzzy bisimulationfuzzy transition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

On the category of \(L\)-fuzzy automata, coalgebras and dialgebras, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Column stacking approach to resolution of systems of fuzzy relational inequalities

Cites Work

• Unnamed Item
• Bisimulations for fuzzy automata
• Probabilistic systems coalgebraically: a survey
• Nondeterministic fuzzy automata
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Stochastic coalgebraic logic
• Universal coalgebra: A theory of systems
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Final coalgebras and the Hennessy-Milner property
• A final coalgebra theorem
• Functors for coalgebras