Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
DOI10.1002/ASJC.1253zbMATH Open1347.93173OpenAlexW2279979168MaRDI QIDQ2828481FDOQ2828481
Fuchun Liu, Taizhe Tan, Qiansheng Zhang, Rui Zhao
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
Recommendations
- Realization of bisimilarity control of nondeterministic discrete event systems
- Bisimilarity enforcing supervisory control for deterministic specifications
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
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)
Cites Work
- Bisimilar linear systems.
- Introduction to Discrete Event Systems
- Bisimulation relations for weighted automata
- A general architecture for decentralized supervisory control of discrete-event systems
- Bisimulation indexes and their applications
- Think globally, act locally: decentralized supervisory control
- Bisimulation relations for dynamical, control, and hybrid systems
- Controller synthesis for bisimulation equivalence
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Reliable supervisory control for general architecture of decentralized discrete event systems
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
- Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets
Cited In (3)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
Uses Software
This page was built for publication: Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828481)
