Measures and LMIs for Impulsive Nonlinear Optimal Control

This note shows how to use semi-definite programming to find lower bounds on a large class of nonlinear optimal control problems with polynomial dynamics and convex semialgebraic state constraints and an affine dependence on the control. This is done by relaxing an optimal control problem into a linear programming problem on measures, also known as a generalized moment problem. The handling of measures by their moments reduces the problem to a convergent series of standard linear matrix inequality relaxations. When the optimal control consists of a finite number of impulses, we can recover simultaneously the actual impulse times and amplitudes by simple linear algebra. Finally, our approach can be readily implemented with standard software, as illustrated by a numerical example.

[1]  Raymond W. Rishel,et al.  An Extended Pontryagin Principle for Control Systems whose Control Laws Contain Measures , 1965 .

[2]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..

[3]  Denis Arzelier,et al.  Measures and LMI for impulsive optimal control with applications to space rendezvous problems , 2012, 2012 American Control Conference (ACC).

[4]  A. Bressan,et al.  On differential systems with vector-valued impulsive controls. , 1988 .

[5]  Alain Rapaport,et al.  Minimal Time Sequential Batch Reactors with Bounded and Impulse Controls for One or More Species , 2008, SIAM J. Control. Optim..

[6]  Alexander N. Daryin,et al.  Dynamic programming for impulse controls , 2008, Annu. Rev. Control..

[7]  Vladimir Gaitsgory,et al.  Linear Programming Approach to Deterministic Infinite Horizon Optimal Control Problems with Discounting , 2009, SIAM J. Control. Optim..

[8]  R. A. Silverman,et al.  Introductory Real Analysis , 1972 .

[9]  Dudley,et al.  Real Analysis and Probability: Measurability: Borel Isomorphism and Analytic Sets , 2002 .

[10]  W. Schmaedeke Optimal Control Theory for Nonlinear Vector Differential Equations Containing Measures , 1965 .

[11]  J. Lasserre,et al.  Measures and LMI for impulsive optimal control with applications to orbital rendezvous problems , 2012 .

[12]  Didier Henrion,et al.  Nonlinear optimal control synthesis via occupation measures , 2008, 2008 47th IEEE Conference on Decision and Control.

[13]  J. Lasserre Moments, Positive Polynomials And Their Applications , 2009 .

[14]  L. Ambrosio,et al.  Functions of Bounded Variation and Free Discontinuity Problems , 2000 .

[15]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[16]  H. Brezis Functional Analysis, Sobolev Spaces and Partial Differential Equations , 2010 .

[17]  L. Neustadt Optimization, a Moment Problem, and Nonlinear Programming , 1964 .

[18]  Didier Henrion,et al.  GloptiPoly 3: moments, optimization and semidefinite programming , 2007, Optim. Methods Softw..