Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
From MaRDI portal
Publication:534301
DOI10.1016/j.automatica.2011.01.066zbMath1215.93084OpenAlexW2093392395MaRDI QIDQ534301
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
supervisory controldiscrete event systemspartial observationsbisimulation equivalencenondeterministic systems
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Related Items
Cooperative Tasking for Deterministic Specification Automata, 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], On the stabilization of nondeterministic finite automata via static output feedback, Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Petri nets and bisimulation
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Bisimilar linear systems.
- Bisimulation indexes and their applications
- Bisimulation relations for weighted automata
- Bisimulation and cocongruence for probabilistic systems
- Controller synthesis for bisimulation equivalence
- Bisimulation relations for dynamical, control, and hybrid systems
- Compositionality issues in discrete, continuous, and hybrid systems
- Supervisory Control of a Class of Discrete Event Processes
- Algebraic laws for nondeterminism and concurrency
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Safe Diagnosability of Stochastic Discrete Event Systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
