6 citations · 7 across the 9 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2024
Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
Zheng Gong, Hyun Joe Jeong, Sylvia Herbert
Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and rob…
math.OC2016★ 6 cited
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…