Copertina

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Jun, Meng, Yiming, Fitzsimmons, Maxwell, Zhou, Ruikun
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Optimization and Control Machine Learning Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

(Un)supervised Learning of Maximal Lyapunov Functions
di: Barreau, Matthieu, et al.
Pubblicazione: (2024)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
di: Liu, Jun
Pubblicazione: (2025)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
di: Authier, Jules, et al.
Pubblicazione: (2023)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications
di: Mukherjee, Amartya, et al.
Pubblicazione: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
di: Hu, Hanjiang, et al.
Pubblicazione: (2024)

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

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
di: Long, Kehan, et al.
Pubblicazione: (2025)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
di: Ma, Chaolun, et al.
Pubblicazione: (2022)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
di: Vertovec, Nikolaus, et al.
Pubblicazione: (2025)

Extremum Seeking for PDE Systems using Physics-Informed Neural Networks
di: Guo, Haojin, et al.
Pubblicazione: (2025)

Distributionally Robust Policy and Lyapunov-Certificate Learning
di: Long, Kehan, et al.
Pubblicazione: (2024)

Safe Online Control-Informed Learning
di: Zhou, Tianyu, et al.
Pubblicazione: (2025)

Converse Barrier Functions via Lyapunov Functions
di: Liu, Jun
Pubblicazione: (2020)

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

Meta-Learning for Physically-Constrained Neural System Identification
di: Chakrabarty, Ankush, et al.
Pubblicazione: (2025)

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

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
di: Ajeyemi, Damola, et al.
Pubblicazione: (2025)

Stability of Jordan Recurrent Neural Network Estimator
di: Kaur, Avneet, et al.
Pubblicazione: (2025)

Online Control-Informed Learning
di: Liang, Zihao, et al.
Pubblicazione: (2024)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
di: Kishida, Masako
Pubblicazione: (2025)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
di: Braniff, Austin, et al.
Pubblicazione: (2025)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
di: Gokhale, Anand, et al.
Pubblicazione: (2026)

Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE
di: Lamarque, Maxence, et al.
Pubblicazione: (2024)

Neural Operators for PDE Backstepping Control of First-Order Hyperbolic PIDE with Recycle and Delay
di: Qi, Jie, et al.
Pubblicazione: (2023)

Forward Invariance in Neural Network Controlled Systems
di: Harapanahalli, Akash, et al.
Pubblicazione: (2023)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
di: Cao, John, et al.
Pubblicazione: (2025)

Gain Scheduling with a Neural Operator for a Transport PDE with Nonlinear Recirculation
di: Lamarque, Maxence, et al.
Pubblicazione: (2024)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
di: Syed, Usman, et al.
Pubblicazione: (2025)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks: Comparative Case Studies for Chemical Processes
di: Braniff, Austin, et al.
Pubblicazione: (2026)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
di: Li, Anran, et al.
Pubblicazione: (2025)