Past events 2012

PhD - Visitors - Conferences - Missions - Seminars organised by the group - Other

  • PhD
  • 04 October : PhD Defence of Tung PHAN THANH, salle de Conférences.
    Title:   Contributions to the Moment-SOS Approach in Glo! bal Polynomial Optimization
    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 December : PhD Defence of Jean-François TREGOUET, salle de Conférences.
    Title:  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. 

    Abstract:    

    This manuscript reviews contributions to the development of systematic methods for analysis and control of periodic uncertain systems. An important part of this thesis is also dedicated to the design of attitude co! ntrol systems for satellites whose dynamics is naturally repre! sented as! a periodic model subject to uncertainties.

    The first part is devoted to the developpement of a unifying presentation of the analysis and synthesis results of periodic, uncertain and discrete-time models via methods relying on linear matrix inequalities (LMI) and based on Lyapunov theory. Subsequently, the focus is on a new class of periodic control laws with memory for which the control input is constructed using history of the states of the system kept in memory. Numerical experiments show that these new degrees of freedom can outperformed the existing results.

    The second part deals with periodic and robustness aspects of attitude control of a satellite using magnetorquers. These actuators use the geomagnetic field that varies periodically along the orbital trajectory. Different control strategies are implemented and compared with one another with the constant concern of taking the main limitations of the actuators into account. This approach leads t! o a new control law regulating the momentum of the reaction wheels without disturbing attitude control for which the control effort is shared by all actuators.

  • Visitors
  • 30 - 31 March : D. Donchain visits the MAC Team, for the IFAC 2017 Organisation meeting.
  • 20 May - 03 June : D. Pasechnik visits the Team MAC.
  • 05 - 10 September : F. Dabbene from the CNR-IEITT Institute, Politecnico di Torino, Italy, visits the MAC Team. 
  • 23 - 25 October : D. Bresch-Pietri visits the MAC Team. 
  • 02 - 04 December : Raphael Jungers from the UCLouvain, Belgium visits the MAC Team.

  • Conferences
  • 14 - 27 January : L. Baudouin is at the Inverse Problems and PDE control Conference, in Santiago, Chili.
  • 02 - 06 June : J.B. Lasserre is in Pointe à Pitre, Guadeloupe, for the GDR MOA Journées.
  • 11 - 13 June : J.B. Lasserre is in Paris for the Games and Startegy Conference.
  • 19 - 23 June : D. Henrion, D. Peaucelle, I. Queinnec, are in Aalborg, Danemark, for the ROCOND'12 Conference.
  • 23 - 30 June : F. Fichera, M. Claeys are in Montréal, Canada, for ACC 2012 Conference.
  • 03 - 06 July : G. Deaconu, A. Luzi, D. Peaucelle, C. Louembet are in Grenoble, France, for CIFA 2012.
  • 14 - 22 July : J.B. Lasserre is in Perou, as a Speaker at the Post Graduate Winter School DICOP 2012 in Piura. 
  • 11 - 25 August : J.B. Lasserre is in Vietnam, as a Plenary Speaker at the SMF-VMS Joint Congress 2012, in Hué.
  • 17 - 21 September : D. Henrion and J.B. Lasserre are in Konstanz, Germany, for the Conference MAP 2012. 
  • 08 - 11 October : I. Queinnec and S. Tarbouriech are in Louvain la Neuve, Belgium, for the Workshop in Honor of Georges Bastin and the "Contaction Analysis" Workshop.
  • 21 - 27 October : K. Felteikh is at the International Symposium on Nonlinear Theory ant its Applications in Palma de Majorca.
  • 12 - 15 November : G. Deaconu and F. Fichera are in Noordwijk, Netherland, for the Workshop Worst Case Analysis ESA.
  • 16 - 27November : JB Lasserre is an Invited Speaker for a Tutorial at the IMS of Singapour.
  • 08 - 16 December : L. Zaccarian is in Maui, Hawaï, for the CDC 2012 Conference.
  • 07 - 13 January 2013 : J. B. Lasserre is at New Delhi, India, for the International Symposium on Applied Optimisation and Game Theoretic Models at the Indian Statistical Institue.
  • Missions
    • 16 - 19 january : I. Queinnec is at the Thesis Comity of the University of Mons and for collaboration with Alain Vande Wower.
    • 24 january : D. Henrion is in Paris for the Seminar at the CEA Saclay.
    • 14 February : I. Queinnec is in Paris for the Scientific Council of the Space and Aeronautics Research Fondation.  
    • 25 - 26 january : I. Queinnec is in Paris for the Evaluation Comity of SIMI3 ANR.
    • 07 - 10 February : L. Zaccarian gives courses at the University of Roma, Roma, Italy.
    • 13 - 17 february : L.M. Salamero and C. Restrepo from the University Rovira i Virgili of Tarragona, visit the Team. 
    • 17 February - 05 March : D. Peaucelle is in Paris for  Scientific Meetings INSIS and INS2I, in Mouans-Artoux for a meeting for the SAFE-V project and in Lille for collaboration with the LAGIS.
    • 05 February - 21 April : D. Fournier is in Evora, Portugal, at the University of Evora for scientific collaboration.
    • 31 Mach - 13 April : J.B. Lasserre is at the University of Newcastle, Australia. 
    • 02 - 09 April : L. Zaccarian gives courses at the University of Roma, Roma, Italy.
    • 04 April - 11 May : M. Claeys is at the University Pierre and Marie Curie, Paris, France.
    • 10 - 14 April : D. Henrion is in Paris, France, at the Pierre and Marie Curie University.
    • 23 - 27 April : J.B. Lasserre participates at the ANOC Workshop 2012 in Paris, France.
    • 04 - 06 June : S. Tarbouriech, I. Queinnec, F. Gouaisbaut, L. Zaccarian are in Paris, France, for the Workshop ARHYCO.
    • 04 - 09 June : O. Lopez is at the University Rovira i Viarili de Tarragona.
    • 11 - 16 June : D. Arzelier is in Paris for a jury "d'Agrégation en Génie Electrique".
    • 10 - 17 June : M. Korda for the EPFL STI IGM LA3 of Lausanne, visits the MAC Team.
    • 04 - 11 July : I. Queinnec and S. Tarbouriech are in Spain, visiting the University of Seville "Tedoro Alamo".
    • 10 - 17 July : G. Garcia is at the SAAEI'12, in Guimaraes, Portugal.
    • 02 May - 27 July : D. Fournier is at the University College of Dublin for scientific collaboration. 
    • 01 - 12 September : J.B. Lasserre is invited for a Seminar at the Nanyang Technological University of Singapore.
    • 07 - 10 September : S. Tarbouriech is at a Defence Thesis and Work meeting at the CRAN, in Nancy.
    • 09 - 14 September : A. Seuret is at the "Ecole Thématique" of Grenoble.
    • 19 - 20 September : A. Seuret is at the Work Group of "Système à Retard" / PDE.
    • 21 September : I. Queinnec is at the Thesis Defence of Nassim LAOULI at the LAGEP in Lyon.
    • 26 September : I. Queinnec is in Paris at the Board Comity of the GdR MARCS.
    • 15 - 16 October : A. Seuret is in Paris, Supelec, for a GT Delsys Workshop organisation.
    • 16 - 20 October : I. Queinnec and S. Tarbouriech are in Nancy for the ARHYCO ANR Project.
    • 18 - 19 October : JB Lasserre is in Valenciennes, as an invited presentation for the Meetings around Optimisation.
    • 22 - 24 October : I. Queinnec is in Nantes, at the JRA 2012 "Journées scientifiques Robotique et Automatique".
    • 25 October - 05 November : D. Peaucelle is in Paris for the SNCS Meeting and in Lille for a Scientific Cooperation with the INRIA.
    • 04 - 06 November : A. Seuret is the UK, for the Defense Thesis of Patesh Deshpande at the University of Leicester.
    • 05 - 13 November : D. Henrion is in Prague for a Scientifique stay at the Technical University.
    • 06 - 09 November : M. Claeys is at the INRIA of Sophia Antipolis for to present his Thesis Works.
    • 13 November : J. B. Lasserre is in Cachan, Paris, for the Research Habilation Defence of Alexandre D'Aspremont. 
    • 15 - 17 November : D. Henrion is in Stockholm, Sweeden, for a Scientific Collaboration with the Upsala University.
    • 19 - 25 Novembre : A. Seuret is in Paris at the Delsys Workshop and in Grenoble for a Thesis Defense.
    • 21 - 22 November : C. Louembet and G. Deaconu are in Paris for the GT CPNL.
    • 26 November : I. Queinnec is in Montpellier for the Thesis Defence of Guilherm Sartoni Natal. 
    • 15 October - 30 November : G. Deaconu is at the Imperial College of London, Great Britain, for a Scientific Cooperation.
    • 28 November : I. Queinnec is in Paris for a CNRS meeting with the DAS Autom-Robotic of the INS2I for "GDR MACS" Management Project meeting.
    • 05 - 06 December : D. Henrion is in Nancy for the Thesis Defense at the Université de Lorraine.
    • 06 - 07 December : D. Arzelier is in Besançon, France, for the PhD Defense of M. Boudaoud.
  • Seminars and Conferences organised by the group
    • 17 January: P. Massioni from the University of Paris 13, gives a seminar, Conferences room at 14h00.
      Title:   Distributed control: theory vs practice
      Abstract :    
      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 January: D. Henrion, gives a seminar, Conferences room at 10h30.
      Title:   Uniform inner approximations for polynomial matrix inequalities
      Abstract :    
      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 May: R. Goebel gives a talk on Salle Europe, at 14h00.
      Title:   Consensus, Continuum of Equilibria, and Set-Valued Lyapunov Functions
      Abstract :    
      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. Biography : Rafal Goebel received his M.Sc. degree in mathematics in 1994 from the University of Maria Curie Sklodowska in Lublin, Poland, and his Ph.D. degree in mathematics in 2000 from University of Washington, Seattle. He held a postdoctoral position at the Departments of Mathematics at the University of British Columbia and Simon Fraser University in Vancouver, Canada, 2000 -- 2002; a postdoctoral and part-time research positions at the Electrical and Computer Engineering Department at the University of California, Santa Barbara, 2002 -- 2005; and a part-time teaching position at the Department of Mathematics at the University of Washington, 2004 -- 2007 In 2008, he joined the Department of Mathematics and Statistics at Loyola University Chicago. Goebel received the SIAM Systems and Control Theory Prize in 2009. His interests include convex, nonsmooth, and set-valued analysis; control theory, including optimal control ; hybrid dynamical systems; mountains; and optimization.
    • 06 September : F. Dabbene, from the CNR-IEITT Institute, Politecnico di Torino, Italy, gives a seminar at 10:30, in the Europe room. 
      Title:   Probabilistic Optimal Estimation and Filtering under Uncertainty
      Abstract :    
      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.
  • Other
    • 29 February - 04 March : L. Zaccarian gives courses at the University of Roma, Roma, Italy.
    • 08 - 14 March : L. Zaccarian gives courses at the University of Roma, Roma, Italy.
    • 19 - 23 March : L. Zaccarian gives courses at the University of Roma, Roma, Italy.
    •  
Last update 19/12/2012