Lei Xin, George T.-C. Chiu, Shreyas Sundaram: Online change points detection for linear dynamical systems with finite sample guarantees. Autom. 171: 111894 (2025)