Buchumschlag

Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kim, Dabin, Kim, H. Jin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
von: Gong, Zheng, et al.
Veröffentlicht: (2024)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems
von: Abdelraouf, Hassan, et al.
Veröffentlicht: (2024)

Computation of Maximal Admissible Robust Positive Invariant Sets for Linear Systems with Parametric and Additive Uncertainties
von: Dey, Anchita, et al.
Veröffentlicht: (2024)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
von: Bechihi, Adel, et al.
Veröffentlicht: (2025)

Enhancing Feature Tracking Reliability for Visual Navigation using Real-Time Safety Filter
von: Kim, Dabin, et al.
Veröffentlicht: (2025)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
von: Samanipour, Pouya, et al.
Veröffentlicht: (2024)

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

On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
von: Rußwurm, Franz, et al.
Veröffentlicht: (2025)

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

Reach-Avoid-Stabilize Using Admissible Control Sets
von: Gong, Zheng, et al.
Veröffentlicht: (2025)

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
von: Tang, Wentao
Veröffentlicht: (2024)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
von: Jang, Inkyu, et al.
Veröffentlicht: (2025)

The Invariant Zonotopic Set-Membership Filter for State Estimation on Groups
von: Li, Tao, et al.
Veröffentlicht: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Converse Barrier Functions via Lyapunov Functions
von: Liu, Jun
Veröffentlicht: (2020)

Adaptive Neural Control with Desired Approximation: An Integral Lyapunov Function Approach
von: Sun, Mingxuan, et al.
Veröffentlicht: (2025)

PolarNet: Single-Minima Neural Network for Modeling Lyapunov Functions
von: Zhong, Yuan, et al.
Veröffentlicht: (2026)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
von: Huang, Junyue, et al.
Veröffentlicht: (2026)

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

Adaptive Invariant Extended Kalman Filter for Legged Robot State Estimation
von: Kim, Kyung-Hwan, et al.
Veröffentlicht: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets
von: Zhou, Chenliang, et al.
Veröffentlicht: (2025)

Spacecraft Attitude Control Under Reaction Wheel Constraints Using Control Lyapunov and Control Barrier Functions
von: Shahraki, Milad Alipour, et al.
Veröffentlicht: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2025)

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets
von: Samanipour, Pouya, et al.
Veröffentlicht: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
von: Vaisi, Goli, et al.
Veröffentlicht: (2025)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
von: Basu, Ahan, et al.
Veröffentlicht: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Constructive Lyapunov Functions via Topology-Preserving Neural Networks
von: Oh, Jaehong
Veröffentlicht: (2025)

Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems
von: Scholl, Tessina H.
Veröffentlicht: (2023)

Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set
von: Lunardi, Gianni, et al.
Veröffentlicht: (2023)

Estimates on the domain of validity for Lyapunov-Schmidt reduction
von: Gupta, Pranav, et al.
Veröffentlicht: (2024)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
von: Fan, Shuyuan, et al.
Veröffentlicht: (2025)

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

Adaptive Meshing for CPA Lyapunov Function Synthesis
von: Strong, Amy K., et al.
Veröffentlicht: (2025)

Lyapunov Neural Network with Region of Attraction Search
von: Wang, Zili, et al.
Veröffentlicht: (2024)

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
von: Matveev, A., et al.
Veröffentlicht: (2026)

Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models and Piecewise Quadratic Lyapunov Functions
von: Sel, Artun, et al.
Veröffentlicht: (2025)