Formal Synthesis of Lyapunov Neural Networks - Abate, Alessandro; Ahmed, Daniele; Giacobbe, Mirco; Peruffo, Andrea (IEEE control systems letters, 2021)
Keywords: Asymptotic stability; Biological neural networks; Computer-aided control design; Lyapunov methods; neural networks; Neurons; Numerical stability; Stability analysis