References & Citations
Electrical Engineering and Systems Science > Systems and Control
Title: LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification
(Submitted on 9 Dec 2019 (v1), last revised 28 May 2020 (this version, v2))
Abstract: The goal of this paper is to analyze Long Short Term Memory (LSTM) neural networks from a dynamical system perspective. The classical recursive equations describing the evolution of LSTM can be recast in state space form, resulting in a time-invariant nonlinear dynamical system. A sufficient condition guaranteeing the Input-to-State (ISS) stability property of this class of systems is provided. The ISS property entails the boundedness of the output reachable set of the LSTM. In light of this result, a novel approach for the safety verification of the network, based on the Scenario Approach, is devised. The proposed method is eventually tested on a pH neutralization process.
Submission history
From: Fabio Bonassi [view email][v1] Mon, 9 Dec 2019 21:06:15 GMT (375kb,D)
[v2] Thu, 28 May 2020 11:07:12 GMT (289kb,D)
Link back to: arXiv, form interface, contact.