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

DOI10.1109/TAC.2023.3267397zbMATH Open1546.93193MaRDI QIDQ6575671FDOQ6575671

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)