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
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Reachability Analysis of Nonlinear Systems Using Conservative Approximation, HSCC'03, pp.20-35, 2003. ,
DOI : 10.1007/3-540-36580-X_5
The d/dt tool for verification of hybrid systems, CAV, pp.365-370, 2002. ,
Modern C++ Design: Generic Programming and Design Patterns Applied, p.95, 2001. ,
Hybrid Systems: Computation and Control, 10th International Workshop, Proceedings, volume 4416 of lncs, p.106, 2007. ,
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
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
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
Uppaal -a tool suite for automatic verification of real-time systems, p.12, 1996. ,
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, SAS, pp.213-229, 2002. ,
DOI : 10.1007/3-540-45789-5_17
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=10.1.1.19.407
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 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
Linear Programming 1: Introduction, p.15, 1997. ,
Linear Programming 2: Theory and Extensions, p.30, 2003. ,
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=10.1.1.10.2566
A counterexampleguided approach to parameter synthesis for linear hybrid automata, HSCC, volume 4981 of lncs, pp.187-200, 2008. ,
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=10.1.1.127.9958
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
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
An introduction to spaceex v0.8. http://spaceex.imag.fr/ documentation/user-documentation/introduction-spaceex-27, p.99 ,
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
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
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
Design Patterns: Elements of Reusable Object-Oriented Software, p.93, 1994. ,
Analyse Algorithmique des Systemes Hybrides, p.22, 2004. ,
URL : https://hal.archives-ouvertes.fr/tel-00007064
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
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
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. ,
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
The theory of hybrid automata, IEEE Symp. Logic in Computer Science, 1996. ,
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
Anuj Puri, and Pravin Varaiya. What's decidable about hybrid automata?, Journal of Computer and System Sciences, pp.373-382, 1995. ,
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
The model checker spin, IEEE Trans. Softw. Eng, vol.23, issue.5, pp.279-295, 1997. ,
Model Checking, 1999. ,
An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960. ,
DOI : 10.2307/1910129
Reachability analysis of hybrid systems with linear continuous dynamics, p.56, 2009. ,
Ariane 5 flight 501 software failure, 1996. ,
The Golden Ratio: The Story of Phi, the World's Most Astonishing Number, p.39, 2008. ,
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
Mercurial: The definitive Guide, pp.97-98, 2009. ,
Numerical Recipes in C++: the art of scientific computing, p.40, 2002. ,
Convex Analysis, p.36, 1970. ,
DOI : 10.1515/9781400873173
Die Konvergenzrate des Sandwich-Algorithmus zur Approximation konvexer Funktionen, Computing, vol.10, issue.3-4, pp.337-361, 1992. ,
DOI : 10.1007/BF02238642
Convex bodies : The Brunn-Minkowski Theory, p.33, 1993. ,
DOI : 10.1017/CBO9780511526282
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
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
The C++ Programming Language, First Edition, p.81, 1986. ,
Lectures on Polytopes, Graduate Texts in Mathematics, vol.152, p.15, 1995. ,