Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach

DOI10.1109/TAC.2023.3267397MaRDI QIDQ6575671zbMATH OpenFDO

Authors Bingzhuo Zhong, Majid Zamani, Marco Caccamo

Publication date 21 July 2024

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

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems with incomplete information (93C41)

This page was built for publication: Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach

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