Source author record

Mathieu Claeys

Mathieu Claeys appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2014arXiv

Modal occupation measures and LMI relaxations for nonlinear switched systems control

This paper presents a linear programming approach for the optimal control of nonlinear switched systems where the control is the switching sequence. This is done by introducing modal occupation measures, which allow to relax the problem as a primal linear programming (LP) problem. Its dual linear program of Hamilton-Jacobi-Bellman inequalities is also characterized. The LPs are then solved numerically with a converging hierarchy of primal-dual moment-sum-of-squares (SOS) linear matrix inequalities (LMI). Because of the special structure of switched systems, we obtain a much more efficient method than could be achieved by applying standard moment/SOS LMI hierarchies for general optimal control problems.

preprint2014arXiv

Reconstructing trajectories from the moments of occupation measures

Moment optimization techniques have been recently proposed to solve globally various classes of optimal control problems. As those methods return truncated moment sequences of occupation measures, this paper explores a numeric method for reconstructing optimal trajectories and controls from this data. In fact, by approximating occupation measures by atomic measures on a given grid, the problem reduces to a finite-dimensional linear program. In contrast with earlier numerical methods, this linear program is guaranteed to be feasible, no tolerance needs to be specified, and its size can be properly controlled. When combined with local optimal control solvers, this yields a powerful and flexible numerical approach for tackling difficult control problems, as demonstrated by examples.

preprint2014arXiv

Semi-definite relaxations for optimal control problems with oscillation and concentration effects

Converging hierarchies of finite-dimensional semi-definite relaxations have been proposed for state-constrained optimal control problems featuring oscillation phe-nomena, by relaxing controls as Young measures. These semi-definite relaxations were later on extended to optimal control problems depending linearly on the con-trol input and typically featuring concentration phenomena, interpreting the control as a measure of time with a discrete singular component modeling discontinuities or jumps of the state trajectories. In this contribution, we use measures intro-duced originally by DiPerna and Majda in the partial differential equations litera-ture to model simultaneously, and in a unified framework, possible oscillation and concentration effects of the optimal control policy. We show that hierarchies of semi-definite relaxations can also be constructed to deal numerically with noncon-vex optimal control problems with polynomial vector field and semialgebraic state constraints.

preprint2013arXiv

Optimal switching control design for polynomial systems: an LMI approach

We propose a new LMI approach to the design of optimal switching sequences for polynomial dynamical systems with state constraints. We formulate the switching design problem as an optimal control problem which is then relaxed to a linear programming (LP) problem in the space of occupation measures. This infinite-dimensional LP can be solved numerically and approximately with a hierarchy of convex finite-dimensional LMIs. In contrast with most of the existing work on LMI methods, we have a guarantee of global optimality, in the sense that we obtain an asympotically converging (i.e. with vanishing conservatism) hierarchy of lower bounds on the achievable performance. We also explain how to construct an almost optimal switching sequence.

preprint2011arXiv

Measures and LMI for impulsive optimal control with applications to space rendezvous problems

This paper shows how to find lower bounds on, and sometimes solve globally, a large class of nonlinear optimal control problems with impulsive controls using semi-definite programming (SDP). This is done by relaxing an optimal control problem into a measure differential problem. The manipulation of the measures by their moments reduces the problem to a convergent series of standard linear matrix inequality (LMI) relaxations. After providing numerous academic examples, we apply the method to the impulsive rendezvous of two orbiting spacecrafts. As the method provides lower bounds on the global infimum, global optimality of the solutions can be guaranteed numerically by a posteriori simulations, and we can recover simultaneously the optimal impulse time and amplitudes by simple linear algebra.