Abstract: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 nonlinear systems, and the problem can become more complex with input or state constraints. Our preliminary work on constructing Control Lyapunov Value Functions (CLVFs) using Hamilton-Jacobi (HJ) reachability analysis provides a method for finding a non-smooth CLF. In this paper, we extend our work on CLVFs to systems with bounded disturbance and define the Robust CLVF (R-CLVF). The R-CLVF naturally inherits all properties of the CLVF; i.e., it first identifies the "smallest robust control invariant set (SRCIS)" and stabilizes the system to it with a user-specified exponential rate. The region from which the exponential rate can be met is called the "region of exponential stabilizability (ROES)." We provide clearer definitions of the SRCIS and more rigorous proofs of several important theorems. Since the computation of the R-CLVF suffers from the "curse of dimensionality," we also provide two techniques (warmstart and system decomposition) that solve it, along with necessary proofs. Three numerical examples are provided, validating our definition of SRCIS, illustrating the trade-off between a faster decay rate and a smaller ROES, and demonstrating the efficiency of computation using warmstart and decomposition.

A Control Lyapunov Function Approach to Stabilization of Affine Nonlinear Systems with Bounded Uncertain Parameters

Robust stabilization of feedback linearizable time-delay systems

A Memoryless Robust Stabilizing Controller for a Class of Uncertain Linear Time-Delay Systems

Robust memoryless H/sup /spl infin// control for uncertain linear time-delay systems

Robust Stabilization for a Class of Nonlinear Networked Control Systems

Robust Stabilization of A Class of Nonlinear Systems with Uncertain Parameters Based on Clfs

Robust Stabilization of Uncertain Hybrid Systems with Multiple Equilibria

Stabilization of nonlinear systems based on robust control Lyapunov function

LYAPUNOV-TYPE STABILIZATION FOR NONLINEAR UNCERTAIN SYSTEMS AND NONLINEAR H~∞ CONTROL

Robust Stabilization and H∞ Control for Stochastic Systems with Parameter Uncertainty and Nonlinearity

Stabilization of A Class of Uncertain Chaotic Systems Via Robust Adaptive Sliding-Mode Control

Robust Control of a Class of Nonlinear Systems with Parametric Uncertainties

Robust Stabilization Of Single Nonlinear Time-Delay System

Neural Lyapunov Control for Nonlinear Systems with Unstructured Uncertainties

ROBUST ADAPTIVE FUZZY CONTROL FOR A CLASS OF UNCERTAIN NONLINEAR SYSTEMS

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems

Relaxed Lyapunov Criteria for Robust Global Stabilization of Nonlinear Systems

Design of Robust Controller for a Class of Nonlinear Uncertain Systems

Robust Stabilization of a Class of Nonlinear Time-Delay Systems

Design of Robust Adaptive Controller Based on the Control Lyapunov Function

Finite‐time Attitude Stabilization of Rigid Spacecrafts Based on Control Lyapunov Functions