Analysis and control of fuzzy discrete event systems using bisimulation equivalence

DOI10.1016/j.tcs.2012.05.037zbMath1256.93066OpenAlexW1968466783MaRDI QIDQ714871

Kaisheng Huang, Hongyan Xing, Qian-Sheng Zhang

Publication date: 11 October 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.05.037

zbMATH Keywords

supervisory controlbisimulation equivalencefuzzy discrete event system (FDES)

Mathematics Subject Classification ID

Fuzzy control/observation systems (93C42) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Coalgebras for fuzzy transition systems, Bisimulations for fuzzy transition systems revisited, Characterization and computation of approximate bisimulations for fuzzy automata, Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Further improvements of determinization methods for fuzzy finite automata, Nonblocking check in fuzzy discrete event systems based on observation equivalence, Approximate bisimulation relations for fuzzy automata

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing with words in information/intelligent systems 1. Foundations
• Bisimulation for labelled Markov processes
• Masked prioritized synchronization for interaction and control of discrete event systems
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
• Discrete-event control of nondeterministic systems
• Diagnosability of discrete-event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Fuzzy discrete structures