Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
From MaRDI portal
Publication:5281829
DOI10.1109/TAC.2006.875036zbMath1366.93372OpenAlexW4251892696MaRDI QIDQ5281829
Changyan Zhou, Shengbing Jiang, Ratnesh Kumar
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2006.875036
Controllability (93B05) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)
Related Items (14)
Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ 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 ⋮ 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] ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm ⋮ Analysis and control of fuzzy discrete event systems using bisimulation equivalence ⋮ Model matching of switched asynchronous sequential machines via matrix approach ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Controller synthesis for bisimulation equivalence ⋮ Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems ⋮ Fault-tolerant cooperative tasking for multi-agent systems ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
This page was built for publication: Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
