Nonblocking check in fuzzy discrete event systems based on observation equivalence

DOI10.1016/J.FSS.2014.11.013MaRDI QIDQ529370zbMATH OpenOpenAlexFDO

Authors Xuesong Chen, Hongyan Xing

Publication date 18 May 2017

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2014.11.013

zbMATH Keywords

automaton abstractionsfuzzy discrete-event systemsnonblocking checkobservation equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Supervisory Control Theory of Fuzzy Discrete Event Systems
• Diagnosability of fuzzy discrete event systems
• Decentralized supervisory control of fuzzy discrete event systems

Cites work

• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Computing with words in information/intelligent systems 2. Applications
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Decentralized supervisory control of fuzzy discrete event systems
• Diagnosability of discrete-event systems
• Diagnosability of fuzzy discrete event systems
• Discrete-event control of nondeterministic systems
• Fuzzy discrete structures
• Hierarchical interface-based supervisory control-part II: parallel case
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• Masked prioritized synchronization for interaction and control of discrete event systems
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Numerical simulation of the interactions among multiple turbulent swirling jets mounted in unbalanced positions
• On the computation of observers in discrete-event systems
• Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization

Cited in

(6)

• Characterization and computation of approximate bisimulations for fuzzy automata
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
• Further improvements of determinization methods for fuzzy finite automata
• Breadth-first fuzzy bisimulations for fuzzy automata
• Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Nonblocking check in fuzzy discrete event systems based on observation equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q529370)