mlsanityData to 14 Oct 2026

LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification

arXiv 1912.04377 ↗First posted 9 Dec 2019eess.SY cs.SYcited by 13

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 13 papers in the map (data through 14 Oct 2026). First posted on arXiv 9 Dec 2019.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 5; 2022: 3; 2023: 3; 2024: 0; 2025: 1; 2026: 1.

13 papers.

Sort: