Imagen de Portada

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Meng, Yiming, Zhou, Ruikun, Mukherjee, Amartya, Fitzsimmons, Maxwell, Song, Christopher, Liu, Jun
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
por: Liu, Jun, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
por: Meng, Qingkai, et al.
Publicado: (2025)

Almost Sure Convergence Analysis of Differentially Private Stochastic Gradient Methods
por: Mukherjee, Amartya, et al.
Publicado: (2025)

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

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

A Policy Iteration Algorithm for N-player General-Sum Linear Quadratic Dynamic Games
por: Guan, Yuxiang, et al.
Publicado: (2024)

On Convergence of the Iteratively Preconditioned Gradient-Descent (IPG) Observer
por: Chakrabarti, Kushal, et al.
Publicado: (2024)

On-Line Policy Iteration with Trajectory-Driven Policy Generation
por: Li, Yuchao, et al.
Publicado: (2026)

Last-Iterate Convergent Policy Gradient Primal-Dual Methods for Constrained MDPs
por: Ding, Dongsheng, et al.
Publicado: (2023)

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

Data-Enabled Policy and Value Iteration for Continuous-Time Linear Quadratic Output Feedback Control
por: Xie, Jun, et al.
Publicado: (2026)

Almost Sure Convergence of Networked Policy Gradient over Time-Varying Networks in Markov Potential Games
por: Aydin, Sarper, et al.
Publicado: (2024)

A Non-Iterative Algorithm for Clearing Two-Layer Energy-Sharing Markets with Voltage Constraints
por: Liu, Tonghua, et al.
Publicado: (2026)

Optimization over Trained Neural Networks: Difference-of-Convex Algorithm and Application to Data Center Scheduling
por: Liu, Xinwei, et al.
Publicado: (2025)

Policy Optimization with Differentiable MPC: Convergence Analysis under Uncertainty
por: Zuliani, Riccardo, et al.
Publicado: (2026)

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

A Comparison of Strategies to Embed Physics-Informed Neural Networks in Nonlinear Model Predictive Control Formulations Solved via Direct Transcription
por: Casas, Carlos Andrés Elorza, et al.
Publicado: (2025)

Linear Convergence of Data-Enabled Policy Optimization for Linear Quadratic Tracking
por: Kang, Shubo, et al.
Publicado: (2024)

On the (almost) Global Exponential Convergence of the Overparameterized Policy Optimization for the LQR Problem
por: Wafi, Moh Kamalul, et al.
Publicado: (2025)

Cooperative Salvo Guidance over Leader-Follower Network with Free-Will Arbitrary Time Convergence
por: Pal, Rajib Shekhar, et al.
Publicado: (2024)

Data-Driven LQR with Finite-Time Experiments via Extremum-Seeking Policy Iteration
por: Carnevale, Guido, et al.
Publicado: (2024)

Adaptive Optimal Control of Linear Periodic Systems: An Off-Policy Value Iteration Approach
por: Pang, Bo, et al.
Publicado: (2019)

Policy Gradient Methods for the Cost-Constrained LQR: Strong Duality and Global Convergence
por: Zhao, Feiran, et al.
Publicado: (2024)

DER Day-Ahead Offering: A Neural Network Column-and-Constraint Generation Approach
por: Meng, Weiqi, et al.
Publicado: (2025)

A Globally Convergent Policy Gradient Method for Linear Quadratic Gaussian (LQG) Control
por: Sadamoto, Tomonori, et al.
Publicado: (2023)

Global Convergence of Policy Gradient Methods for ReLU Controllers in Linear Quadratic Regulation
por: Rodriguez-Gil, Jhojan A., et al.
Publicado: (2026)

A Bundle-based Augmented Lagrangian Framework: Algorithm, Convergence, and Primal-dual Principles
por: Liao, Feng-Yi, et al.
Publicado: (2025)

Non-Ergodic Convergence Algorithms for Distributed Consensus and Coupling-Constrained Optimization
por: Qiu, Chenyang, et al.
Publicado: (2025)

Variational Contraction Conditions for Iterative Algorithms in Multi-Population Discrete-Time Regularized Mean-Field Games
por: Aydın, Uğur, et al.
Publicado: (2026)

A Fundamental Convergence Rate Bound for Gradient Based Online Optimization Algorithms with Exact Tracking
por: Wu, Alex Xinting, et al.
Publicado: (2025)