Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets

Zheng Gong,Hyun Joe Jeong,Sylvia Herbert

2024-04-02

Abstract: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 robust CLVF have been proposed as solutions for nonlinear time-invariant systems with bounded control and disturbance. However, the CLVF suffers from the ''curse of dimensionality,'' which hinders its application to practical high-dimensional systems. In this paper, we propose a method to decompose systems of a particular coupled nonlinear structure, in order to solve for the CLVF in each low-dimensional subsystem. We then reconstruct the full-dimensional CLVF and provide sufficient conditions for when this reconstruction is exact. Moreover, a point-wise optimal controller can be obtained using a quadratic program. We also show that when the exact reconstruction is impossible, the subsystems' CLVFs and their ``admissible control sets'' can be used to generate a Lipschitz continuous CLF. We provide several numerical examples to validate the theory and show computational efficiency.

Optimization and Control,Systems and Control

What problem does this paper attempt to address?

This paper addresses the problem of computing Control Lyapunov Function (CLVF) in high-dimensional nonlinear systems. Traditional CLVF methods face the "curse of dimensionality" and are limited in their application to complex systems. The paper proposes a system decomposition method that splits the high-dimensional system into low-dimensional subsystems, solves the CLVF for each subsystem separately, and then reconstructs the CLVF in the full dimension. When there is no shared control between the subsystems, the reconstruction is exact. When there is shared control, even if the reconstruction is not exact, a locally Lipschitz continuous CLF can still be generated. This method improves computational efficiency and is verified by numerical examples for both theoretical and computational performance.

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems

Neural Lyapunov Control for Nonlinear Systems with Unstructured Uncertainties

Stability Analysis And Control Synthesis For Uncertain Polynomial Nonlinear Systems

Simultaneous Controller and Lyapunov Function Design for Constrained Nonlinear Systems

Multi-objective Robust Controller Synthesis for Discrete-Time Systems with Convex Polytopic Uncertain Domain

Systematic, Lyapunov-Based, Safe and Stabilizing Controller Synthesis for Constrained Nonlinear Systems

Control Synthesis for Polynomial Nonlinear Systems and Application in Attitude Control

Confidence-Aware Safe and Stable Control of Control-Affine Systems

Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems.

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications

Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

Control Synthesis for Stability and Safety by Differential Complementarity Problem

High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions

Synthesizing Control Laws from Data using Sum-of-Squares Optimization

Stabilization of Nonlinear Systems through Control Barrier Functions

The Construction of Control Lyapunov Functions for Linear Multivariable Systems

Guaranteed Stabilization and Safety of Nonlinear Systems Via Sliding Mode Control

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

Synthesis of Optimal Ensemble Controls for Linear Systems using the Singular Value Decomposition