Buchumschlag

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Jun, Meng, Yiming, Fitzsimmons, Maxwell, Zhou, Ruikun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
von: Meng, Yiming, et al.
Veröffentlicht: (2024)

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

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

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

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)

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

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

Stability of Jordan Recurrent Neural Network Estimator
von: Kaur, Avneet, et al.
Veröffentlicht: (2025)

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

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
von: Gong, Zheng, 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)

Scaled Relative Graph Analysis of General Interconnections of SISO Nonlinear Systems
von: Krebbekx, Julius P. J., et al.
Veröffentlicht: (2025)

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

Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems
von: Su, Yun, et al.
Veröffentlicht: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
von: Mestres, Pol, et al.
Veröffentlicht: (2024)

Multiple Control Functionals for Interconnected Time-Delay Systems
von: Pan, Zhuo-Rui, et al.
Veröffentlicht: (2023)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
von: Zhou, Ruikun, 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)

On an Abstraction of Lyapunov and Lagrange Stability
von: Bin, Michelangelo, et al.
Veröffentlicht: (2025)

Nonlinear MPC for Feedback-Interconnected Systems: a Suboptimal and Reduced-Order Model Approach
von: Di Gregorio, Stefano, et al.
Veröffentlicht: (2025)

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

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
von: Meng, Qingkai, 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)

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

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

Optimal Control with Lyapunov Stability Guarantees for Space Applications
von: Abhijeet, et al.
Veröffentlicht: (2025)

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

Dissipativity and L2 Stability of Large-Scale Networks with Changing Interconnections
von: Jang, Ingyu, et al.
Veröffentlicht: (2025)

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

Harnessing Membership Function Dynamics for Stability Analysis of T-S Fuzzy Systems
von: Lee, Donghwan, et al.
Veröffentlicht: (2024)

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)

Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time
von: Martinelli, Andrea, et al.
Veröffentlicht: (2023)

Interconnection-based Model Reduction for Linear Hybrid Systems
von: Niu, Zirui, et al.
Veröffentlicht: (2026)

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

A Geometric Approach to Feedback Stabilization of Nonlinear Systems with Drift
von: Michalska, Hannah, et al.
Veröffentlicht: (2026)