Abstract:We propose a tutorial on relaxations and weak formulations of optimal control with their semidefinite approximations. We present this approach solely through the prism of positivity certificates which we consider to be the most accessible for a broad audience, in particular in the engineering and robotics communities. This simple concept allows us to express very concisely powerful approximation certificates in control. The relevance of this technique is illustrated on three applications: region of attraction approximation, direct optimal control and inverse optimal control, for which it constitutes a common denominator. In a first step, we highlight the core mechanisms underpinning the application of positivity in control and how they appear in the different control applications. This relies on simple mathematical concepts and gives a unified treatment of the applications considered. This presentation is based on the combination and simplification of published materials. In a second step, we describe briefly relations with broader literature, in particular, occupation measures and Hamilton–Jacobi–Bellman equation which are important elements of the global picture. We describe the Sum-Of-Squares (SOS) semidefinite hierarchy in the semialgebraic case and briefly mention its convergence properties. Numerical experiments on a classical example in robotics, namely the nonholonomic vehicle, illustrate the concepts presented in the text for the three applications considered.

Positive Attitude [From the Editor]

Positivity Certificates in Optimal Control

Projective positivity of the function systems

Positive positive-definite functions and measures on locally compact abelian groups

Positivity and Positivity-Definiteness for Cauchy Powers of Linear Functionals on the Linear Space of Polynomials

Differential Positivity on Compact Sets

Total positivity: tests and parametrizations

Quantitatively Hyper-Positive Real Functions

Positivity preservers forbidden to operate on diagonal blocks

Criterion of positivity for semilinear problems with applications in biology

Positivity, Betweenness and Strictness of Operator Means

Positivity properties of scattering amplitudes

There are many more positive maps than completely positive maps

On the positivity of Riemann-Stieltjes integrals

Conditionally positive definiteness in operator theory

Experiments with a Positivity Preserving Operator

Fejér* monotonicity in optimization algorithms

Spatially interconnected systems positive on a quadratically constrained frequency domain

General monotonicity

A note on the positivity of inverse operators acting on $C^*$-algebras

Atomicity of positive monoids