Image de couverture de livre

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Long, Kehan, Cortés, Jorge, Atanasov, Nikolay
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Robotics Systems and Control Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Distributionally Robust Policy and Lyapunov-Certificate Learning
par: Long, Kehan, et autres
Publié: (2024)

Distributionally Robust Lyapunov Function Search Under Uncertainty
par: Long, Kehan, et autres
Publié: (2022)

Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
par: Long, Kehan, et autres
Publié: (2024)

Stabilization of Nonlinear Systems through Control Barrier Functions
par: Mestres, Pol, et autres
Publié: (2024)

Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
par: Mestres, Pol, et autres
Publié: (2023)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
par: Nath, Devesh, et autres
Publié: (2025)

Safe Stabilizing Control for Polygonal Robots in Dynamic Elliptical Environments
par: Long, Kehan, et autres
Publié: (2023)

Contact-Aware Planning and Control of Continuum Robots in Highly Constrained Environments
par: Mangan, Aedan, et autres
Publié: (2026)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
par: Mestres, Pol, et autres
Publié: (2024)

Off Policy Lyapunov Stability in Reinforcement Learning
par: Gill, Sarvan, et autres
Publié: (2025)

Diffusion Policies for Generative Modeling of Spacecraft Trajectories
par: Briden, Julia, et autres
Publié: (2025)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
par: Lu, Yiwen, et autres
Publié: (2023)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
par: Esmaeili, Babak, et autres
Publié: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
par: Shen, Keyi, et autres
Publié: (2026)

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview
par: Tsukamoto, Hiroyasu, et autres
Publié: (2021)

Neural Configuration-Space Barriers for Manipulation Planning and Control
par: Long, Kehan, et autres
Publié: (2025)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
par: Todorovski, Velimir, et autres
Publié: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
par: Parwana, Hardik, et autres
Publié: (2022)

Constrained Variational Inference via Safe Particle Flow
par: Yi, Yinzhuang, et autres
Publié: (2025)

(Un)supervised Learning of Maximal Lyapunov Functions
par: Barreau, Matthieu, et autres
Publié: (2024)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
par: Yang, Lujie, et autres
Publié: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
par: Hu, Hanjiang, et autres
Publié: (2024)

Unifying Entropy Regularization in Optimal Control: From and Back to Classical Objectives via Iterated Soft Policies and Path Integral Solutions
par: Bhole, Ajinkya, et autres
Publié: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
par: Gimelfarb, Michael, et autres
Publié: (2024)

Kernel-Based Optimal Control: An Infinitesimal Generator Approach
par: Bevanda, Petar, et autres
Publié: (2024)

Online Control-Informed Learning
par: Liang, Zihao, et autres
Publié: (2024)

Compositional Diffusion Models for Powered Descent Trajectory Generation with Flexible Constraints
par: Briden, Julia, et autres
Publié: (2024)

Model Predictive Path Integral PID Control for Learning-Based Path Following
par: Kato, Teruki, et autres
Publié: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
par: Ma, Chaolun, et autres
Publié: (2022)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2024)

Safe and Near-Optimal Control with Online Dynamics Learning
par: Prajapat, Manish, et autres
Publié: (2025)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
par: Liu, Jun, et autres
Publié: (2024)

Neural Configuration Distance Function for Continuum Robot Control
par: Long, Kehan, et autres
Publié: (2024)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
par: Malaniya, Georgiy, et autres
Publié: (2025)

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
par: Murillo-Gonzalez, Alejandro, et autres
Publié: (2026)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
par: Esmaeili, Babak, et autres
Publié: (2025)

Direct Data Driven Control Using Noisy Measurements
par: Esmzad, Ramin, et autres
Publié: (2025)

Multi-Step Deep Koopman Network (MDK-Net) for Vehicle Control in Frenet Frame
par: Abtahi, Mohammad, et autres
Publié: (2025)