arXiv Machine Learning By Zhangyi Wang, Jiaxu Liu, Chen Song, Chao Xu, Shengze Cai

Learning Provable Neural Network Observer for Uncertain Dynamical Systems

Read the original on arXiv Machine Learning →

The paper introduces a two‑stage training framework for neural network observers that guarantees Lyapunov stability for uncertain dynamical systems. First, a point‑guided Lyapunov pre‑training phase quickly achieves high estimation accuracy and local stability over sampled states. Second, an LMI fine‑tuning phase efficiently enforces a strict global Lyapunov stability certificate, yielding provably stable observers that train faster than direct LMI methods and generalize robustly across diverse systems.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv Machine Learning
Jun 4

Certified Neural Approximations of Nonlinear Dynamics

arXiv:2505. 15497v3 Announce Type: replace Abstract: Neural networks hold great potential to act as approximate models of nonlinear dynamical systems, with the resulting neural approximations enabling verification and control of such systems.

By Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate