Efficient and Guaranteed Hamilton–Jacobi Reachability via Self-Contained Subsystem Decomposition and Admissible Control Sets | IEEE Journals & Magazine | IEEE Xplore