Controller Synthesis for Linear System With Reach-Avoid Specifications

DOI10.1109/TAC.2021.3069723OpenAlexW3150266660MaRDI QIDQ5092060

Zengyi Qin, Umang Mathur, Chuchu Fan, Mahesh Viswanathan, Qiang Ning, Sayan Mitra

Publication date: 28 July 2022

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

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

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

This page was built for publication: Controller Synthesis for Linear System With Reach-Avoid Specifications