ByNobleID
    Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems | NobleID