{"id":205739,"date":"2025-02-06T11:15:25","date_gmt":"2025-02-06T17:15:25","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2025\/02\/generalizing-safety-beyond-collision-avoidance-via-latent-space-reachability-analysis"},"modified":"2025-02-06T11:15:25","modified_gmt":"2025-02-06T17:15:25","slug":"generalizing-safety-beyond-collision-avoidance-via-latent-space-reachability-analysis","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2025\/02\/generalizing-safety-beyond-collision-avoidance-via-latent-space-reachability-analysis","title":{"rendered":"Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis"},"content":{"rendered":"<p><a class=\"aligncenter blog-photo\" href=\"https:\/\/lifeboat.com\/blog.images\/generalizing-safety-beyond-collision-avoidance-via-latent-space-reachability-analysis2.jpg\"><\/a><\/p>\n<p>Hamilton-Jacobi (HJ) reachability is a rigorous mathematical framework that enables robots to simultaneously detect unsafe states and generate actions that prevent future failures. While in theory, HJ reachability can synthesize safe controllers for nonlinear systems and nonconvex constraints.<\/p>\n<p>In practice, it has been limited to hand-engineered collision<\/p>\n<p>Avoidance constraints modeled via low-dimensional state-space representations and first-principles dynamics. In this work, our goal is to generalize safe robot controllers to prevent failures that are hard\u2014if not impossible\u2014to write down by hand, but can be intuitively identified from high-dimensional observations:<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Hamilton-Jacobi (HJ) reachability is a rigorous mathematical framework that enables robots to simultaneously detect unsafe states and generate actions that prevent future failures. While in theory, HJ reachability can synthesize safe controllers for nonlinear systems and nonconvex constraints. In practice, it has been limited to hand-engineered collision Avoidance constraints modeled via low-dimensional state-space representations and [\u2026]<\/p>\n","protected":false},"author":662,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2229,6,8],"tags":[],"class_list":["post-205739","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-robotics-ai","category-space"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/205739","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/662"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=205739"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/205739\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=205739"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=205739"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=205739"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}