Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

DOI10.1109/TAC.2011.2161790zbMath1368.93397OpenAlexW2083917140MaRDI QIDQ5347940

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)

Related Items (5)

Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ 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 ⋮ Bisimilarity enforcing supervisory control for deterministic specifications ⋮ Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems

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