J. Aubin and A. Cellina, Differential Inclusions, ser. Grundlehren der mathematischen Wissenschaften, 1984.

A. Bacciotti and F. Ceragioli, Stability and Stabilization of Discontinuous Systems and Nonsmooth Lyapunov Functions, ESAIM: Control, Optimisation and Calculus of Variations, vol.4, pp.361-376, 1999.
DOI : 10.1051/cocv:1999113

R. Baier, L. Grüne, and S. F. Hafstein, Linear programming based Lyapunov function computation for differential inclusions, Discrete and Continuous Dynamical Systems - Series B, vol.17, issue.1, pp.33-56, 2012.
DOI : 10.3934/dcdsb.2012.17.33
URL : https://hal.archives-ouvertes.fr/hal-00724864

F. Camilli, L. Grüne, and F. Wirth, Construction of Lyapunov functions on the domain of asymptotic nullcontrollability: theory, " in NMPC, estimation and identification, Proc. 6th IFAC Sympos. on Nonlin, pp.877-882, 2004.

F. Clarke, Lyapunov functions and discontinuous stabilizing feedback, Annual Reviews in Control, vol.35, issue.1, pp.13-33, 2011.
DOI : 10.1016/j.arcontrol.2011.03.001
URL : https://hal.archives-ouvertes.fr/hal-00863296

F. H. Clarke, Y. S. Ledyaev, E. D. Sontag, and A. I. Subbotin, Asymptotic controllability implies feedback stabilization, IEEE Transactions on Automatic Control, vol.42, issue.10, pp.1394-1407, 1997.
DOI : 10.1109/9.633828
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.7617

F. H. Clarke, Y. S. Ledyaev, and R. J. Stern, Asymptotic Stability and Smooth Lyapunov Functions, Journal of Differential Equations, vol.149, issue.1, pp.69-114, 1998.
DOI : 10.1006/jdeq.1998.3476

F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory, ser. Graduate Texts in Mathematics, 1998.

V. F. Demyanov and A. M. Rubinov, Constructive nonsmooth analysis, ser. Approximation and Optimization. Frankfurt/Main Russian original " Foundations of nonsmooth analysis, and quasidifferential calculus, 1990.

T. Donchev, V. Ríos, and P. Wolenski, Strong invariance and one-sided Lipschitz multifunctions, Nonlinear Analysis: Theory, Methods & Applications, vol.60, issue.5, pp.849-862, 2005.
DOI : 10.1016/j.na.2004.09.050

G. Optimization and . Inc, Gurobi optimizer reference manual. Version 5.6, 2013.

C. M. Kellett and A. R. Teel, Discrete-time asymptotic controllability implies smooth control-Lyapunov function, Systems & Control Letters, vol.52, issue.5, pp.349-359, 2004.
DOI : 10.1016/j.sysconle.2004.02.011

L. Rifford, Existence of Lipschitz and Semiconcave Control-Lyapunov Functions, SIAM Journal on Control and Optimization, vol.39, issue.4, pp.1043-1064, 2000.
DOI : 10.1137/S0363012999356039
URL : https://hal.archives-ouvertes.fr/hal-00768995

E. D. Sontag, A Lyapunov-Like Characterization of Asymptotic Controllability, SIAM Journal on Control and Optimization, vol.21, issue.3, pp.462-471, 1983.
DOI : 10.1137/0321028

E. D. Sontag and H. J. Sussman, Nonsmooth control-Lyapunov functions, Proceedings of 1995 34th IEEE Conference on Decision and Control, pp.2799-2805, 1995.
DOI : 10.1109/CDC.1995.478542

A. R. Teel and L. Praly, A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions, ESAIM: Control, Optimisation and Calculus of Variations, vol.5, pp.313-367, 2000.
DOI : 10.1051/cocv:2000113