Bisimilarity Control of Partially Observed Deterministic Systems

DOI10.1109/TAC.2007.904470zbMATH Open1366.93371MaRDI QIDQ5282228FDOQ5282228

Authors: Changyan Zhou, Ratnesh Kumar 

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

Controllability (93B05) Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65)

Cited In (3)

• Title not available (Why is that?)
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

This page was built for publication: Bisimilarity Control of Partially Observed Deterministic Systems

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