Analysis and control of fuzzy discrete event systems using bisimulation equivalence
DOI10.1016/J.TCS.2012.05.037zbMATH Open1256.93066OpenAlexW1968466783MaRDI QIDQ714871FDOQ714871
Qiansheng Zhang, Kaisheng Huang, Hongyan Xing
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
Recommendations
- Supervisory Control Theory of Fuzzy Discrete Event Systems
- Decentralized supervisory control of fuzzy discrete event systems
- Modular supervisory control of fuzzy discrete event systems
- State-feedback control of the fuzzy discrete event systems
- The relationship of controllability between classical and fuzzy discrete-event systems
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Fuzzy control/observation systems (93C42)
Cites Work
- Bisimulation for labelled Markov processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Discrete-event control of nondeterministic systems
- Computing with words in information/intelligent systems 1. Foundations
- Masked prioritized synchronization for interaction and control of discrete event systems
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
- Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
- Fuzzy discrete structures
Cited In (13)
- Coalgebras for fuzzy transition systems
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Characterization and computation of approximate bisimulations for fuzzy automata
- Supervisory control of fuzzy discrete event systems based on agent
- Bisimulations for fuzzy transition systems revisited
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Approximate bisimulation relations for fuzzy automata
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- The relationship of controllability between crisp and fuzzy discrete-event systems
- Further improvements of determinization methods for fuzzy finite automata
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
Uses Software
This page was built for publication: Analysis and control of fuzzy discrete event systems using bisimulation equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714871)
