Bisimilarity Control of Partially Observed Deterministic Systems

DOI10.1109/TAC.2007.904470MaRDI QIDQ5282228zbMATH OpenFDO

Authors Changyan Zhou, Ratnesh Kumar

Publication date 27 July 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2007.904470

Mathematics Subject Classification ID

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

Cited in

(3)

• scientific article; zbMATH DE number 1794369 (Why is no real title available?)
• 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

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)