Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

DOI10.1109/TAC.2011.2161790MaRDI QIDQ5347940zbMATH OpenOpenAlexFDO

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

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

Cited in

(8)

• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Bisimilarity enforcing supervisory control for deterministic specifications
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• 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
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

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)