Formally Verified Physics-Informed Neural Control Lyapunov Functions

Documenti analoghi

• Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
  di: Liu, Jun, et al.
  Pubblicazione: (2023)
• 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)