I. Barkana, Defending the beauty of the Invariance Principle, International Journal of Control, vol.46, issue.1, pp.186-206, 2014.
DOI : 10.1137/1.9780898719185

S. Boldo, C. Lelay, and G. Melquiond, Coquelicot: A User-Friendly Library of Real Analysis for Coq, Mathematics in Computer Science, vol.24, issue.9, pp.41-62, 2015.
DOI : 10.1109/32.713327
URL : https://hal.archives-ouvertes.fr/hal-00860648

G. Cano, Interaction entre algèbre linéaire et analyse en formalisation des mathématiques . (Interaction between linear algebra and analysis in formal mathematics ), 2014.

M. Chan, D. Ricketts, S. Lerner, and G. Malecha, Formal Verification of Stability Properties of Cyber-physical Systems, 2016.

V. Chellaboina, A. Leonessa, and W. M. Haddad, Generalized Lyapunov and invariant set theorems for nonlinear dynamical systems, Systems & Control Letters, vol.38, issue.4-5, pp.289-295, 1999.
DOI : 10.1016/S0167-6911(99)00076-6

N. R. Fischer, R. Kamalapurkar, and W. E. Dixon, LaSalle-Yoshizawa Corollaries for Nonsmooth Systems, IEEE Transactions on Automatic Control, vol.58, issue.9, pp.2333-2338, 2013.
DOI : 10.1109/TAC.2013.2246900

G. Gonthier, Formal proof ? The Four-Color Theorem, Notices of the AMS, vol.55, issue.11, pp.1382-1393, 2008.

G. Gonthier, A. Asperti, J. Avigad, Y. Bertot, C. Cohen et al., A Machine-Checked Proof of the Odd Order Theorem, pp.163-179
DOI : 10.1007/978-3-642-39634-2_14
URL : https://hal.archives-ouvertes.fr/hal-00816699

G. Gonthier, A. Mahboubi, and E. Tassi, A Small Scale Reflection Extension for the Coq system, 2015.
URL : https://hal.archives-ouvertes.fr/inria-00258384

H. Herencia-zapana, R. Jobredeaux, S. Owre, P. Garoche, E. Feron et al., PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL, NASA Formal Methods -4th International Symposium, NFM 2012, pp.147-161978, 2012.
DOI : 10.1007/978-3-642-28891-3_15

J. Hölzl, F. Immler, B. Huffman, and . Blazy, Type Classes and Filters for Mathematical Analysis in Isabelle/HOL, pp.279-294978

H. Khalil, Nonlinear Systems. Pearson Education, 2002.

J. Lasalle, Some Extensions of Liapunov's Second Method, IRE Transactions on Circuit Theory, vol.7, issue.4, pp.520-527, 1960.
DOI : 10.1109/TCT.1960.1086720

D. R. Lester, Topology in PVS, Proceedings of the second workshop on Automated formal methods , AFM '07, pp.11-20, 2007.
DOI : 10.1145/1345169.1345171

A. Liapounoff, Problème général de la stabilité du mouvement Annales de la Faculté des sciences de Toulouse : Mathématiques 9, pp.203-474, 1907.

R. Lozano, I. Fantoni, and D. Block, Stabilization of the inverted pendulum around its homoclinic orbit, Systems & Control Letters, vol.40, issue.3, pp.197-204, 2000.
DOI : 10.1016/S0167-6911(00)00025-6

J. L. Mancilla-aguilar and R. A. García, An extension of LaSalle's invariance principle for switched systems, Systems & Control Letters, vol.55, issue.5, pp.376-384, 2006.
DOI : 10.1016/j.sysconle.2005.07.009

M. Mayero, Formalisation et automatisation de preuves en analyses réelle et numérique, 2001.

S. Mitra and K. M. Chandy, A Formalized Theory for Verifying Stability and Convergence of Automata in PVS, Theorem Proving in Higher Order Logics, 21st International Conference, pp.230-245, 2008.
DOI : 10.1007/978-3-540-71493-4_43

B. Padlewska and A. Darmochwa?, Topological Spaces and Continuous Functions, Formalized Mathematics, vol.1, issue.1, pp.223-230, 1990.

A. Wilansky, Topology for Analysis. Dover books on mathematics, p.2222525, 2008.