Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Convex computation of the region of attraction of polynomial control systems
 
research article

Convex computation of the region of attraction of polynomial control systems

Henrion, Didier
•
Korda, Milan  
2014
IEEE Transactions on Automatic Control

We address the long-standing problem of computing the region of attraction (ROA) of a target set (typically a neighborhood of an equilibrium point) of a controlled nonlinear system with polynomial dynamics and semialgebraic state and input constraints. We show that the ROA can be computed by solving a convex linear programming (LP) problem over the space of measures. In turn, this problem can be solved approximately via a classical converging hierarchy of convex finite-dimensional linear matrix inequalities (LMIs). Our approach is genuinely primal in the sense that convexity of the problem of computing the ROA is an outcome of optimizing directly over system trajectories. The dual LP on nonnegative continuous functions (approximated by polynomial sum-of-squares) allows us to generate a hierarchy of semialgebraic outer approximations of the ROA at the price of solving a sequence of LMI problems with asymptotically vanishing conservatism. This sharply contrasts with the existing literature which follows an exclusively dual Lyapunov approach yielding either nonconvex bilinear matrix inequalities or conservative LMI conditions.

  • Files
  • Details
  • Metrics
Type
research article
DOI
10.1109/Tac.2013.2283095
Web of Science ID

WOS:000330767500002

Author(s)
Henrion, Didier
Korda, Milan  
Date Issued

2014

Publisher

Institute of Electrical and Electronics Engineers

Published in
IEEE Transactions on Automatic Control
Volume

52

Issue

2

Start page

297

End page

312

Subjects

Capture basin

•

convex optimization

•

linear matrix inequalities (LMIs)

•

occupation measures

•

polynomial control systems

•

reachable set

•

region of attraction

•

viability theory

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LA  
Available on Infoscience
August 7, 2012
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/84450
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés