CORTEXA
← Browse
arxiveess.SY2026-07-04

Learning Robust Control Lyapunov Functions through Lipschitz Neural Networks

Shiqing Wei, Prashanth Krishnamurthy, Farshad Khorrami

This work presents a novel framework for learning robust control Lyapunov functions and stabilizing controllers for nonlinear dynamical systems subject to additive disturbances upper bounded by a state-dependent function. We leverage recent advances in Lipschitz neural networks to jointly learn both the Lyapunov functions and state-feedback controllers. We establish explicit bounds on the Hessian and third-order derivatives of these neural networks in the spectral norm, and introduce a GPU-friendly branch-and-bound algorithm that utilizes higher-order bounds to significantly accelerate the verification of the Lyapunov conditions. Finally, we validate the proposed approach through extensive simulations on six different dynamical systems.

View free PDFSource page

Related papers

arxivcs.ROeess.SY2026-07-07

Neural-ESO: A Dual-Pathway Architecture for Provably Robust Learning-Based Control

Fan Zhang, Richie Suganda, Jinfeng Chen, Wenhua Liu, Hantao Fu, Bin Hu, et al.

A learning-enabled disturbance-rejection framework based on a Neural Extended State Observer (Neural-ESO) is presented in this letter. Unlike existing learning-based control methods that largely rely on the learned model once deployed, Neural-ESO adopts a dual-pathway architectur…

View free PDFSource page
arxiveess.SYcs.AIcs.LGcs.ROmath.OC2026-07-01

GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics

Jeffrey Fang, Keyi Shen, Anutam Srinivasan, Glen Chou

This paper studies real-time robust optimal control for uncertain nonlinear systems, where linear time-varying (LTV) approximations make planning tractable but require sound linearization error bounds (LEBs) to guarantee robust constraint satisfaction. We develop tight, different…

View free PDFSource page
arxiveess.SY2026-07-23

Robust Adaptive Backup Control Barrier Functions

Ersin Daş, David E. J. van Wijk, Tamas G. Molnar, Aaron D. Ames, Joel W. Burdick

We propose a notion of robust adaptive backup control barrier functions for nonlinear control affine systems with parametric uncertainty in both the drift dynamics and actuation matrix. Backup control barrier functions guarantee safety by predicting the system's trajectory under…

View free PDFSource page
arxiveess.SYmath.OC2026-07-08

Stochastic Stability of Nonlinear MPPI via Contraction Theory and Control Lyapunov Functions

Hyung-Jin Yoon, Hunmin Kim

Model Predictive Path Integral (MPPI) control is directly implementable on nonlinear systems because its online update requires only forward rollouts of the dynamics, not gradients, linearizations, or convex optimization. However, this algorithmic flexibility does not by itself p…

View free PDFSource page
arxiveess.SY2026-06-26

Resilient Control Lyapunov Function-based Quadratic Program for Quadrotors Under Cyberattacks

Yichao Wang, Sameeha Tasneem, Mohamadamin Rajabinezhad, Jinfeng Chen, Qin Lin, Kai Wang, et al.

Ensuring the operational safety of quadrotors under partial actuator failures, lumped external disturbances, and malicious cyberattacks is a critical challenge due to the system's underactuated and highly nonlinear nature. Building on the existing result of a fault-tolerant contr…

View free PDFSource page