ByNobleID
    New methods for constructing Liapunov functions for time-invariant control systems | NobleID