Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information

DOI10.1109/TAC.2020.2970148OpenAlexW3003683895MaRDI QIDQ5853966

Hikmat Farhat

Publication date: 12 March 2021

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

Full work available at URL: https://doi.org/10.1109/tac.2020.2970148

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications

This page was built for publication: Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information