Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

DOI10.1109/TAC.2006.875036MaRDI QIDQ5281829zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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
• 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]
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• 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)