Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives

Eugene Asarin, Oded Maler, Amir Pnueli. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theoretical Computer Science, 138(1):35-65, 1995. [doi]

Abstract

Abstract is missing.