Controller Synthesis for Linear System With Reach-Avoid Specifications

DOI10.1109/TAC.2021.3069723MaRDI QIDQ5092060zbMATH OpenOpenAlexFDO

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

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)

Cited in

(4)

• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Explicit Construction of Stabilizing Robust Avoidance Controllers for Linear Systems With Drift
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Controller synthesis made real: reach-avoid specifications and linear dynamics

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

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