Controller synthesis for linear system with reach-avoid specifications
Author(s)
Fan, Chuchu; Qin, Zengyi; Mathur, Umang; Ning, Qiang; Mitra, Sayan; Viswanathan, Mahesh; ... Show more Show less
DownloadAccepted version (1.430Mb)
Open Access Policy
Open Access Policy
Creative Commons Attribution-Noncommercial-Share Alike
Terms of use
Metadata
Show full item recordDate issued
2022Department
Massachusetts Institute of Technology. Department of Aeronautics and AstronauticsJournal
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