Analysis and control of fuzzy discrete event systems using bisimulation equivalence

DOI10.1016/J.TCS.2012.05.037MaRDI QIDQ714871zbMATH OpenOpenAlexFDO

Authors Hongyan Xing, Kaisheng Huang, Qiansheng 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

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)

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

Cites work

• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• Bisimulation for labelled Markov processes
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
• Computing with words in information/intelligent systems 1. Foundations
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Diagnosability of discrete-event systems
• Discrete-event control of nondeterministic systems
• Fuzzy discrete structures
• Masked prioritized synchronization for interaction and control of discrete event systems
• Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization

Cited in

(17)

• Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
• Bisimulations for fuzzy transition systems revisited
• Coalgebras for fuzzy transition systems
• State-feedback control of the fuzzy discrete event systems
• Approximate bisimulation relations for fuzzy automata
• Further improvements of determinization methods for fuzzy finite automata
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Decentralized supervisory control of fuzzy discrete event systems
• Supervisory control of fuzzy discrete event systems based on agent
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
• The relationship of controllability between crisp and fuzzy discrete-event systems
• Characterization and computation of approximate bisimulations for fuzzy automata
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Supervisory Control Theory of Fuzzy Discrete Event Systems
• Nonblocking check in fuzzy discrete event systems based on observation equivalence
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• The relationship of controllability between classical and fuzzy discrete-event systems

Describes a project that uses

Uses Software

• UMDES

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)