A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Lyapunov functions for linear nonautonomous dynamical equations on time scales

The existence of a Lyapunov function is established following a method of Yoshizawa for the uniform exponential asymptotic stability of the zero solution of a nonautonomous linear dynamical equation on a time scale with uniformly bounded graininess