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]

Possibly Related Publications

The following publications are possibly variants of this publication: