Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
DOI10.1016/J.AUTOMATICA.2011.01.066zbMATH Open1215.93084OpenAlexW2093392395MaRDI QIDQ534301FDOQ534301
Authors: Fuchun Liu, Zbigniew Dziong, Hai Lin 
Publication date: 17 May 2011
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2011.01.066
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
partial observationsdiscrete event systemssupervisory controlbisimulation equivalencenondeterministic systems
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Cites Work
- Bisimilar linear systems.
- Bisimulation and cocongruence for probabilistic systems
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Bisimulation relations for weighted automata
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Bisimulation indexes and their applications
- Bisimulation relations for dynamical, control, and hybrid systems
- Petri nets and bisimulation
- Controller synthesis for bisimulation equivalence
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Safe Diagnosability of Stochastic Discrete Event Systems
- Compositionality issues in discrete, continuous, and hybrid systems
- Control of discrete-event systems with partial observations using coalgebra and coinduction
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
Uses Software
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)
