Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence

DOI10.1002/asjc.1253zbMath1347.93173OpenAlexW2279979168MaRDI QIDQ2828481

Fuchun Liu, Taizhe Tan, Rui Zhao, Qian-Sheng Zhang

Publication date: 26 October 2016

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.1253

zbMATH Keywords

discrete-event systemsbisimulation equivalencenon-deterministic systemsdecentralized supervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Related Items

Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures

Uses Software

• UMDES

Cites Work

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Reliable supervisory control for general architecture of decentralized discrete event systems
• Control of discrete-event systems with partial observations using coalgebra and coinduction
• Bisimilar linear systems.
• Bisimulation indexes and their applications
• A general architecture for decentralized supervisory control of discrete-event systems
• Bisimulation relations for weighted automata
• Controller synthesis for bisimulation equivalence
• Bisimulation relations for dynamical, control, and hybrid systems
• Introduction to Discrete Event Systems
• Think globally, act locally: decentralized supervisory control
• Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets