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]

Authors

Yuhao Zhang

This author has not been identified. Look up 'Yuhao Zhang' in Google

Hang Zhang

This author has not been identified. Look up 'Hang Zhang' in Google

Xiangru Xu

This author has not been identified. Look up 'Xiangru Xu' in Google