A. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Alur and D. L. 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

E. Asarin, T. Dang, and A. Girard, Reachability Analysis of Nonlinear Systems Using Conservative Approximation, HSCC'03, pp.20-35, 2003.
DOI : 10.1007/3-540-36580-X_5

E. Asarin, T. Dang, and O. Maler, The d/dt tool for verification of hybrid systems, CAV, pp.365-370, 2002.

A. Alexandrescu, Modern C++ Design: Generic Programming and Design Patterns Applied, p.95, 2001.

A. Bemporad, A. Bicchi, and G. C. Buttazzo, Hybrid Systems: Computation and Control, 10th International Workshop, Proceedings, volume 4416 of lncs, p.106, 2007.

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, Lecture Notes in Computer Science, vol.1427, issue.5, pp.546-550, 1998.
DOI : 10.1007/BFb0028779

URL : https://hal.archives-ouvertes.fr/hal-00374788

R. E. Burkard, H. W. Hamacher, and G. Rote, Sandwich approximation of univariate convex functions with an application to separable convex programming, Naval Research Logistics (NRL), vol.33, issue.6, pp.911-924, 1991.
DOI : 10.1002/nav.3800380609

R. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, ¡ce:title¿Special Issue on Second issue of experimental software and toolkits (EST)¡/ce:title¿, pp.3-21, 2008.
DOI : 10.1016/j.scico.2007.08.001

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal -a tool suite for automatic verification of real-time systems, p.12, 1996.

R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, SAS, pp.213-229, 2002.
DOI : 10.1007/3-540-45789-5_17

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-Guided Abstraction Refinement, Lecture Notes in Computer Science, vol.1855, issue.8, pp.154-169, 2000.
DOI : 10.1007/10722167_15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Chutinan and B. H. Krogh, Computing polyhedral approximations to flow pipes for dynamic systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), p.23, 1998.
DOI : 10.1109/CDC.1998.758642

A. David, G. Behrmann, K. G. Larsen, and W. Yi, A Tool Architecture for the Next Generation of Uppaal, 10th Anniv. Colloq. UNU/IIST, volume 2757 of lncs, pp.352-366, 2002.
DOI : 10.1007/978-3-540-40007-3_22

B. George, M. N. Dantzig, and . Thapa, Linear Programming 1: Introduction, p.15, 1997.

B. George, M. N. Dantzig, and . Thapa, Linear Programming 2: Theory and Extensions, p.30, 2003.

A. Fehnker and F. Ivancic, Benchmarks for Hybrid Systems Verification, Lecture Notes in Computer Science, vol.2993, issue.72, pp.326-341, 2004.
DOI : 10.1007/978-3-540-24743-2_22

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Frehse, S. Kumar-jha, and B. H. Krogh, A counterexampleguided approach to parameter synthesis for linear hybrid automata, HSCC, volume 4981 of lncs, pp.187-200, 2008.

G. Frehse, B. H. Krogh, and R. A. Rutenbar, Verifying analog oscillator circuits using forward/backward abstraction refinement, Proceedings of the Design Automation & Test in Europe Conference, pp.257-262, 2006.
DOI : 10.1109/DATE.2006.244113

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Frehse, C. Le-guernic, A. Donzé, S. Cotton, R. Ray et al., SpaceEx: Scalable Verification of Hybrid Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV), pp.26-27, 2011.
DOI : 10.1007/978-3-642-00768-2_32

URL : https://hal.archives-ouvertes.fr/hal-00769608

G. Frehse and R. Ray, Design Principles for an Extendable Verification Tool for Hybrid Systems, Proceedings of ADHS'09, p.81, 2009.
DOI : 10.3182/20090916-3-ES-3003.00043

G. Frehse, An introduction to spaceex v0.8. http://spaceex.imag.fr/ documentation/user-documentation/introduction-spaceex-27, p.99

G. Frehse and . Phaver, PHAVer: algorithmic verification of hybrid systems past HyTech, International Journal on Software Tools for Technology Transfer, vol.11, issue.2, pp.263-279, 2008.
DOI : 10.1007/s10009-007-0062-x

C. Le, G. , and A. Girard, Reachability analysis of hybrid systems using support functions, Lecture Notes in Computer Science, vol.5643, pp.540-554
URL : https://hal.archives-ouvertes.fr/hal-00769527

