We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

Abstract: We propose a novel Branch-and-Bound method for reachability analysis of neural networks in both open-loop and closed-loop settings. Our idea is to first compute accurate bounds on the Lipschitz constant of the neural network in certain directions of interest offline using a convex program. We then use these bounds to obtain an instantaneous but conservative polyhedral approximation of the reachable set using Lipschitz continuity arguments. To reduce conservatism, we incorporate our bounding algorithm within a branching strategy to decrease the over-approximation error within an arbitrary accuracy. We then extend our method to reachability analysis of control systems with neural network controllers. Finally, to capture the shape of the reachable sets as accurately as possible, we use sample trajectories to inform the directions of the reachable set over-approximations using Principal Component Analysis (PCA). We evaluate the performance of the proposed method in several open-loop and closed-loop settings.
Subjects: Systems and Control (eess.SY); Robotics (cs.RO)
Cite as: arXiv:2211.00608 [eess.SY]
  (or arXiv:2211.00608v3 [eess.SY] for this version)

Submission history

From: Taha Entesari [view email]
[v1] Tue, 1 Nov 2022 17:22:19 GMT (289kb,D)
[v2] Tue, 7 Mar 2023 16:07:28 GMT (394kb,D)
[v3] Tue, 18 Apr 2023 19:24:23 GMT (394kb,D)

Link back to: arXiv, form interface, contact.