Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

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

zbMATH Keywords

supervisory controldiscrete event systemspartial observationsbisimulation equivalencenondeterministic systems

Mathematics Subject Classification ID

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

• UMDES

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