A Jordan recurrent network estimator is shown to have input-to-state stable error dynamics, with stability certified by SMT-verified Lyapunov functions and demonstrated on three example systems.
Deep filtering with dnn, cnn and rnn,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.OC 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Stability of Jordan Recurrent Neural Network Estimator
A Jordan recurrent network estimator is shown to have input-to-state stable error dynamics, with stability certified by SMT-verified Lyapunov functions and demonstrated on three example systems.