Realization of bisimilarity control of nondeterministic discrete event systems
From MaRDI portal
Recommendations
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Bisimilarity enforcing supervisory control for deterministic specifications
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
Cited in
(8)- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Bisimilarity enforcing supervisory control for deterministic specifications
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- 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
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
This page was built for publication: Realization of bisimilarity control of nondeterministic discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3194124)
