Cover Image

On an Abstraction of Lyapunov and Lagrange Stability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bin, Michelangelo, Angeli, David
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Tube-Based Robust Data-Driven Predictive Control
by: Wang, Chi, et al.
Published: (2026)

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

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

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

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
by: Zhao, Pan
Published: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
by: Tahir, Adam M
Published: (2025)

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

A Lyapunov Characterization of Robust D-Stability with Application to Decentralized Integral Control of LTI Systems
by: Casasanta, John-Paolo, et al.
Published: (2026)

Dynamic Quantum-Assisted Co-Design of Control Tuning and Lyapunov Stability Synthesis for Nonlinear Systems
by: Hasanzadeh, Milad, et al.
Published: (2026)

Stability of Lyapunov redesign trajectory tracking control with unbounded perturbations -- A tube-based stability analysis
by: Tietze, Niclas, et al.
Published: (2025)

On the Existence of Lagrange Multipliers in Distribution Network Reconfiguration Problems
by: Liu, Rong-Peng, et al.
Published: (2025)

Feedback control of Lagrange multipliers for non-smooth constrained optimization
by: Cerone, V., et al.
Published: (2026)

Safe Control of Euler-Lagrange Systems with Limited Model Information
by: Wang, Yujie, et al.
Published: (2023)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
by: Todorovski, Velimir, et al.
Published: (2025)

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
by: Zheng, Jun, et al.
Published: (2026)

Super-twisting over networks: A Lyapunov approach for distributed differentiation
by: Aldana-López, Rodrigo, et al.
Published: (2026)

A new framework for constrained optimization via feedback control of Lagrange multipliers
by: Cerone, V., et al.
Published: (2024)

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

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
by: Fan, Shuyuan, et al.
Published: (2025)

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

Data-driven $H_{\infty}$ predictive control for constrained systems: a Lagrange duality approach
by: Wu, Wenhuang, et al.
Published: (2024)

Some remarks on stochastic converse Lyapunov theorems
by: Osinenko, Pavel, et al.
Published: (2025)

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

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

Bridging Abstraction-Based Hierarchical Control and Moment Matching: A Conceptual Unification
by: Niu, Zirui, et al.
Published: (2025)

Ordering and refining path-complete Lyapunov functions through composition lifts
by: Jongeneel, Wouter, et al.
Published: (2025)

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

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems
by: Masti, Daniele, et al.
Published: (2023)

Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2026)

Lyapunov based dynamic controller designs for reach-and-avoid problems
by: Lanza, Lukas, et al.
Published: (2024)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, 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)

Koopman-based Estimation of Lyapunov Functions: Theory on a Reproducing Kernel Hilbert Space
by: Tang, Wentao, et al.
Published: (2026)

A superposition approach for the ISS Lyapunov-Krasovskii theorem with pointwise dissipation
by: Mironchenko, Andrii, et al.
Published: (2026)

Collaborative Spacecraft Servicing under Partial Feedback using Lyapunov-based Deep Neural Networks
by: Nino, Cristian F., et al.
Published: (2025)

Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments
by: Do, Huu-Thinh, et al.
Published: (2025)

Data-driven approximation of regions of attraction via an LP-based selection of PWA Lyapunov functions
by: Khattabi, Oumayma, et al.
Published: (2026)