Cover Image

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bechihi, Adel, Kapnopoulos, Aristotelis
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
by: Tang, Wentao
Published: (2024)

Lyapunov Neural Network with Region of Attraction Search
by: Wang, Zili, 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)

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

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
by: Zenati, Abdelhafid, et al.
Published: (2022)

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

Exact and Parametric Dynamical System Representation of Nonlinear Functions
by: Ohtsuka, Toshiyuki
Published: (2025)

Distributed Attraction-Repulsion Potential for Multi-Agent Formation Control
by: Ban, Hemanta, et al.
Published: (2026)

Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading
by: Bertollo, Riccardo, et al.
Published: (2024)

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

An Approach for the Qualitative Graphical Representation of the Describing Function in Nonlinear Systems Stability Analysis
by: Tebaldi, Davide, et al.
Published: (2026)

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

Enhanced Koopman Operator Approximation for Nonlinear Systems Using Broading Learning System
by: Sun, Yangjun, et al.
Published: (2025)

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

Informativity of Data-Knowledge Pairs for Lyapunov Equations
by: Banno, Ikumi
Published: (2026)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

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

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
by: Amorese, Peter, et al.
Published: (2026)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Generalized Lyapunov conditions for k-contraction: analysis and feedback design
by: Cecilia, Andreu, et al.
Published: (2023)

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
by: Ding, Jianqiang, et al.
Published: (2024)

Nonlinear Moving-Horizon Estimation Using State- and Control-Dependent Models
by: Kamaldar, Mohammadreza
Published: (2026)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

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

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

On the Uniqueness of Participation Factors in Nonlinear Dynamical Systems
by: Xia, Tianwei, et al.
Published: (2024)

On Koopman Resolvents and Frequency Response of Nonlinear Systems
by: Susuki, Yoshihiko, et al.
Published: (2026)

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

Observability of Nonlinear Dynamical Systems over Finite Fields
by: Anantharaman, Ramachandran, et al.
Published: (2024)

Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models
by: Sel, Artun, et al.
Published: (2026)

Delay-adaptive Control of Nonlinear Systems with Approximate Neural Operator Predictors
by: Bhan, Luke, et al.
Published: (2025)

Input Dexterity and Output Negotiation in Feedback-Linearizable Nonlinear Systems
by: Mizzoni, Mirko, et al.
Published: (2026)

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

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

Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
by: Takamichi, Kenji, et al.
Published: (2024)

Deep Q-Learning-Based Gain Scheduling for Nonlinear Quadcopter Dynamics
by: Rastgoftar, Hossein, et al.
Published: (2026)

Beyond Carleman Linearization of Nonlinear Dynamical System: Insights from a Case Study
by: Chen, Panpan, et al.
Published: (2025)