Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
From MaRDI portal
Publication:534301
Recommendations
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
- Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]
- Realization of bisimilarity control of nondeterministic discrete event systems
- Bisimilarity Control of Partially Observed Deterministic Systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
- Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
- Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
- The Verification and Control of Interacting Similar Discrete-Event Systems
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- Algebraic laws for nondeterminism and concurrency
- Bisimilar linear systems.
- Bisimulation and cocongruence for probabilistic systems
- Bisimulation indexes and their applications
- Bisimulation relations for dynamical, control, and hybrid systems
- Bisimulation relations for weighted automata
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Compositionality issues in discrete, continuous, and hybrid systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Controller synthesis for bisimulation equivalence
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Petri nets and bisimulation
- Safe Diagnosability of Stochastic Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
Cited in
(12)- On the stabilization of nondeterministic finite automata via static output feedback
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Cooperative tasking for deterministic specification automata
- Realization of bisimilarity control of nondeterministic discrete event systems
- 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]
- Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
This page was built for publication: Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534301)