Matthew M. Peet, Antonis Papachristodoulou. A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 5949-5954, IEEE, 2010. [doi]
Abstract is missing.