Controller synthesis for linear system with reach-avoid specifications

Author(s)
Fan, Chuchu; Qin, Zengyi; Mathur, Umang; Ning, Qiang; Mitra, Sayan; ... Show more
Thumbnail
DownloadAccepted version (1.430Mb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2022
URI
https://hdl.handle.net/1721.1/145645
Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Journal
IEEE Transactions on Automatic Control
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Fan, Chuchu, Qin, Zengyi, Mathur, Umang, Ning, Qiang, Mitra, Sayan et al. 2022. "Controller synthesis for linear system with reach-avoid specifications." IEEE Transactions on Automatic Control, 67 (4).
Version: Author's final manuscript
Collections