Bisimilarity enforcing supervisory control for deterministic specifications
From MaRDI portal
(Redirected from Publication:463845)
Abstract: This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a necessary and sufficient condition for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a supervisor achieving bisimulation equivalence is constructed. Furthermore, when the existence condition does not hold, two different methods are provided for synthesizing maximal permissive sub-specifications.
Recommendations
- Realization of bisimilarity control of nondeterministic discrete event systems
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
Cites work
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Controller synthesis for bisimulation equivalence
- Guaranteed global performance through local coordinations
- Introduction to Discrete Event Systems
- Linear Time Logic Control of Discrete-Time Linear Systems
Cited in
(5)- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Realization of bisimilarity control of nondeterministic discrete event systems
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
This page was built for publication: Bisimilarity enforcing supervisory control for deterministic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q463845)
