Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

DOI10.1109/TAC.2011.2161790zbMATH Open1368.93397OpenAlexW2083917140MaRDI QIDQ5347940FDOQ5347940

Authors: Changyan Zhou, Ratnesh Kumar 

Publication date: 25 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2011.2161790

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Bisimilarity enforcing supervisory control for deterministic specifications
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• 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

This page was built for publication: Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

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