18 citations · 49 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.OC2022★ 15 cited
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
Yuhao Zhang, Xiangru Xu
Hybrid zonotopes generalize constrained zonotopes by introducing additional binary variables and possess some unique properties that make them convenient to represent nonconvex set…
math.OC2022★ 18 cited
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
Yuhao Zhang, Xiangru Xu
Artificial neural networks have recently been utilized in many feedback control systems and introduced new challenges regarding the safety of such systems. This paper considers the…