R. Alur & D. L. Dill (1994):
A Theory of Timed Automata.
Theor. Comput. Sci. 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
E. Asarin, O. Maler & A. Pnueli (1995):
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci. 138(1),
pp. 35–65,
doi:10.1016/0304-3975(94)00228-B.
E. Asarin, G. Schneider & S. Yovine (2007):
Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
Theor. Comput. Sci. 379(1-2),
pp. 231–265,
doi:10.1016/j.tcs.2007.03.055.
R. P. Brent (1980):
An improved Monte Carlo factorization algorithm.
BIT Numerical Mathematics 20,
pp. 176–184,
doi:10.1007/BF01933190.
10.1007/BF01933190.
M. Broucke (1999):
A geometric approach to bisimulation and verification of hybrid systems.
In: Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science.
Springer-Verlag,
pp. 61–75,
doi:10.1007/3-540-48983-5_9.
T. Cramer, R. Friedman, T. Miller, D. Seberger, R. Wilson & M. Wolczko (1997):
Compiling Java just in time.
Micro, IEEE 17(3),
pp. 36–43,
doi:10.1109/40.591653.
T. A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1995):
What's decidable about hybrid automata?.
In: STOC,
pp. 373–382,
doi:10.1145/225058.225162.
J. Hicklin, C. Moler, P. Webb, R.F. Boisvert, B. Miller, R. Pozo & K. Remington (2000):
Jama: A Java matrix package.
Website.
Available at http://math.nist.gov/javanumerics/jama.
G. Lafferriere, G. J. Pappas & S. Sastry (2000):
O-Minimal Hybrid Systems.
Math. Control Signals Systems 13,
pp. 1–21,
doi:10.1007/PL00009858.
G. Lafferriere, G. J. Pappas & S. Yovine (1999):
A New Class of Decidable Hybrid Systems.
In: HSCC,
pp. 137–151,
doi:10.1007/3-540-48983-5_15.
G. Lafferriere, G.J. Pappas & S. Yovine (1999):
Reachability Computation For Linear Hybrid Systems.
In: Proceedings of the 14th IFAC World Congress E,
pp. 7–12.
O. Maler & A. Pnueli (1993):
Reachability Analysis of Planar Multi-linear Systems.
In: CAV,
pp. 194–209,
doi:10.1007/3-540-56922-7_17.
O. Tveretina & D. Funke (2011):
Deciding Reachability for a Subclass of 3-Dimensional Multi-Linear Systems.
Technical Report 2011-19.
Karlsruhe Institute of Technology.
eptcs@eptcs.org