Chong He, Zheng Gong, Mo Chen, Sylvia L. Herbert. Efficient and Guaranteed Hamilton-Jacobi Reachability via Self-Contained Subsystem Decomposition and Admissible Control Sets. IEEE Control Systems Letters, 7:3824-3829, 2023. [doi]
Abstract is missing.