Simulation for lattice-valued doubly labeled transition systems

DOI10.1016/j.ijar.2013.11.009zbMath1316.68063OpenAlexW2088189255MaRDI QIDQ2353987

Yi-Xiang Chen, Min Zhang, Haiyu Pan, Yongzhi Cao

Publication date: 10 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.11.009

zbMATH Keywords

simulationfuzzy automatatransition systemsHennessy-Milner logicresiduated lattices

Mathematics Subject Classification ID

[https%3A%2F%2Fportal.mardi4nfdi.de%2Fw%2Findex.php%3Ftitle%3D%2BSpecial%253ASearch%26search%3DFormal+languages+and+automata%26go%3DGo Formal languages and automata (68Q45)] [https%3A%2F%2Fportal.mardi4nfdi.de%2Fw%2Findex.php%3Ftitle%3D%2BSpecial%253ASearch%26search%3DModels+and+methods+for+concurrent+and+distributed+computing+%28process+algebras%2C+bisimulation%2C+transition+nets%2C+etc.%29%26go%3DGo Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)]

Related Items (11)

Quantitative analysis of software approximate correctness ⋮ Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Lattice-valued simulations for quantitative transition systems ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ The approximate correctness of systems based on \(\delta\)-bisimulation ⋮ Logical characterizations of simulation and bisimulation for fuzzy transition systems ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Approximate bisimulation relations for fuzzy automata ⋮ Probabilistic model of software approximate correctness

Uses Software

• MAGIC

Cites Work

• Multi-valued model checking games
• Bisimulations for fuzzy automata
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra
• Formalization of implication based fuzzy reasoning method
• Metrics for weighted transition systems: axiomatization and complexity
• A state/event-based model-checking approach for the analysis of abstract system properties
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Quantitative analysis of weighted transition systems
• Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
• Data structures for symbolic multi-valued model-checking
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Automata theory based on complete residuated lattice-valued logic. II
• Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
• Approximate equivalence and synchronization of metric transition systems
• A note on Trillas' CHC models
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Logics for belief functions on MV-algebras
• Approximation and robustness of fuzzy finite automata
• Robustness analysis of full implication inference method
• Hierarchical structure and applications of fuzzy logical systems
• Concurrent software verification with states, events, and deadlocks
• Model checking discounted temporal properties
• An approach to measure the robustness of fuzzy reasoning
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• LATTICED SIMULATION RELATIONS AND GAMES
• Algebraic laws for nondeterminism and concurrency
• Three logics for branching bisimulation
• Reactive Systems
• Lattice Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simulation for lattice-valued doubly labeled transition systems