Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes

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]

Abstract

Abstract is missing.