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

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
• Development of concurrent structural decentralised discrete event system using bisimulation concept
• Control of Nondeterministic Discrete-Event Systems 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

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)