Cover Image

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Jun, Fitzsimmons, Maxwell
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Dynamical Systems Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

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

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

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

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

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

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

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

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, 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)

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)

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

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals
by: Della Rossa, Matteo
Published: (2024)

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

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
by: Matveev, A., et al.
Published: (2026)

Strong Lyapunov functions for rough systems
by: Duc, Luu Hoang, et al.
Published: (2025)

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

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
by: Karafyllis, Iasson, et al.
Published: (2024)

Lyapunov stability of compact sets in locally compact metric spaces
by: Hadadi, Reza
Published: (2024)

Policy Optimization of Mixed H2/H-infinity Control: Benign Nonconvexity and Global Optimality
by: Pai, Chih-Fan, et al.
Published: (2026)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
by: Ye, Lintao, et al.
Published: (2022)

Computation of attractor dimension and maximal sums of Lyapunov exponents using polynomial optimization
by: Parker, Jeremy P, et al.
Published: (2025)

Reduction by Symmetry and Optimal Control with Broken Symmetries on Riemannian Manifolds
by: Goodman, Jacob R., et al.
Published: (2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

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)

Data-driven Nonlinear Model Reduction using Koopman Theory: Integrated Control Form and NMPC Case Study
by: Schulze, Jan C., et al.
Published: (2024)

Global Stability Analysis of the Age-Structured Chemostat With Substrate Dynamics
by: Karafyllis, Iasson, et al.
Published: (2026)

Safe and Optimal N-Spacecraft Swarm Reconfiguration in Non-Keplerian Cislunar Orbits
by: Takubo, Yuji, et al.
Published: (2025)

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)

Two Roads to Koopman Operator Theory for Control: Infinite Input Sequences and Operator Families
by: Haseli, Masih, et al.
Published: (2025)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

A generalized global Hartman-Grobman theorem for asymptotically stable semiflows
by: Jongeneel, Wouter
Published: (2025)