Back to Results
First PageMeta Content
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

Document Date: 2014-09-21 01:20:26


Open Document

File Size: 861,64 KB

Share Result on Facebook

Company

IBM / Cambridge University Press / Let P SDn / Hybrid Systems / SIAM Journal / International Business Machines Corporation / P SDn / Boston Dynamics Inc. / /

Currency

pence / SOS / /

/

Event

FDA Phase / /

Facility

Princeton University / Prentice Hall / Massachusetts Institute of Technology / California Institute of Technology / /

IndustryTerm

interior point algorithm / real-time decision making / consensus algorithms / inner product / automated search / algebraic tools / nonlinear and switched systems / continuous time dynamical systems / real-time optimization / dynamical systems / software verification / approximation algorithms / optimization tools / dimensional systems / switched linear systems / matrix products / sos algorithm / stable systems / Similar algorithms / feasible solution / time systems / control systems / squares algorithms / nonlinear systems / classical tools / safety-critical software systems / controls applications / robotics applications / linear systems / algebraic algorithms / /

OperatingSystem

DSOS / /

Organization

California Institute of Technology / Cambridge University / A. Organization / International Federation of Automatic Control / MIT / Princeton University / Massachusetts Institute of Technology / Department of Electrical Engineering and Computer Science / World Congress / American Mathematical Society / Department of Operations Research and Financial Engineering / SOS (red) / /

Person

Gary J Balas / Anirudha Majumdar / Bogdan Dumitrescu / Dan Andrei Iancu / Dimitris Bertsimas / Pablo A Parrilo / Ai / Peter Seiler / Christopher Hillar / Lieven Vandenberghe / Roh Tae / Addison Wesley / Abhijit Chakraborty / Lek-Heng Lim / Amir Ali Ahmadi / Andrew K Packard / John Harrison / Russ Tedrake / /

Position

salesman / cubic controller / stabilizing controller / representative / controller / /

Product

F/A-18 / F/A-18 Hornet / Lyapunov / Flight Control Laws / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Physical Review Letters / Lecture Notes in Computer Science / /

Technology

SDP-based approximation algorithms / consensus algorithms / sos algorithm / interior point algorithm / machine learning / squares algorithms / approximation algorithms / /

URL

www.youtube.com / http /

SocialTag