Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

DOI10.1109/TAC.2006.875036zbMATH Open1366.93372OpenAlexW4251892696MaRDI QIDQ5281829FDOQ5281829

Authors: 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

Recommendations

• Realization of bisimilarity control of nondeterministic discrete event systems
• Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
• Controller synthesis for bisimulation equivalence
• Discrete-event control of nondeterministic systems
• Bisimulation relations for dynamical and control systems
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence

Mathematics Subject Classification ID

Controllability (93B05) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Cited In (17)

• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Bisimulation relations for dynamical and control systems
• Fault-tolerant cooperative tasking for multi-agent systems
• Compatibility of refining and controlling plant automata with bisimulation quotients
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• 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]
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• Controller synthesis 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
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
• Model matching of switched asynchronous sequential machines via matrix approach

This page was built for publication: Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281829)