A. Girard, C. L. Guernic, and O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, pp.257-271, 2006.
DOI : 10.1007/11730637_21

URL : https://hal.archives-ouvertes.fr/hal-00171555

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, p.93, 1994.

A. Girard, Analyse Algorithmique des Systemes Hybrides, p.22, 2004.
URL : https://hal.archives-ouvertes.fr/tel-00007064

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Lecture Notes in Computer Science, vol.3414, issue.23, pp.291-305, 2005.
DOI : 10.1007/978-3-540-31954-2_19

URL : https://hal.archives-ouvertes.fr/hal-00307003

E. Gawrilow and M. Joswig, Polymake: an approach to modular software design in computational geometry, Proceedings of the seventeenth annual symposium on Computational geometry , SCG '01, pp.222-231, 2001.
DOI : 10.1145/378583.378673

K. Pijush, K. V. Ghosh, and . Kumar, Support function representation of convex bodies, its application in geometric computing, and some related representations, Computer Vision and Image Understanding, vol.72, issue.16, pp.379-403, 1998.

A. Girard and C. L. Guernic, Efficient Reachability Analysis for Linear Systems using Support Functions, Proc. IFAC World Congress, p.87, 2008.
DOI : 10.3182/20080706-5-KR-1001.01514

URL : https://hal.archives-ouvertes.fr/hal-00307009

A. Thomas and . Henzinger, The theory of hybrid automata, IEEE Symp. Logic in Computer Science, 1996.

T. A. Henzinger, P. Ho, and H. Wong-toi, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008

T. A. Henzinger and P. W. Kopke, Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata?, Journal of Computer and System Sciences, pp.373-382, 1995.

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1992.
DOI : 10.1109/LICS.1992.185551

J. Gerard and . Holzmann, The model checker spin, IEEE Trans. Softw. Eng, vol.23, issue.5, pp.279-295, 1997.

E. M. Jr, O. Grumberg, and D. A. Peled, Model Checking, 1999.

A. H. Land and A. Doig, An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960.
DOI : 10.2307/1910129

L. Colas and . Guernic, Reachability analysis of hybrid systems with linear continuous dynamics, p.56, 2009.

J. L. Lions, Ariane 5 flight 501 software failure, 1996.

M. Livio, The Golden Ratio: The Story of Phi, the World's Most Astonishing Number, p.39, 2008.

I. M. Mitchell, Comparing Forward and Backward Reachability as Tools for Safety Analysis, Bemporad et al. [BBB07], pp.428-443
DOI : 10.1007/978-3-540-71493-4_34

O. Bryan and . Sullivan, Mercurial: The definitive Guide, pp.97-98, 2009.

H. William, W. T. Press, S. A. Vetterling, B. P. Teukolsky, and . Flannery, Numerical Recipes in C++: the art of scientific computing, p.40, 2002.

R. Tyrrell-rockafellar, Convex Analysis, p.36, 1970.
DOI : 10.1515/9781400873173

G. Rote and G. Unter-rote, Die Konvergenzrate des Sandwich-Algorithmus zur Approximation konvexer Funktionen, Computing, vol.10, issue.3-4, pp.337-361, 1992.
DOI : 10.1007/BF02238642

R. Schneider, Convex bodies : The Brunn-Minkowski Theory, p.33, 1993.
DOI : 10.1017/CBO9780511526282

S. Sankaranarayanan, T. Dang, and F. Ivancic, Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, Lecture Notes in Computer Science, vol.4963, pp.188-202, 2008.
DOI : 10.1007/978-3-540-78800-3_14

S. Sankaranarayanan, H. B. Sipma, and Z. Manna, Scalable Analysis of Linear Systems Using Mathematical Programming, Proc. of Verification, Model Checking and Abstract Interpretation (VMCAI), volume 3385 of lncs, pp.21-47, 2005.
DOI : 10.1007/978-3-540-30579-8_2

B. Stroustrup, The C++ Programming Language, First Edition, p.81, 1986.

M. Gnter and . Ziegler, Lectures on Polytopes, Graduate Texts in Mathematics, vol.152, p.15, 1995.