Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence
From MaRDI portal
Publication:2828481
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
discrete-event systemsbisimulation equivalencenon-deterministic systemsdecentralized supervisory control
Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Related Items
Uses Software
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
