Evénements 2012

Thèses - Visiteurs - Congrès - Missions - Séminaires et congrès - Divers

  • Théses
  • 04 Octobre : Soutenance de thèse de Tung PHAN THANH, salle de Conférences.
    Titre:   Contribution à la méthode des moments et sommes de carrés en Optimisation Globale
    Jury :    

    Monique LAURENT, Pham DINH TAO, Léo LIBERTI, Jean-Baptiste HIRIART-URRUTY, Jean-Bernard LASSERRE

    Abstract:    

    Polynomial Optimization is concerned with optimization problems of the form (P) :  f* = { f(x) with x in set K}, where K is a basic semi-algebraic set in Rn defined by K={x in Rn such as gj(x) less or equal 0}; and f is a real polynomial of n variables x = (x1, x2, ..., xn).
    In this thesis we are interested in problems (P) where symmetries and/or structured sparsity are not easy to detect or to exploit, and where only a few (or even no) semidefinite relaxations of the moment-SOS app! roach can be implemented. And the issue we investigate is: How! can the ! moment-SOS methodology be still used to help solve such problem (P)? We provide two applications of the moment-SOS approach to help solve (P) in two different contexts.

    * In a first contribution we consider MINLP problems on a box B = [xL, xU] of Rn and propose a moment-SOS approach to construct polynomial convex underestimators for the objective function f (if non convex) and for -gj if in the constraint gj(x) less or equal 0, the polynomial gj is not concave. We work in the context where one wishes to find a convex underestimator of a non-convex polynomial f of a few variables on a box B of Rn. The novelty with previous works on this topic is that we want to compute a polynomial convex underestimator p of f that minimizes the important tightness criterion which is the L1 norm of (f-h) on B, over all convex polynomials h of degree d _fixed.

    * In a second contribution we propose an algorithm that also uses an optimal solution of a semidefinite relaxati! on in the moment-SOS hierarchy (in fact a slight modification) to provide a feasible solution for the initial optimization problem but with no rounding procedure. In the present context, we treat the first variable x1 of x = (x1, x2, ...., xn) as a parameter in some bounded  interval Y of R. Notice that f*=min { J(y) : y in Y} where J is the function J(y) := inf {f(x) : x in K ; x1=y}. That is one has reduced the original n-dimensional optimization problem (P) to an equivalent one-dimensional optimization problem on an interval. But of course determining the optimal value function J is even more complicated than (P) as one has to determine a function (instead of a point in Rn), an infinite-dimensional problem. But the idea is to approximate J(y) on Y by a univariate polynomial p(y) with the degree d and fortunately, computing such a univariate polynomial is possible via solving a semidefinite relaxation associated with the parameter optimization problem. The degree d of p(y! ) is related to the size of this semidefinite relaxation.

  • 03 décembre : Soutenance de thèse de Jean-François TREGOUET, salle de Conférences, 10h00.
    Titre :   Synthèse de correcteurs robustes périodiques à mémoire et application au contrôle d'attitude de satellites par roues à réaction et magnéto-coupleurs
    Jury :    

    Olivier SENAME, Marco, LOVERA, Jamal DAAFOUZ, Hélène PIET LAHANIER, Christelle PITTET, Dimitri PEAUCELLE, Denis ARZELIER, Daniel ALAZARD. 

    Résumé :    
    Les travaux présentés dans ce mémoire constituent une contribution à la conception de méthodes systématiques pour l'analyse et la commande de systèmes périodiques et incertains. Une partie importante de cette thèse est également consacrée au contrôle d'attitude de satellites dont la dynamique se prête naturellement à une représentation sous forme de modèles périodiques soumis à des incertitudes. La première partie propose une présentation unifiée des résultats d’analyse et de synthèse de modèles périodiques et incertains à temps-discret via des méthodes basées sur des inégalités linéaires matricielles (LMI) et en s'appuyant sur la théorie de Lyapunov. Par la suite, l'accent est mis sur une nouvelle classe de correcteurs périodiques à mémoire pour lesquels l’entrée de commande est construite en utilisant l’historique des états du système conservés en mémoire. Des exemples numériques démontrent que ces nouveaux degrés de liberté permettent de repousser les limites des performances robustes. La seconde partie s'intéresse aux aspects de périodicité et de robutesse du contrôle d'attitude de satellite rencontrés notamment lors de l'utilisation des magnéto-coupleurs. Ces actionneurs s’appuient sur le champ géomagnétique variant périodiquement le long de l'orbite du satellite. Différentes stratégies de commande sont mises en œuvre et comparées entre elles avec le souci constant de tenir compte des principales limitations des actionneurs. Cette démarche conduit à une nouvelle loi de commande périodique régulant le moment cinétique des roues à réactions sans perturber le contrôle d'attitude dont l'effort de commande est réparti sur l'ensemble des actionneurs.
  • Visiteurs
  • 13 -17 février : L.M. Salamero et C. Restrepo de l'Université Rovira i Virgili de Tarragone, visitent l'équipe.
  • 30 - 31 mars : D. Dochain visite l'équipe MAC pour une réunion de préparation IFAC 2017.
  • 20 mai - 03 juin : D. Pasechnik visite l'Equipe Mac.
  • 23 - 25 octobre : D. Bresch-Pietri visite l'Equipe Mac.
  • 02 - 04 décembre : Raphael Jungers, de l'UCLouvain en Belgique, visite l'Equipe MAC.
  • Congrès
  •  14 - 27 janvier : L. Baudouin est à la Conférence "Inverse Problems and PDE control" à Santiago du Chili.
  • 11 - 13 juin : J.B. Lasserre est à Paris, pour le Games and Strategy Conférence, en l'honneur de S. Sorin.
  • 19 - 23 juin : D. Henrion, D. Peaucelle, I. Queinnec sont au Danemark pour la conférence ROCOND'12.
  • 23 juin - 02 juillet : F. Fichera, M. Claeys sont à Montréal, Canada, pour la conférence "American Control".
  • 03 - 06 juillet : C. Louembet, G. Deaconu, A.R. Luzi, D. Peaucelle sont à Grenoble pour la Conférence CIFA 2012.
  • 14 - 22 juillet : J.B. Lasserre est au Pérou, en tant que Conférencier à la Post Graduate Winter School DICOP 2012, à Piura.
  • 11 - 25 août : J.B. Lasserre est au Vietnam, en tant que Conférencier au SMF-VMS Joint Congress 2012, à Hué.
  • 17 - 21 septembre : D. Henrion et J.B. Lasserre sont à Konstanz, Allemagne, pour la Conférence MAP 2012.
  • 08 - 11 octobre : I.  Queinnec et S. Tarbouriech sont à Louvain la Neuve, Belgique, pour le Workshop en l'honneur de Georges Bastin et le Workshop "Contaction Analysis".
  • 21 - 27 octobre : K. Feltekh est à 'International Symposium on Nonlinear Theory and its Applications' à Palma de Majorca.
  • 11 - 15 novembre : F. Fichera, G. Deaconu sont au Pays Bas, à Noordwijk, pour le Workshop Worst Case Analysis (ESA.
  • 19 - 22 novembre : I. Queinnec, L. Zaccarian et S. Tarbouriech sont à Supelec, à Gif sur Yvette, pour le Workshop dans le cadre du GRI Système à retard. 
  • 16 - 27 novembre : JB Lasserre, est à Singapore, en tant que Speaker Invité pour un Tutorial à l'IMS de Singapore. 
  • 08 - 16 décembre : L. Zaccarian est à Maui, Hawaï, pour la Conférence CDC 2012.
  • 07 - 13 janvier 2013 : J. B. Lasserre est à New Delhi, en Inde, pour l'"International Symposium on Applied Optimisation and Game Theoretic Models at the Indian Statiscal Institute".
  • Missions
    • 16 - 19 janvier : I. Queinnec est à Mons pour le Comité de Thèse de l'Université de Mons et collaboration avec Alain Vande Wower.
    • 25 - 26 janvier : I. Queinnec est à Paris pour le Comité d'Evaluation SIMI3 de l'ANR.
    • 24 janvier : D. Henrion est à Paris pour le Séminaire CEA de Saclay.
    • 14 février : I. Queinnec est à Paris, au conseil scientifique de la Fondation pour la Recherche en Aéronautique et Espace. 
    • 17 février - 05 mars : D. Peaucelle est à Paris aux Conseils Scientifiques INSIS et INS2I ; à Mouans-Artoux pour la réunion du projet SAFE-V ; à Lille pour collaboration scientifique au LAGIS. 
    • 23 - 25 mars : I. Queinnec est à Bordeaux pour un comité de sélection. 
    • 05 février - 21 avril : D. Fournier est à Evora, Portugal, en congé pour recherche (CRCT) à l'Université d'Evora.
    • 31 mars - 13 avril : J. B. Lasserre est en séjour à l'Université de Newcastle, Australie.
    • 02 - 09 avril : L. Zaccarian donne des cours à l'Université de Rome.
    • 04 avril - 11 mai : M. Claeys est en séjour scientifique à l'Université Pierre et Marie Curie de Paris, France.
    • 10 - 11 avril : D. Henrion visite l'Université Pierre et Marie Curie de Paris, France.
    • 23 - 27 avril : J.B. Lasserre est à Paris pour le Workshop ANOC 2012
    • 03 - 05 mai : I. Queinnec est à Paris pour un jury de concours INRA. 
    • 02 - 06 juin : J.B. Lasserre est à Pointe à Pitre, Guadeloupe, pour les Journées du GDR MOA.
    • 04 - 05 juin : F. Gouaisbaut, L. Zaccarian, S. Tarbouriech, I. Queinnec sont à Paris, pour le Workshop ARHYCO.
    • 04 - 09 juin : O. Lopez est à l'Université Rovira i Viarili de Tarragone.
    • 11 - 16 juin : D. Arzelier est à Paris pour un jury d'agrégation Génie Electrique.
    • 10 - 17 juin : M. Korda, de EPFL STI IGM LA3 de Lausanne, visite l'Equipe MAC pour une collaboration scientifique.
    • 04 - 11 juillet : I. Queinnec et S. Tarbouriech sont en Espagne, en visite à l'Université de Séville, Teodoro Alamo.
    • 10 - 17 juillet : G. Garcia est à SAAEI'12, à Guimaraes, au Portugal.
    • 02 mai - 28 juillet : D. Fournier est à Dublin, Irlande, en congé pour recherche (CRCT) à l'University College Dublin.
    • 01 - 12 septembre : J.B. Lasserre est au Séminaire de Nanyang Technological University de Singapore
    • 05 - 10 septembre : F. Dabbene du CNR-IEITT Institute, Politecnico dei Torino, Italie, visite l'Equipe MAC.
    • 07-10 septembre : S. Tarbouriech est à un Jury de thèse ainsi qu'à une réunion de travail au CRAN, à Nancy.
    • 09 - 14 septembre : A. Seuret est à l'Ecole Thèmatique de Grenoble.
    • 19 - 20 septembre : A. Seuret est à Lyon, à la réunion de Groupes de Travail Système à Retard / Equations aux dérivées Partielles.
    • 21 septembre : I. Queinnec est à la soutenance de thèse de Nassim LAOULI au LAGEP de Lyon.
    • 26 septembre : I. Queinnec est à Paris, au comité de directeur du GdR MACS.
    • 15 - 16 octobre : A. Seuret est à Supélec Paris, pour la réunion de préparation d'un Workshop dans le cadre du Groupement de Recherche International Delsys.
    • 15 - 17 octobre : D. Henrion est à Stockholm, en Suède, en collaboration scienrifique à l'Universtié Upsala.
    • 16 - 20 octobre : I.  Queinnec et S. Tarbouriech sont à Nancy pour le Projet ANR ARHYCO.
    • 18 - 19 octobre : JB Lasserre est à Valenciennes, pour les Rencontres autour de l'Optimisation.
    • 25 octobre - 05 novembre : D. Peaucelle est à Paris pour une réunion SNCS et à Lille pour une coopération scientifique à INRIA. 
    • 04 - 06 novembre : A. Seuret est à la soutenance de thèse de Patesh Deshpande à l'Université de Leicester, Grande Bretagne.
    • 05 - 13 novembre : D. Henrion est en séjour à l'Université Technique Tchèque de Prague.
    • 06 - 09 novembre : M. Clayes est invité à l'INRIA de Sophia- Antipolis, Nice, pour présenter ses travaux de thèse.
    • 13 novembre : JB. Lasserre est à Cachan, Paris, pour le Jury d'HdR d'Alexandre D'Aspremont.
    • 19 - 25 novembre : A. Seuret est à Paris, au Workshop Delsys et à Grenoble pour une soutenance de thèse.
    • 21 - 22 novembre : G. Deaconu et C. Louembet sont à Paris pour une réunion du Groupe de Travail CPNL.
    • 26 novembre : I. Queinnec est à Montpellier, pou la soutenance de thèse de Guilherm Sartoni Natal 
    • 28 novembre : I. Queinnec est à Paris pour une réunion CNRS avec le DAS Autom-Robotique de l'INS2I pour le projet de direction du GdR MACS.
    • 05 -  06 décembre : D. Henrion est à Nancy, pour une soutenance de thèse à l'Université de Lorraine.
    • 06 - 07 décembre : D. Arzelier est à Besançon, France, en tant que Jury de thèse de M. Boudaoud.
    • 04 novembre - 22 décembre : L. Baudouin est en collaboration avec le "Dynamics and Control Research Group" à l'Université de Bristol, Grande Bretagne.
  • Séminaires et congrès organisés par le groupe
    • 17 janvier: P. Massioni de l'Université Paris 13, donne un séminaire, salle de Conférences, à 14h00.
      Titre:   Distributed control: theory vs practice
      Résumé :    
      In this short seminar, I will giv! e a brief report of (a part of) my past research. The focus is put on distributed control (or control of multi-agent systems), for which we are first going to see some recent theoretical developments. Starting from earlier works, it will be shown how it is possible to use linear matrix inequalities for *distributed* control synthesis under H infinity (or H2) constraint. The interesting aspect of this synthesis method is that its computational complexity is independent from the number of agents, making it possible to derive a controller that can virtually manage an infinite number of them. These developments foresee a possible application in formation flying, and we will compare them to the approach followed by the industrial world, according to my visiting experience in the European space agency. At the end, some proposal for future research will be sketched      .
    • 27 janvier: D. Henrion, donne un séminaire, salle de Conférences, à 10h30.
      Titre:   Uniform inner approximations for polynomial matrix inequalities
      Résumé :    
      Sets described by polynomial matrix inequalities (PMI) arise frequently in robust optimisation or systems control. Recent results on real algebraic geometry and generalized problems of moments can be used to build up a hierarchy of convex linear matrix inequality (LMI) outer approximations of a PMI set, with asymptotic convergence to its convex hull. Whereas outer approximations of nonconvex semialgebraic sets can be readily constructed with these LMI relaxations, inner approximations are much harder to obtain. For systems control purposes, inner approximations are however essential since they correspond to guarantees of stability or robust stability. In this work we propose general polynomial inner approximations of parametrized PMI feasibility sets. We describe a hierarchy of inner approximations with polynomial sublevel sets of increasing degrees. Each polynomial sublevel set in the hiearchy is constructed by solving an LMI problem. In addition, we can easily enforce that the inner approximations are nested and/or convex. Finally, and most importantly, we can prove uniform convergence of the hierarchy. This is a joint work with Jean-Bernard Lasserre. http://hal.archives-ouvertes.fr/hal-00588754/fr/
    • 02 mai : R. Goebel, donne un séminaire, salle Europe, à 14h00.
      Titre:   Consensus, Continuum of Equilibria and Set-Valued Lyapunov Functions
      Résumé :    
      Consensus problems analyze systems where the dynamics of several autonomous agents cause the agents to converge,! or not, to a common state. Equivalently, one may ask whether the system consisting of these several agents converges to a consensus state. Different applications motivate the analysis of dynamical systems which possess a continuum of equilibrium states. In such systems, each of the equilibrium states cannot be asymptotically stable and this leads to a concept of pointwise asymptotic stability (also called semistability) of the set of equilibria. It turns out that commonly applied sufficient conditions for convergence to a consensus in a multi-agent system, expressed in terms of "decreasing sets'', ensure pointwise asymptotic stability of the set of consensus states. These concepts, and the relationships between them, motivate this talk.

      The talk will present Lyapunov-like necessary and sufficient conditions for pointwise asymptotic stability, expressed in terms of decreasing Lyapunov-like set-valued mappings, rather than in terms of classical Lyapunov functions! .  Efforts will be made to underline the similarities to the c! lassical theory, as long as one accepts to use set inclusions in place of inequalities. An invariance principle, in terms of a non-increasing set-valued mapping, will also be given. The existence of a strictly decreasing Lyapunov-like set-valued mapping for a pointwise asymptotically stable set will be shown, in the spirit of classical converse Lyapunov theorems.
      Further connections between consensus, pointwise asymptotic stability, and the usual asymptotic stability will be discussed.
    • 06 septembre: F. Dabbene du CNR-IEITT Institue, Politecnico di Torino, Italie, donne un séminaire le jeudi 06 septembre 2012, à 10h30, en salle Europe.
      Titre:   Probabilistic Optimal Estimation and Filtering under Uncertainty
      Résumé :    
      The classical approach to system identification is based on statistical assumptions about the measurement error, and provides estimates that have stochastic nature. Worst-case identification, on the other hand, only assumes the knowledge of deterministic error bounds, and provides guaranteed estimates, thus being in principle better suited for its use in control design. However, a main limitation of such deterministic bounds lies on the fact that they often turn out to be overly conservative, thus leading to estimates of limited use.
      In this paper, we propose a rapprochement between these two paradigms, stochastic and worstcase,
      and propose a novel probabilistic framework for system identification that combines elements from information-based complexity with recent developments in the theory of randomized algorithms. The main idea in this line of research is to “dis! card” sets of measure at most Ç«, where Ç« is a pro! babilist ic accuracy, from the set of deterministic estimates. Therefore, we are decreasing the so-called worst-case radius of information at the expense of a given probabilistic “risk.”
      In this setting, we compute a trade-off curve, called violation function, which shows how the radius of information decreases as a function of the accuracy. To this end, we construct randomized and deterministic algorithms which provide approximations of this function. The obtained results are based upon specific properties regarding the intersection of convex sets.
  • Divers
    • 07 février - 10 février : L. Zaccarian donne des cours à l'Université de Rome. 
    • 29 février - 04 mars : L. Zaccarian donne des cours à l'Université de Rome.
    • 08 - 14 mars : L. Zaccarian donne des cours à l'Université de Rome.
    • 19 - 23 mars : L. Zaccarian donne des cours à l'Université de Rome.
    • 15 octobre - 30 novembre : G. Deaconu est l'Imperial College de Londres, Grande Bretagne, pour un séjour scientifique.
Last update 22/01/2013