1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jianqiang Ding, Shankar A. Deka
In this work, we present a novel Koopman spectrum-based reachability verification method for nonlinear systems. Contrary to conventional methods that focus on characterizing all po…