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

M. Bardi and I. C. Dolcetta, Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman equations, 1997.
DOI : 10.1007/978-0-8176-4755-1

F. Camilli, L. Grüne, and F. Wirth, A regularization of Zubov???s equation for robust domains of attraction, Lecture Notes in Control and Inform, vol.258, pp.277-290, 2000.
DOI : 10.1007/BFb0110220

F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth analysis and control theory, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00863298

S. Dashkovskiy, B. Rüffer, and F. Wirth, An ISS small-gain theorem for general networks Zentrum für Technomathematik, aus der Technomathematik 05-05, 2005.
DOI : 10.1007/s00498-007-0014-8

URL : http://arxiv.org/abs/math/0506434

P. Giesl and S. Hafstein, Existence of piecewise linear Lyapunov functions in arbitrary dimensions, Discrete and Continuous Dynamical Systems, vol.32, issue.10, pp.3539-3565, 2012.
DOI : 10.3934/dcds.2012.32.3539

L. Grüne, Asymptotic behavior of dynamical and control systems under perturbation and discretization, ser. Lecture Notes in Math, 2002.

L. Grüne and M. Sigurani, Numerical ISS controller design via a dynamic game approach, 52nd IEEE Conference on Decision and Control, pp.2013-1732, 2013.
DOI : 10.1109/CDC.2013.6760132

S. F. Hafstein, A constructive converse Lyapunov theorem on exponential stability, Discrete and Continuous Dynamical Systems, vol.10, issue.3, pp.657-678, 2004.
DOI : 10.3934/dcds.2004.10.657

?. , A. Algorithm, . Constructing-lyapunov-functions, and . Electron, A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems, J. Differ. Equ. Monogr. Texas State University?San Marcos, Department of Mathematics Automatica J. IFAC, vol.8, issue.32 8, pp.1211-1215, 1996.

C. M. Kellett and A. R. Teel, On the Robustness of $\mathcalKL$-stability for Difference Inclusions: Smooth Discrete-Time Lyapunov Functions, SIAM Journal on Control and Optimization, vol.44, issue.3, pp.777-800, 2005.
DOI : 10.1137/S0363012903435862

H. Li, R. Baier, L. Grüne, S. F. Hafstein, and F. Wirth, A linear programming approach to the computation of ISS Lyapunov functions, p.16, 2013.

H. Li and F. Wirth, Zubov's method for interconnected systems ? a dissipative formulation, Proc. 20th Int. Symp. Math. Theory of Networks and Systems (MTNS 2012)

S. F. Marinósson, Lyapunov function construction for ordinary differential equations with linear programming, Dynamical Systems, vol.40, issue.2, pp.137-150, 2002.
DOI : 10.1007/BF01600051

A. N. Michel, N. R. Sarabudla, and R. K. Miller, Stability analysis of complex dynamical systems: Some computational methods, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, pp.171-202, 1982.
DOI : 10.1109/CDC.1981.269528

E. D. Sontag, Smooth stabilization implies coprime factorization, IEEE Transactions on Automatic Control, vol.34, issue.4, pp.435-443, 1989.
DOI : 10.1109/9.28018

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.1219

E. D. Sontag and Y. Wang, On characterizations of the input-to-state stability property, Systems & Control Letters, vol.24, issue.5, pp.351-359, 1995.
DOI : 10.1016/0167-6911(94)00050-6

A. 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, issue.1, pp.313-367, 2000.
DOI : 10.1051/cocv:2000113