Laboratoire d’Analyse et d’Architecture des Systèmes
S.GUMUSSOY, D.HENRION, M.MILLSTONE, M.L.OVERTON
KUL, MAC, New York
Manifestation avec acte : IFAC Symposium on Robust Control Design (Rocond'09), Haifa (Israël), 16-18 Juin 2009, 12p. , N° 09316
Lien : http://hal.archives-ouvertes.fr/hal-00385733/fr/
Diffusable
Plus d'informations
Multiobjective control design is known to be a difficult problem both in theory and practice. Our approach is to search for locally optimal solutions of a nonsmooth optimization problem that is built to incorporate minimization objectives and constraints for multiple plants. We report on the success of this approach using our public-domain Matlab toolbox HIFOO 2.0, comparing our results with benchmarks in the literature.
D.HENRION
MAC
Revues de Vulgarisation : Images des mathémathiques, 1 Mai 2009 , N° 09660
Lien : http://images.math.cnrs.fr/Le-logo-du-CNRS.html
Diffusable
119370J.MC KERNAN, M.GANI, F.YANG, D.HENRION
Brunel, King's College, MAC
Revue Scientifique : IEEE Signal Processing Letters, Vol.16, N°5, pp.362-365, Mai 2009 , N° 08612
Diffusable
Plus d'informations
Variability in the analogue components of integrators in cascaded 2-1 Sigma-Delta modulators causes imperfect cancellation of first stage quantization noise, and reduced signal-to-noise ratio in analogue-to-digital converters. Design of robust matching filters based on low-frequency weighted convex optimization over uncertain linearized representations are mathematically very complex and computationally intensive, and offer little insight into the solution. This letter describes a design method based on formal optimization of a low-frequency uncertain linearized model of the modulator, and leads to a simple intuitive result which can shed light on the more complex models. Simulation results confirm the optimal properties of the filter.
D.HENRION
MAC
Revue Scientifique : Matapli, N°88, pp.63-71, Février 2009 , N° 09108
Lien : http://hal.archives-ouvertes.fr/hal-00331530/fr/
Diffusable
Plus d'informations
En octobre 2008 le CNRS adopte un nouveau logotype à la forme arrondie. Nous étudions la représentation mathématique de cette forme, et en particulier sa convexité.
J.C.ZUNIGA, D.HENRION
MAC
Revue Scientifique : Applied Mathematics and Computation, Vol.207, N°1, pp.256-272, Janvier 2009 , N° 04669
Diffusable
Plus d'informations
In this paper, we present an improved algorithm to compute the minimal null-space basis of polynomial matrices, a problem which has many applications in control and systems theory. This algorithm takes advantage of the block Toeplitz structure of the Sylvester matrix associated with the polynomial matrix. The analysis of algorithmic complexity and numerical stability shows that the algorithm is reliable and can be considered as an efficient alternative to the well-known pencil (state-space) algorithms found in the literature.
W.MICHIELS, T.VYHLIDAL, P.ZITEK, H.NIJMEIJER, D.HENRION
KUL, CTU, Eindhoven, MAC
Revue Scientifique : SIAM Journal on Control and Optimization, Vol.48, N°2, pp.763-786, 2009 , N° 07477
Diffusable
Plus d'informations
D.HENRION, J.B.LASSERRE, C.SAVORGNAN
MAC
Manifestation avec acte : 47th IEEE Conference on Decision and Control (CDC 2008), Cancun (Mexique), 9-11 Décembre 2008, 16p. , N° 08155
Lien : http://hal.archives-ouvertes.fr/hal-00262309/fr/
Diffusable
Plus d'informations
We consider nonlinear optimal control problems (OCPs) for which all problem data are polynomial. In the first part of the paper, we review how occupation measures can be used to approximate pointwise the optimal value function of a given OCP, using a hierarchy of linear matrix inequality (LMI) relaxations. In the second part, we extend the methodology to approximate the optimal value function on a given set and we use such a function to constructively and computationally derive an almost optimal control law. Numerical examples show the effectiveness of the approach.
D.HENRION
MAC
Rapport LAAS N°08444, Septembre 2008, 15p.
Lien : http://hal.archives-ouvertes.fr/hal-00320368/fr/
Diffusable
Plus d'informations
Conditions are given for the convex hull of a plane quartic to be exactly semidefinite representable with at most 12 lifting variables. If the quartic is rationally parametrizable, an exact semidefinite representation with 2 lifting variables can be obtained. Various numerical examples illustrate the techniques and suggest further research directions.
W.GILBERT, D.HENRION, J.BERNUSSOU
MAC
Rapport de Contrat : Contrat SNECMA, Septembre 2008, 63p. , N° 08404
Diffusable
114698D.HENRION
MAC
Manifestation avec acte : International Symposium on Mathematical Theory of Networks and Systems (MTNS), Blacksburg (USA), Juillet 2008, 23p. , N° 08038
Lien : http://hal.archives-ouvertes.fr/hal-00214196/fr/
Diffusable
Plus d'informations
Given a polynomial $x \in {\mathbb R}^n \mapsto p(x)$ in $n=2$ variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set ${\mathcal P} = \{x : p(x) \geq 0\}$ containing the origin is rigidly convex, or equivalently, whether it has a linear matrix inequality (LMI) representation, or equivalently, if polynomial $p(x)$ is hyperbolic with respect to the origin. The problem boils down to checking whether a univariate polynomial matrix is positive semidefinite, an optimization problem that can be solved with eigenvalue decomposition. When the variety ${\mathcal C} = \{x : p(x) = 0\}$ is an algebraic curve of genus zero, a second algorithm based on B\'ezoutians is proposed to detect whether $\mathcal P$ has an LMI representation and to build such a representation from a rational parametrization of $\mathcal C$. Finally, some extensions to positive genus curves and to the case $n>2$ are mentioned.