D. [. Alur and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

[. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Towards a viability theory for hybrid systems, European Control Conference, 2001.

[. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Viability and invariance kernels of impulse differential inclusions, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.340-345, 2001.
DOI : 10.1109/CDC.2001.981136

G. [. Asarin, G. Pace, S. Schneider, and . Yovine, SPeeDI ??? A Verification Tool for Polygonal Hybrid Systems, CAV'2002, pp.354-358, 2002.
DOI : 10.1007/3-540-45657-0_28

G. [. Asarin, S. Schneider, and . Yovine, On the Decidability of the Reachability Problem for Planar Differential Inclusions, HSCC'2001, number 2034 in LNCS, pp.89-104, 2001.
DOI : 10.1007/3-540-45351-2_11

G. [. Asarin, S. Schneider, and . Yovine, Towards Computing Phase Portraits of Polygonal Differential Inclusions, HSCC'02, pp.49-61, 2002.
DOI : 10.1007/3-540-45873-5_7

G. [. Asarin, S. Schneider, and . Yovine, Algorithmic analysis of polygonal hybrid systems, part I: Reachability, Theoretical Computer Science, vol.379, issue.1-2, pp.231-265, 2007.
DOI : 10.1016/j.tcs.2007.03.055
URL : https://hal.archives-ouvertes.fr/hal-00157340

A. Aubin, A Survey of Viability Theory, SIAM Journal on Control and Optimization, vol.28, issue.4, pp.749-789, 1990.
DOI : 10.1137/0328044

P. [. Deshpande and . Varaiya, Viable control of hybrid systems, Hybrid Systems II, number 999 in LNCS, pp.128-147, 1995.

P. [. Field and . Harrison, Functional Programming, 1988.

P. [. Henzinger, H. Ho, and . Wong-toi, HYTECH: the next generation, Proceedings 16th IEEE Real-Time Systems Symposium, 1995.
DOI : 10.1109/REAL.1995.495196

P. [. Henzinger, A. Kopke, P. Puri, and . Varaiya, What's decidable about hybrid automata?, STOC'95, pp.373-382, 1995.

]. T. Hphht97, P. Henzinger, H. Ho, and . Wong-toi, Hytech: A model checker for hybrid systems, Software Tools for Technology Transfer, vol.1, issue.1, 1997.

S. [. Hirsch and . Smale, Differential Equations, Dynamical Systems and Linear Algebra, 1974.

]. S. Jon03 and . Jones, Haskell 98 language and libraries: the Revised Report, 2003.

]. P. Kdb01, M. Kowalczyk, and . Bernardo, On a novel class of bifurcations in hybrid dynamical systems, HSCC'01, number 2034 in LNCS, pp.361-374, 2001.

P. [. Kourjanski and . Varaiya, Stability of hybrid systems, Hybrid Systems III, number 1066 in LNCS, pp.413-423, 1995.
DOI : 10.1007/BFb0020964

T. [. Leucker, P. Noll, M. Stevens, and . Weber, Functional programming languages for verification tools: Experiences with ML and Haskell, Proceedings of SFPW'01, 2001.

G. Lafferriere, G. Pappas, and S. Yovine, Symbolic Reachability Computation for Families of Linear Vector Fields, Journal of Symbolic Computation, vol.32, issue.3, pp.231-253, 2001.
DOI : 10.1006/jsco.2001.0472

A. [. Maler and . Pnueli, Reachability analysis of planar multi-linear systems, CAV'93, pp.194-209, 1993.
DOI : 10.1007/3-540-56922-7_17

A. [. Matveev and . Savkin, Qualitative theory of hybrid dynamical systems, Birkhäuser Boston, 2000.
DOI : 10.1007/978-1-4612-1364-2

]. G. Ps06a, G. Pace, and . Schneider, A compositional algorithm for parallel model checking of polygonal hybrid systems, ICTAC 2006, pp.168-182, 2006.

]. G. Ps06b, G. Pace, and . Schneider, Computation and visualization of phase portraits for model checking SPDI, 2006.

]. G. Ps06c, G. Pace, and . Schneider, Static analysis for state-space reduction of polygonal hybrid systems, FORMATS'06, pp.306-321, 2006.

K. [. Simi´csimi´c, S. Johansson, J. Sastry, and . Lygeros, Towards a geometric theory of hybrid systems, HSCC'00, number 1790 in LNCS, pp.421-436, 2000.

. [. Saint-pierre, Hybrid Kernels and Capture Basins for Impulse Constrained Systems, HSCC'02, 2002.
DOI : 10.1007/3-540-45873-5_30