Lyapunov analysis of finite-time differential equations | Synapse