ByNobleID
    A Lyapunov-based proof of the quadratic separation principle for systems with noise-free measurements | NobleID