Controller synthesis for linear system with reach-avoid specifications
Name
Controller_synthesis_for_linear_system_with_reach_avoid_specifications_Submitted.pdf
Description
Accepted version
Size
1.43 MB
Format
Adobe PDF
Checksum (MD5)
7d03aa212a24ebf025110ebb671b5767
Author(s) • • • • •
Fan, Chuchu
Qin, Zengyi
Mathur, Umang
Ning, Qiang
Mitra, Sayan
Viswanathan, Mahesh
Date Issued
2022
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
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/TAC.2021.3069723