28 citations · 82 across the 18 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
eess.SY2025
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry, Haoyu Li, Ruikun Zhou +2
Analysis of nonlinear autonomous systems typically involves estimating domains of attraction, which have been a topic of extensive research interest for decades. Despite that, accu…
math.OC2025
Stability of Jordan Recurrent Neural Network Estimator
Avneet Kaur, Ruikun Zhou, Jun Liu +1
State estimation refers to determining the states of a dynamical system that starts from a noisy initial condition and evolves under process noise, based on noisy measurements and…