Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization (Tutorial paper for the 53rd IEEE Conference on Decision and Control) Amir Ali Ahmadi and Pablo A. Pa

First Page		Document Content
Date: 2014-09-21 01:20:26 Stability theory Systems theory Real algebraic geometry Applied mathematics Dynamical systems Lyapunov function Sum-of-squares optimization Semidefinite programming Lyapunov stability Mathematics Mathematical optimization Operations research		Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization (Tutorial paper for the 53rd IEEE Conference on Decision and Control) Amir Ali Ahmadi and Pablo A. Pa Add to Reading List Source URL: www.princeton.edu Download Document from Source Website File Size: 861,64 KB Share Document on Facebook

	Special Sessions Special Session 1: Qualitative Studies of PDEs: Entire Solutions and Asymptotic Behavior Peter Polacik, University of Minnesota, USA Eiji Yanagida, Tokyo Institute of Technology, Japan The aim of this se DocID: 1riz8 - View Document
	9th AIMS CONFERENCE – ABSTRACTS 92 Special Session 21: Dynamical Systems and Spectral Theory David Damanik, Rice University, USA DocID: 1r7by - View Document
	P ROOF OF MAIN RESULT results in The goal is to find a Lyapunov function V on S for the Poincaré map Pε defined (locally) on the section S associated DocID: 1qOR2 - View Document
	1 Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics Aaron D. Ames, Kevin Galloway, J. W. Grizzle, and Koushil Sreenath DocID: 1qLF7 - View Document
	SPECIAL SESSIONSpecial Session 18: Qualitative Theory of Evolutionary Equation and its Application DocID: 1qrUB - View Document