Showing math.OCShow all
3 papers · 1 filter
math.OC2025
Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
Boyang Li, Zheng Gong, Sylvia Herbert
In this article, we consider the infinite-horizon reach-avoid (RA) and stabilize-avoid (SA) zero-sum game problems for general nonlinear continuous-time systems, where the goal is…
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.OC2024★ 1 cited
Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
Zheng Gong, Sylvia Herbert
Control Lyapunov Functions (CLFs) have been extensively used in the control community. A well-known drawback is the absence of a systematic way to construct CLFs for general nonlin…