Nonblocking check in fuzzy discrete event systems based on observation equivalence

DOI10.1016/j.fss.2014.11.013zbMath1360.68547OpenAlexW1971762305MaRDI QIDQ529370

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)

Related Items (3)

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

Uses Software

• UMDES

Cites Work

• Decentralized supervisory control of fuzzy discrete event systems
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• On the computation of observers in discrete-event systems
• Computing with words in information/intelligent systems 2. Applications
• Numerical simulation of the interactions among multiple turbulent swirling jets mounted in unbalanced positions
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Diagnosability of fuzzy discrete event systems
• 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
• Hierarchical interface-based supervisory control-part II: parallel case
• Fuzzy discrete structures
• Unnamed Item
• Unnamed Item

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