:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cheng, Xiaoyuan, Tang, Xiaohang, Yang, Yiming
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2509.25375
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

KEEC: Koopman Embedded Equivariant Control
by: Cheng, Xiaoyuan, et al.
Published: (2023)

How Does the Lagrangian Guide Safe Reinforcement Learning through Diffusion Models?
by: Cheng, Xiaoyuan, et al.
Published: (2026)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
by: Wang, Han, et al.
Published: (2024)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function
by: Lan, Jianglin, et al.
Published: (2024)

From Embedding to Control: Representations for Stochastic Multi-Object Systems
by: Cheng, Xiaoyuan, et al.
Published: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
by: Gong, Zheng, et al.
Published: (2024)

Stability of Control Lyapunov Function Guided Reinforcement Learning
by: Olkin, Zachary, et al.
Published: (2026)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
by: Adhikary, Sunandan, et al.
Published: (2026)

Corridor-based Adaptive Control Barrier and Lyapunov Functions for Safe Mobile Robot Navigation
by: Mohammad, Nicholas, et al.
Published: (2025)

Model Predictive Contouring Control with Barrier and Lyapunov Functions for Stable Path-Following in UAV systems
by: Guevara, Bryan S., et al.
Published: (2024)

Distributed Lyapunov Functions for Nonlinear Networks
by: Wang, Yiming, et al.
Published: (2025)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
by: Niloy, MD Abul Kashem, et al.
Published: (2026)

Confidence-Aware Safe and Stable Control of Control-Affine Systems
by: Wei, Shiqing, et al.
Published: (2024)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
by: Houska, Boris, et al.
Published: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Constrained Diffusers for Safe Planning and Control
by: Zhang, Jichen, et al.
Published: (2025)

Fast Physics-Informed Model Predictive Control Approximation for Lyapunov Stability
by: Rivera, Josue N., et al.
Published: (2024)

Safe Deep Model-Based Reinforcement Learning with Lyapunov Functions
by: Zhang, Harry
Published: (2024)

Stable Inverse Reinforcement Learning: Policies from Control Lyapunov Landscapes
by: Tesfazgi, Samuel, et al.
Published: (2024)

When Motion Learns to Listen: Diffusion-Prior Lyapunov Actor-Critic Framework with LLM Guidance for Stable and Robust AUV Control in Underwater Tasks
by: Xu, Jingzehua, et al.
Published: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Information Shapes Koopman Representation
by: Cheng, Xiaoyuan, et al.
Published: (2025)

Optimal Control with Lyapunov Stability Guarantees for Space Applications
by: Abhijeet, et al.
Published: (2025)

Control Lyapunov Functions for Optimality in Sontag-Type Control
by: Bongard, Joscha F., et al.
Published: (2026)

Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
by: Naeem, Ashik Abrar, et al.
Published: (2026)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

Physics-Based Communication Compression via Lyapunov-Weighted Event-Triggered Control
by: Tariverdi, Abbas
Published: (2025)

Perturbed Integrators Chain Control via Barrier Function Adaptation and Lyapunov Redesign
by: Estrada, Manuel A., et al.
Published: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, et al.
Published: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
by: Gong, Zheng, et al.
Published: (2024)

A Nonlinear Scaling-based Design of Control Lyapunov-barrier Function for Relative Degree 2 Case and its Application to Safe Feedback Linearization
by: Pyon, Haechan, et al.
Published: (2025)

Fixed-Time Input-to-State Stability for Singularly Perturbed Systems via Composite Lyapunov Functions
by: Tang, Michael, et al.
Published: (2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

PolarNet: Single-Minima Neural Network for Modeling Lyapunov Functions
by: Zhong, Yuan, et al.
Published: (2026)

Safe and Stable Formation Control with Autonomous Multi-Agents Using Adaptive Control (Extended Version)
by: Solano-Castellanos, Jose A., et al.
Published: (2024)

Safe Control of Feedback-Interconnected Systems via Singular Perturbations
by: Di Gregorio, Stefano, et al.
Published: (2026)