M. Althoff, An introduction to CORA 2015, ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, pp.120-151, 2015.

M. Althoff, B. H. Krogh, and O. Stursberg, Modeling, Design, and Simulation of Systems with Uncertainties, chapter Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties, pp.69-94978, 2011.

M. Althoff, C. L. Guernic, and B. H. Krogh, Reachable set computation for uncertain time-varying linear systems, Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, pp.93-102, 2011.
DOI : 10.1145/1967701.1967717

A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, Symbolic model checking without BDDs In Tools and Algorithms for Construction and Analysis of Systems TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, 5th International Conference Proceedings, volume 1579 of Lecture Notes in Computer Science, pp.193-207, 1999.

D. Cattaruzza, A. Abate, P. Schrammel, and D. Kroening, Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration, Static Analysis -22nd International Symposium , SAS 2015 Proceedings, pp.312-331, 2015.
DOI : 10.1007/978-3-662-48288-9_18

D. Cattaruzza, A. Abate, P. Schrammel, and D. Kroening, Unboundedtime analysis of guarded LTI systems with inputs by abstract acceleration (extended version

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

J. Feret, Static analysis of digital filters Held as Part of the Joint European Conferences on Theory and Practice of Software, Programming Languages and Systems, 13th European Symposium on Programming Proceedings, volume 2986 of Lecture Notes in Computer Science, pp.33-48, 2004.

L. Gonnord and N. Halbwachs, Combining Widening and Acceleration in Linear Relation Analysis, Static Analysis, 13th International Symposium Proceedings, pp.144-160, 2006.
DOI : 10.1007/11823230_10
URL : https://hal.archives-ouvertes.fr/hal-00189614

L. Gonnord and P. Schrammel, Abstract acceleration in linear relation analysis, Science of Computer Programming, vol.93, pp.125-153
DOI : 10.1016/j.scico.2013.09.016
URL : https://hal.archives-ouvertes.fr/hal-00785116

B. Jeannet, P. Schrammel, and S. Sankaranarayanan, Abstract acceleration of general linear loops, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.529-540
DOI : 10.1145/2535838.2535843
URL : https://hal.archives-ouvertes.fr/hal-00924264

A. A. Kurzhanskiy and P. Varaiya, Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, IEEE Transactions on Automatic Control, vol.52, issue.1, pp.26-38, 2007.
DOI : 10.1109/TAC.2006.887900

C. and L. Guernic, Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics
URL : https://hal.archives-ouvertes.fr/tel-00422569

C. , L. Guernic, and A. Girard, Reachability analysis of hybrid systems using support functions, Computer Aided Verification, 21st International Conference Proceedings, pp.540-554, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00769527

C. , L. Guernic, and A. Girard, Reachability analysis of linear systems using support functions Nonlinear Analysis: Hybrid Systems, World Congress, pp.250-262, 2008.

S. Prajna and A. Jadbabaie, Safety Verification of Hybrid Systems Using Barrier Certificates, Hybrid Systems: Computation and Control, 7th International Workshop Proceedings , volume 2993 of Lecture Notes in Computer Science, pp.477-492, 2004.
DOI : 10.1007/978-3-540-24743-2_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.1015

P. Roux, R. Jobredeaux, P. Garoche, and E. Feron, A generic ellipsoid abstract domain for linear time invariant systems In Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, pp.105-114, 2012.