1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.OC2023
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
Yuhao Zhang, Hang Zhang, Xiangru Xu
The proliferation of neural networks in safety-critical applications necessitates the development of effective methods to ensure their safety. This letter presents a novel approach…
eess.SY2022★ 1 cited
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin +1
Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorit…