Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.

Yuhao Zhang Hang Zhang Xiangru Xu

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

reachability analysis
neural network
complex systems
biologically inspired
computer systems
artificial intelligence
objective function
expert systems
low cost
bio inspired
human operators