Yuhao Zhang, Hang Zhang, Xiangru Xu. Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. IEEE Control Systems Letters, 7:2779-2784, 2023. [doi]
@article{ZhangZX23-3,
title = {Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes},
author = {Yuhao Zhang and Hang Zhang and Xiangru Xu},
year = {2023},
doi = {10.1109/LCSYS.2023.3289572},
url = {https://doi.org/10.1109/LCSYS.2023.3289572},
researchr = {https://researchr.org/publication/ZhangZX23-3},
cites = {0},
citedby = {0},
journal = {IEEE Control Systems Letters},
volume = {7},
pages = {2779-2784},
}