Numerical determination of domains of attraction for electrical power systems using the method of Zubov, Internat. J. Control, vol.34, pp.371-381, 1981. ,
Linear programming based Lyapunov function computation for differential inclusions, Discrete Contin, Dyn. Syst. Ser. B, vol.17, pp.33-56, 2012. ,
A regularization of Zubov's equation for robust domains of attraction, in Nonlinear Control in the Year 2000, Proc, pp.277-290, 2000. ,
A small-gain type stability criterion for large scale networks of ISS systems, Proceedings of the 44th IEEE Conference on Decision and Control, 2005. ,
DOI : 10.1109/CDC.2005.1583060
Existence of piecewise linear Lyapunov functions in arbitrary dimensions, Discrete Contin, Dyn. Syst, vol.32, pp.3539-3565, 2012. ,
Numerical ISS controller design via a dynamic game approach, 52nd IEEE Conference on Decision and Control, p.2013, 2013. ,
DOI : 10.1109/CDC.2013.6760132
A constructive converse Lyapunov theorem on exponential stability, Discrete Contin A constructive converse Lyapunov theorem on asymptotic stability for nonlinear autonomous ordinary differential equations of Electron, 13] , An algorithm for constructing Lyapunov functions, pp.657-678, 2004. ,
A Lyapunov formulation of the nonlinear smallgain theorem for interconnected ISS systems, Automatica J. IFAC, pp.32-1211, 1996. ,
Zubov's method for interconnected systems ? a dissipative formulation, Proc. 20th Int. Symp. Math. Theory of Networks and Systems, 2012. ,
Lyapunov function construction for ordinary differential equations with linear programming, Dynamical Systems, vol.40, issue.2, pp.137-150, 2002. ,
DOI : 10.1007/BF01600051
Stability analysis of complex dynamical systems, Circuits, Systems, and Signal Processing, vol.28, issue.No. 7, pp.171-202, 1982. ,
DOI : 10.1007/BF01600051
[19] , Some connections between stabilization and factorization, Smooth stabilization implies coprime factorization Proc. of the 28th IEEE Conference on Decision and Control Further facts about input to state stabilization, pp.435-443, 1989. ,
On characterizations of the input-to-state stability property, Systems Control Lett [22] , New characterizations of input-to-state stability, IEEE Trans. Automat. Control, vol.24, pp.351-359, 1995. ,