Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
From MaRDI portal
(Redirected from Publication:2828481)
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
Cites work
- A general architecture for decentralized supervisory control of discrete-event systems
- Bisimilar linear systems.
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Bisimulation indexes and their applications
- Bisimulation relations for dynamical, control, and hybrid systems
- Bisimulation relations for weighted automata
- Confusion diagnosis and control of discrete event systems using synchronized Petri nets
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Controller synthesis for bisimulation equivalence
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Introduction to Discrete Event Systems
- Reliable supervisory control for general architecture of decentralized discrete event systems
- Think globally, act locally: decentralized supervisory control
Cited in
(6)- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Realization of bisimilarity control of nondeterministic discrete event systems
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- Bisimilarity enforcing supervisory control for deterministic specifications
- Development of concurrent structural decentralised discrete event system using bisimulation concept
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
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)
