160 citations · 336 across the 21 of their papers we have counts for
3 papers · 1 filter
Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
Mo Chen, Sylvia L. Herbert, Mahesh S. Vashishtha +2
Reachability analysis provides formal guarantees for performance and safety properties of nonlinear control systems. Here, one aims to compute the backward reachable set (BRS) or t…
Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition
Mo Chen, Sylvia Herbert, Claire J. Tomlin
Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-d…
Fast Reachable Set Approximations via State Decoupling Disturbances
Mo Chen, Sylvia Herbert, Claire J. Tomlin
With the recent surge of interest in using robotics and automation for civil purposes, providing safety and performance guarantees has become extremely important. In the past, diff…