V. Acary and B. Brogliato, Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00423530

A. Agrawal, G. Simon, and G. Karsai, Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations, Electronic Notes in Theoretical Computer Science, vol.109, 2004.
DOI : 10.1016/j.entcs.2004.02.055

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, 1995.

R. Alur, A. Kanade, S. Ramesh, and K. C. Shashidhar, Symbolic analysis for improving simulation coverage of Simulink/Stateflow models, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, 2008.
DOI : 10.1145/1450058.1450071

R. Bagnara, P. M. Hill, and E. Zaffanella, Not necessarily closed convex polyhedra and the double description method, Formal Aspects of Computing, vol.17, issue.2, 2005.
DOI : 10.1007/s00165-005-0061-1

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, LCTES, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654112

A. Benveniste, B. Caillaud, and M. Pouzet, The fundamentals of hyrid systems modelers, Conference on Decision and Control, 2010.

X. Briand and B. Jeannet, Combining control and data abstraction in the verification of hybrid systems, Computer-Aided Design of Integrated Circuits and Systems, issue.10, p.29, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00786337

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1987.
DOI : 10.1145/41625.41641

A. Chutinan and B. H. Krogh, Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, HSCC, volume 1569 of LNCS, 1999.
DOI : 10.1007/3-540-48983-5_10

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086261

P. Cousot and R. Cousot, Comparing the Galois connection and widening/narrowing approaches to abstract interpretation, PLILP'92, 1992.
DOI : 10.1007/3-540-55844-6_142

T. Dang and T. M. Gawlitza, Discretizing Affine Hybrid Automata with Uncertainty, Automated Technology for Verification and Analysis, 2011.
DOI : 10.1007/978-3-642-24372-1_36

A. F. Filippov, Differential equations with discontinuous right-hand side, Mathematicheskii Sbornik, vol.51, issue.1, 1960.
DOI : 10.1090/trans2/042/13

M. Fränzle and C. Herde, HySAT: An efficient proof engine for bounded model checking of hybrid systems, Formal Methods in System Design, vol.68, issue.2, 2007.
DOI : 10.1007/s10703-006-0031-0

G. Frehse, PHAVer: Algorithmic verification of hybrid systems past HyTech, HSCC, 2005.

G. Frehse, C. L. Guernic, A. Donzé, R. Ray, O. Lebeltel et al., SpaceEx: Scalable Verification of Hybrid Systems, Computer-Aided Verification, 2011.
DOI : 10.1007/978-3-642-00768-2_32
URL : https://hal.archives-ouvertes.fr/hal-00769608

N. Halbwachs, Y. Proy, and P. Roumanoff, Verification of real-time systems using linear relation analysis, Formal Methods in System Design, vol.11, issue.2, 1997.

T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
DOI : 10.1109/LICS.1996.561342

T. A. Henzinger, P. Ho, and H. Wong-toi, HyTech: A model checker for hybrid systems, Journal on Software Tools for Technology Transfer, vol.1, issue.12, 1997.

A. C. Hindmarsh, P. N. Brown, K. E. Grant, S. L. Lee, R. Serban et al., SUNDIALS, ACM Transactions on Mathematical Software, vol.31, issue.3, p.31, 2005.
DOI : 10.1145/1089014.1089020

B. Jeannet, Bddapron: A logico-numerical abstract domain library, 2009.

T. Lindstrøm, AN INVITATION TO NONSTANDARD ANALYSIS, Nonstandard Analysis and its Applications, pp.1-105, 1988.
DOI : 10.1017/CBO9781139172110.002

K. Manamcheri, S. Mitra, S. Bak, and M. Caccamo, A step towards verification and synthesis from simulink/stateflow models, Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, 2011.
DOI : 10.1145/1967701.1967749

M. Najafi and R. Nikoukhah, Implementation of Hybrid Automata in Scicos, 2007 IEEE International Conference on Control Applications, 2007.
DOI : 10.1109/CCA.2007.4389334

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, 2006.

S. Ratschan and Z. She, Safety verification of hybrid systems by constraint propagation-based abstraction refinement, Transactions on Embedded Computing Systems, vol.6, issue.1, 2007.

P. Raymond, Y. Roux, and E. Jahier, Lutin: A Language for Specifying and Executing Reactive Scenarios, EURASIP Journal on Embedded Systems, vol.9, issue.1, 2008.
DOI : 10.1007/s10009-006-0023-9
URL : http://doi.org/10.1155/2008/753821

A. Robinson, Non-Standard Analysis, 1996.

P. Schrammel and B. Jeannet, From hybrid system data-flow to hybrid automata: A complete translation, 2012.

S. Tripakis, C. Sofronis, P. Caspi, and A. Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, 2005.
DOI : 10.1145/1113830.1113834

V. I. Utkin, Sliding modes in Control and optimization, 1992.
DOI : 10.1007/978-3-642-84379-2