Buchumschlag

Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Su, Yun, De Sterck, Hans, Liu, Jun
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
von: Liu, Jun
Veröffentlicht: (2026)

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

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
von: Liu, Jun
Veröffentlicht: (2025)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
von: Serry, Mohamed, et al.
Veröffentlicht: (2024)

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

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Robustly Learning Regions of Attraction from Fixed Data
von: Tacchi, Matteo, et al.
Veröffentlicht: (2023)

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

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

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)

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

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

Stochastic Dissipativity for Systems with Probabilistic Input Delays
von: LoCicero, Ethan, et al.
Veröffentlicht: (2024)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
von: Gong, Zheng, et al.
Veröffentlicht: (2024)

Analog Data-Driven Theory and Estimation of the Region of Attraction Using Sampled-Data
von: Shenoy, Karthik, et al.
Veröffentlicht: (2024)

Sum-of-norms regularized Nonnegative Matrix Factorization
von: Ang, Andersen, et al.
Veröffentlicht: (2024)

Distributionally Robust Probabilistic Prediction for Stochastic Dynamical Systems
von: Xu, Tao, et al.
Veröffentlicht: (2024)

Feedback Synthesis for Nonlinear Systems Via Convex Control Lyapunov Functions
von: Villanueva, Mario Eduardo, et al.
Veröffentlicht: (2025)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
von: Zhao, Pan
Veröffentlicht: (2025)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
von: Della Rossa, Matteo, et al.
Veröffentlicht: (2023)

Flexible-step MPC for Switched Linear Systems with No Quadratic Common Lyapunov Function
von: Fürnsinn, Annika, et al.
Veröffentlicht: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
von: Quartz, Thanin, et al.
Veröffentlicht: (2025)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
von: Liu, Jun
Veröffentlicht: (2025)

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

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

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
von: Rajan, Anusree, et al.
Veröffentlicht: (2024)

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

Optimal Adaptive Control of Linear Stochastic Systems with Quadratic Cost Function
von: Liu, Nian, et al.
Veröffentlicht: (2024)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
von: Houska, Boris, et al.
Veröffentlicht: (2025)

(Un)supervised Learning of Maximal Lyapunov Functions
von: Barreau, Matthieu, et al.
Veröffentlicht: (2024)

Flexible-step Model Predictive Control based on Generalized Lyapunov Functions
von: Fürnsinn, Annika, et al.
Veröffentlicht: (2022)

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
von: Liu, Shuo, et al.
Veröffentlicht: (2024)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
von: Tahir, Adam M
Veröffentlicht: (2025)

Distributionally Robust Lyapunov Function Search Under Uncertainty
von: Long, Kehan, et al.
Veröffentlicht: (2022)