Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information

DOI10.1109/TAC.2020.2970148MaRDI QIDQ5853966zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(7)

• scientific article; zbMATH DE number 1794369 (Why is no real title available?)
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Bisimulation relations for dynamical and control systems
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Controller synthesis for bisimulation equivalence
• Approximate bisimulation: a bridge between computer science and control theory

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

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