Author: "Commande" / Publisher: arxiv - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Commande"' showing total 87 results

Start Over Author "Commande" Publisher arxiv

87 results on '"Commande"'

1. Integral Quadratic Constraints on Linear Infinite-dimensional Systems for Robust Stability Analysis

Author: Alexandre Seuret, Matthieu Barreau, Frédéric Gouaisbaut, Carsten W. Scherer, Laboratoire d'analyse et d'architecture des systèmes (LAAS), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), Department of Mathematics [Stuttgart], University of Stuttgart, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), ANR-15-CE23-0014,SCIDIS,Stabilité et commande de systèmes de dimension infinie(2015), Division of Decision and Control Systems - School of Electrical Engineering and Computer Science, Royal Institute of Technology [Stockholm] (KTH ), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: 0209 industrial biotechnology, Differential equation, 02 engineering and technology, Linear matrix, 020901 industrial engineering & automation, Quadratic equation, Mathematics - Analysis of PDEs, Distributed parameter system, Robustness (computer science), 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Applied mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Mathematics - Optimization and Control, Mathematics, 020208 electrical & electronic engineering, Distributed Parameter Systems, Dissipation inequality, Control and Systems Engineering, Optimization and Control (math.OC), Ordinary differential equation, IQCs, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Robustness analysis, Coupled ODE/PDE, Stability theorem, Analysis of PDEs (math.AP)
Abstract: International audience; This paper proposes a framework to assess the stability of an ordinary differential equation which is coupled to a 1D-partial differential equation (PDE). The stability theorem is based on a new result on Integral Quadratic Constraints (IQCs) and expressed in terms of two linear matrix inequalities with a moderate computational burden. The IQCs are not generated using dissipation inequalities involving the whole state of an infinite-dimensional system, but by using projection coefficients of the infinite-dimensional state. This permits to generalize our robustness result to many other PDEs. The proposed methodology is applied to a time-delay system and numerical results comparable to those in the literature are obtained.
Published: 2020
Full Text: View/download PDF

2. Practical Stability Analysis of a Drilling Pipe under Friction with a PI-Controller

Author: Alexandre Seuret, Matthieu Barreau, Frédéric Gouaisbaut, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, ANR-15-CE23-0014,SCIDIS,Stabilité et commande de systèmes de dimension infinie(2015), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: 0209 industrial biotechnology, Lyapunov analysis, PID controller, 02 engineering and technology, Drilling stability, 01 natural sciences, Stability (probability), 020901 industrial engineering & automation, Mathematics - Analysis of PDEs, Exponential stability, 0103 physical sciences, FOS: Mathematics, Torque, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Electrical and Electronic Engineering, LMI, 010301 acoustics, Mathematics - Optimization and Control, Mathematics, Partial differential equation, Mathematical analysis, Linear matrix inequality, Nonlinear system, Control and Systems Engineering, Optimization and Control (math.OC), Ordinary differential equation, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Coupled ODE/PDE, Bessel Inequality, Analysis of PDEs (math.AP)
Abstract: This paper deals with the exponential stability of a drilling pipe controlled by a PI controller. The model used leads to a coupled ODE / PDE and is consequently of infinite dimension. Using recent advances in time-delay systems, we derive a new Lyapunov functional based on an state extension made up of projections of the Riemann coordinates. Two cases will be considered. First, we will provide an exponential stability result expressed using the LMI framework. This result is dedicated to a linear version of the torsional dynamic. On a second hand, the nonlinear terms in the initial model, that generates the well-known stick-slip phenomenon is captured through a new stability theorem. Numerical simulations show the effectiveness of the method and that the stick-slip oscillations cannot be weaken using a PI controller., Comment: Published in: IEEE Transactions on Control Systems Technology
Published: 2019
Full Text: View/download PDF

3. Inner approximations of the maximal positively invariant set for polynomial dynamical systems

Author: Antoine Oustry, Matteo Tacchi, Didier Henrion, Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Réseau de Transport d'electricite (RTE), Réseau de Transport d'Electricité [Paris] (RTE), Faculty of Electrical Engineering [Prague] (FEL CTU), Czech Technical University in Prague (CTU), European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Laboratoire d'analyse et d'architecture des systèmes [Toulouse] (LAAS), Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UPS), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique [Toulouse] (INP)-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UPS), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique [Toulouse] (INP), Réseau de Transport d'Electricité-RTE, Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering, Laboratoire d'informatique de l'École polytechnique [Palaiseau] ( LIX ), Centre National de la Recherche Scientifique ( CNRS ) -École polytechnique ( X ), Équipe Méthodes et Algorithmes en Commande ( LAAS-MAC ), Laboratoire d'analyse et d'architecture des systèmes [Toulouse] ( LAAS ), Centre National de la Recherche Scientifique ( CNRS ) -Université Toulouse III - Paul Sabatier ( UPS ), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Institut National Polytechnique [Toulouse] ( INP ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Toulouse III - Paul Sabatier ( UPS ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Institut National Polytechnique [Toulouse] ( INP ), and Réseau de Transport d'electricite ( RTE )
Subjects: [ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC], 0209 industrial biotechnology, Control and Optimization, Dynamical systems theory, Approximations of π, 0211 other engineering and technologies, 02 engineering and technology, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, 020901 industrial engineering & automation, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, Mathematics - Optimization and Control, Mathematics, 021103 operations research, Polynomial vector fields, Mathematical analysis, Linear matrix inequality, Invariant (physics), Control and Systems Engineering, Optimization and Control (math.OC), [ INFO.INFO-SY ] Computer Science [cs]/Systems and Control [cs.SY], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Finite time, Polynomial dynamical systems
Abstract: International audience; The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuous-time dynamical systems with polynomial vector fields. Convergence in volume of the hierarchy is proved under a technical growth condition on the average exit time of trajectories. Our contribution is to deal with inner approximations in infinite time, while former work with volume convergence guarantees proposed either outer approximations of the maximal positively invariant set or inner approximations of the region of attraction in finite time.
Published: 2019
Full Text: View/download PDF

4. Exponential stability of a PI plus reset integrator controller by a sampled-data system approach

Author: Miguel A. Davó, Alfonso Baños, Sophie Tarbouriech, Alexandre Seuret, Frédéric Gouaisbaut, GIPSA - Systèmes linéaires et robustesse (GIPSA-SLR), Département Automatique (GIPSA-DA), Grenoble Images Parole Signal Automatique (GIPSA-lab ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Grenoble Images Parole Signal Automatique (GIPSA-lab ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Dpto. Informática y Sistemas, University of Murcia, 30071 Murcia, Spain, SLR ( GIPSA-SLR ), Département Automatique ( GIPSA-DA ), Grenoble Images Parole Signal Automatique ( GIPSA-lab ), Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Grenoble Images Parole Signal Automatique ( GIPSA-lab ), Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Stendhal - Grenoble 3-Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ), Équipe Méthodes et Algorithmes en Commande ( LAAS-MAC ), Laboratoire d'analyse et d'architecture des systèmes [Toulouse] ( LAAS ), Institut National Polytechnique [Toulouse] ( INP ) -Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ) -Institut National Polytechnique [Toulouse] ( INP ) -Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and Universidad de Murcia
Subjects: 0209 industrial biotechnology, 020208 electrical & electronic engineering, Connection (vector bundle), Linear matrix inequality, 02 engineering and technology, Systems and Control (eess.SY), Stability (probability), Computer Science Applications, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Exponential stability, Control and Systems Engineering, Control theory, Control system, Integrator, [ SPI.AUTO ] Engineering Sciences [physics]/Automatic, 0202 electrical engineering, electronic engineering, information engineering, FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Systems and Control, Reset (computing), Analysis, Mathematics
Abstract: The paper deals with the stability analysis of time-delay reset control systems, for which the resetting law is assumed to satisfy a time-dependent condition. A stability analysis of the closed-loop system is performed based on an appropriate sampled-data system. New linear matrix inequality (LMI) conditions are proposed to ensure the exponential stability of the closed-loop resulting of the connection of a plant with a proportional and integral controller together with a reset integrator (PI+RI)., Comment: 19 pages, 5 figures
Published: 2016
Full Text: View/download PDF

5. Frequency domain approach for the stability analysis of a fast hyperbolic PDE coupled with a slow ODE

Author: Arias, Gonzalo, Marx, Swann, Mazanti, Guilherme, Pontificia Universidad Católica de Chile (UC), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Commande, Observation, Diagnostic et Expérimentation (LS2N - équipe CODEx), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Dynamical Interconnected Systems in COmplex Environments (DISCO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), ANID Millennium Science Initiative Program trough Millennium Nucleus for Applied Control and Inverse Problems NCN19-161, and STIC-Amsud C-CAIT
Subjects: Stability analysis in the frequency domain, Mathematics - Analysis of PDEs, Optimization and Control (math.OC), FOS: Mathematics, PDE transport equations, Singular perturbation method, [MATH]Mathematics [math], Mathematics - Optimization and Control, Ordinary differential equations, Analysis of PDEs (math.AP)
Abstract: This paper deals with the exponential stability of systems made of a hyperbolic PDE coupled with an ODE with different time scales, the dynamics of the PDE being much faster than that of the ODE. Such a difference of time scales is modeled though a small parameter $\varepsilon$ multiplying the time derivative in the PDE, and our stability analysis relies on the singular perturbation method. More precisely, we define two subsystems: a reduced order system, representing the dynamics of the full system in the limit $\varepsilon = 0$, and a boundary-layer system, which represents the dynamics of the PDE in the fast time scale. Our main result shows that, if both the reduced order and the boundary-layer systems are exponentially stable, then the full system is also exponentially stable for $\varepsilon$ small enough, and our strategy is based on a spectral analysis of the systems under consideration. Our main result improves a previous result in the literature, which was proved using a Lyapunov approach and required a stronger assumption on the boundary-layer system to obtain the same conclusion., Comment: 6 pages, 3 figures, double column format
Published: 2023
Full Text: View/download PDF

6. Finite-time stability properties of Lur'e systems with piecewise continuous nonlinearities

Author: Mariano, Simone, Postoyan, Romain, Zaccarian, Luca, Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Dipartimento di Ingegneria Industriale [Trento], University of Trento [Trento], Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and ANR-18-CE40-0010,HANDY,Systèmes Dynamiques Hybrides et en Réseau(2018)
Subjects: [SPI]Engineering Sciences [physics], FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Systems and Control (eess.SY), Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Electrical Engineering and Systems Science - Systems and Control, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: We analyze the stability properties of Lur'e systems with piecewise continuous nonlinearities by exploiting the notion of set-valued Lie derivative for Lur'e-Postnikov Lyapunov functions. We first extend an existing result of the literature to establish the global asymptotic stability of the origin under a more general sector condition. We then present the main results of this work, namely additional conditions under which output and state finite-time stability properties also hold for the considered class of systems. We highlight the relevance of these results by certifying the stability properties of two engineering systems of known interest: mechanical systems affected by friction and cellular neural networks.
Published: 2023
Full Text: View/download PDF

7. Operating data of a specific Aquatic Center as a Benchmark for dynamic model learning: search for a valid prediction model over an 8-hour horizon

Author: Gauthier-Clerc, Francois, Le Capitaine, Hoel, Claveau, Fabien, Chevrel, Philippe, Commande, Observation, Diagnostic et Expérimentation (LS2N - équipe CODEx), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Data User Knowledge (LS2N - équipe DUKe), Nantes Université - Ecole Polytechnique de l'Université de Nantes (Nantes Univ - EPUN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Cifre Purecontrol, and EUCA
Subjects: FOS: Computer and information sciences, Computer Science - Machine Learning, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Electrical Engineering and Systems Science - Systems and Control, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Machine Learning (cs.LG)
Abstract: International audience; This article presents an identification benchmark based on data from a public swimming pool in operation. Such a system is both a complex process and easily understandable by all with regard to the stakes. Ultimately, the objective is to reduce the energy bill while maintaining the level of quality of service. This objective is general in scope and is not limited to public swimming pools. This can be done effectively through what is known as economic predictive control. This type of advanced control is based on a process model. It is the aim of this article and the considered benchmark to show that such a dynamic model can be obtained from operating data. For this, operational data is formatted and shared, and model quality indicators are proposed. On this basis, the first identification results illustrate the results obtained by a linear multivariable model on the one hand, and by a neural dynamic model on the other hand. The benchmark calls for other proposals and results from control and data scientists for comparison.
Published: 2023
Full Text: View/download PDF

8. Event-triggered boundary damping of a linear wave equation

Author: Baudouin, Lucie, Marx, Swann, Tarbouriech, Sophie, Valein, Julie, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Institut Élie Cartan de Lorraine (IECL), and Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: practical stability, Zeno behavior free, Optimization and Control (math.OC), [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, FOS: Mathematics, Wave equation, Wave equation event-triggered boundary control Lyapunov functionals practical stability Zeno behavior free, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Lyapunov functionals, 34H15, 93B52, 93C20, 35L05, Mathematics - Optimization and Control, event-triggered boundary control
Abstract: This article presents an analysis of the stabilization of a multidimensional partial differential wave equation under a well designed event-triggering mechanism that samples the boundary control input. The wave equation is set in a bounded domain and the control is performed through a boundary classical damping term, where the Neumann boundary condition is made proportional to the velocity. First of all, existence and regularity of the solution to the closed- loop system under the event-triggering mechanism of the control are proven. Then, sufficient conditions based on the use of a specific Lyapunov functional are proposed in order to ensure that the solutions converge into a compact set containing the origin, that can be tuned by the designer. Furthermore, as expected, any Zeno behavior of the closed-loop system is avoided.
Published: 2023
Full Text: View/download PDF

9. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations

Author: Augier, Nicolas, Henrion, Didier, Korda, Milan, Magron, Victor, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Equipe Polynomial OPtimization (LAAS-POP), Czech Technical University in Prague (CTU), This work was supported by the FastQI grant funded by the Institut Quantique Occitan, the PHC Proteus grant 46195TA as well as by the National Research Foundation, Prime Minister’s Office, Singapore under its Campus for Research Excellence and Technological Enterprise (CREATE) programme., ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), and H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
Subjects: 49M20, 90C22, 93C10, 28A99, Optimization and Control (math.OC), FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control
Abstract: We address the problem of symmetry reduction of optimal control problems under the action of a finite group from a measure relaxation viewpoint. We propose a method based on the moment-SOS aka Lasserre hierarchy which allows one to significantly reduce the computation time and memory requirements compared to the case without symmetry reduction. We show that the recovery of optimal trajectories boils down to solving a symmetric parametric polynomial system. Then we illustrate our method on the symmetric integrator and the time-optimal inversion of qubits., Comment: 38 pages, 23 figures
Published: 2023
Full Text: View/download PDF

10. A Structure Preserving Scheme for the Kolmogorov-Fokker-Planck Equation

Author: Jérôme Lohéac, Minh-Binh Tran, Erich L Foster, Neurorestoration Group, King‘s College London-Wolfson Centre for Age-related Diseases, Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Commande (Commande), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Robotique Et Vivant (ReV), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), University of Science, VNU-HCM, and Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Physics and Astronomy (miscellaneous), media_common.quotation_subject, Structure (category theory), 010103 numerical & computational mathematics, 01 natural sciences, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, FOS: Mathematics, 65M12, 65M22, 35K65, Mathematics - Numerical Analysis, 0101 mathematics, media_common, Mathematics, Numerical Analysis, Applied Mathematics, Mathematical analysis, Numerical Analysis (math.NA), [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Infinity, Computer Science Applications, 010101 applied mathematics, Change of variables (PDE), Computational Mathematics, Transformation (function), Kolmogorov structure function, Modeling and Simulation, Scheme (mathematics), Kolmogorov equations, Fokker–Planck equation
Abstract: In this paper we introduce a numerical scheme which preserves the behavior of solutions to the Kolmogorov Equation as time tends to infinity. The method presented is based on a self-similar change of variables technique to transform the Kolmogorov Equation into a new form, such that the problem of designing structure preserving schemes, for the original equation, amounts to building a standard scheme for the transformed equation. This transformation also has the added benefit of allowing for an exact operator splitting scheme, whereas in the original form a standard operator splitting was only second-order. Finally, we verify the preservation of long time behavior through numerical simulations.
Published: 2014
Full Text: View/download PDF

11. SPySort: Neuronal Spike Sorting with Python

Author: Pouzat, Christophe, Detorakis, Georgios Is., Mathématiques Appliquées Paris 5 (MAP5 - UMR 8145), Université Paris Descartes - Paris 5 (UPD5)-Institut National des Sciences Mathématiques et de leurs Interactions (INSMI)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des signaux et systèmes (L2S), Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Sud - Paris 11 (UP11), Pierre de Buyl, Nelle Varoquaux, ANR-13-JS03-0006,SYNCHNEURO,Théorie de la commande pour la synchronisation neuronale: modélisation à partir de données l'optogénétique, et alteration boucle-fermée des oscillations cérébrales pathologiques(2013), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Mathématiques Appliquées à Paris 5 ( MAP5 - UMR 8145 ), Université Paris Descartes - Paris 5 ( UPD5 ) -Institut National des Sciences Mathématiques et de leurs Interactions-Centre National de la Recherche Scientifique ( CNRS ), Laboratoire des signaux et systèmes ( L2S ), Université Paris-Sud - Paris 11 ( UP11 ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ), and ANR-13-JS03-0006,SYNCHNEURO,Théorie de la commande pour la synchronisation neuronale: modélisation à partir de données l'optogénétique, et alteration boucle-fermée des oscillations cérébrales pathologiques ( 2013 )
Subjects: sampling theorem, FOS: Computer and information sciences, sampling jitter correction, [STAT.AP]Statistics [stat]/Applications [stat.AP], [SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology, [ STAT.AP ] Statistics [stat]/Applications [stat.AP], Computational Engineering, Finance, and Science (cs.CE), Gaussian Mixture Model, kmeans, dimen-sion reduction, Quantitative Biology - Neurons and Cognition, [ SDV.NEU.NB ] Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology, FOS: Biological sciences, Neurons and Cognition (q-bio.NC), E-M algorithm, Computer Science - Computational Engineering, Finance, and Science, Index Terms—clustering
Abstract: Extracellular recordings with multi-electrode arrays is one of the basic tools of contemporary neuroscience. These recordings are mostly used to monitor the activities, understood as sequences of emitted action potentials, of many individual neurons. But the raw data produced by extracellular recordings are most commonly a mixture of activities from several neurons. In order to get the activities of the individual contributing neurons, a pre-processing step called spike sorting is required. We present here a pure Python implementation of a well tested spike sorting procedure. The latter was designed in a modular way in order to favour a smooth transition from an interactive sorting, for instance with IPython, to an automatic one. Surprisingly enough - or sadly enough, depending on one's view point -, recoding our now 15 years old procedure into Python was the occasion of major methodological improvements., Comment: Part of the Proceedings of the 7th European Conference on Python in Science (EuroSciPy 2014), Pierre de Buyl and Nelle Varoquaux editors, (2014)
Published: 2014
Full Text: View/download PDF

12. Control Design under Actuator Saturation and Multi-Rate Sampling

Author: Ferrante, Francesco, Sanfelice, Ricardo, Tarbouriech, Sophie, Università degli Studi di Perugia = University of Perugia (UNIPG), Jack Baskin School of Engineering (UCSC), University of California [Santa Cruz] (UC Santa Cruz), University of California (UC)-University of California (UC), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and ANR-18-CE40-0010,HANDY,Systèmes Dynamiques Hybrides et en Réseau(2018)
Subjects: LMIs, Lyapunov stability LMIs, Hybrid systems, Saturated feedback, Control and Systems Engineering, Lyapunov stability, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], FOS: Electrical engineering, electronic engineering, information engineering, Networked control systems, Systems and Control (eess.SY), Electrical and Electronic Engineering, Electrical Engineering and Systems Science - Systems and Control
Abstract: The problem of designing a stabilizing feedback controller in the presence of saturating actuators and multi-rate (asynchronous) aperiodic state measurements is studied. Specifically, we consider a scenario in which measurements of the plant states are collected at the controller end in a sporadic and asynchronous fashion. A hybrid controller is used to perform a fusion of measurements sampled at different times. In between sampling events, the controller behaves as a copy of the plant and provides a feedback control signal based on the reconstruction of the plant state. The presence of saturation at the plant input limits the value of the components of this signal to a bounded range. When a new measurement is available, the controller state undergoes an instantaneous jump. The resulting system is augmented with a set of timers triggering the arrival of new measurements and analyzed in a hybrid systems framework. Relying on Lyapunov tools for hybrid systems and techniques for control design under saturation, we propose sufficient conditions in the form of matrix inequalities to ensure regional exponential stability of a closed-set containing the origin of the plant, i.e., exponential stability with a guaranteed region of attraction. Specifically, explicit estimates of the basin of attraction are provided in the form of ellipsoidal sets. Leveraging those conditions, a design procedure based on semidefinite programming is proposed to design a stabilizing controller with maximized size of the basin attraction. The effectiveness of the proposed methodology is shown in an example., Comment: Extended version of the paper accepted for publication in Automatica
Published: 2022
Full Text: View/download PDF

13. The impact of removing head movements on audio-visual speech enhancement

Author: Kang, Zhiqi, Sadeghi, Mostafa, Horaud, Radu, Alameda-Pineda, Xavier, Donley, Jacob, Kumar, Anurag, Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), Speech Modeling for Facilitating Oral-Based Communication (MULTISPEECH), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Facebook Reality Labs [Redmond], IEEE Signal Processing Society, ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), and European Project: 871245,H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT),SPRING(2020)
Subjects: FOS: Computer and information sciences, Sound (cs.SD), Audio-visual speech enhancement, Audio and Speech Processing (eess.AS), Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, FOS: Electrical engineering, electronic engineering, information engineering, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Computer Science - Sound, Electrical Engineering and Systems Science - Audio and Speech Processing, variational auto-encoder, face frontalization
Abstract: International audience; This paper investigates the impact of head movements on audiovisual speech enhancement (AVSE). Although being a common conversational feature, head movements have been ignored by past and recent studies: they challenge today's learning-based methods as they often degrade the performance of models that are trained on clean, frontal, and steady face images. To alleviate this problem, we propose to use robust face frontalization (RFF) in combination with an AVSE method based on a variational auto-encoder (VAE) model. We briefly describe the basic ingredients of the proposed pipeline and we perform experiments with a recently released audiovisual dataset. In the light of these experiments, and based on three standard metrics, namely STOI, PESQ and SI-SDR, we conclude that RFF improves the performance of AVSE by a considerable margin.
Published: 2022
Full Text: View/download PDF

14. First-Order Pontryagin Maximum Principle for Risk-Averse Stochastic Optimal Control Problems

Author: Bonalli, Riccardo, Bonnet, Benoît, Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse Capitole (UT Capitole)
Subjects: Set-valued analysis, Optimization and Control (math.OC), 93E03, 93E20, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, FOS: Mathematics, Stochastic first-order necessary optimality conditions, First-order stochastic necessary optimality conditions, Risk-averse stochastic optimal control, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Pontryagin Maximum Principle, Mathematics - Optimization and Control
Abstract: In this paper, we derive first-order Pontryagin optimality conditions for risk-averse stochastic optimal control problems subject to final time inequality constraints, and whose costs are general, possibly non-smooth finite coherent risk measures. Unlike preexisting contributions covering this situation, our analysis holds for classical stochastic differential equations driven by standard Brownian motions. In addition, it presents the advantages of neither involving second-order adjoint equations, nor leading to the so-called weak version of the PMP, in which the maximization condition with respect to the control variable is replaced by the stationarity of the Hamiltonian.
Published: 2022
Full Text: View/download PDF

15. Back to MLP: A Simple Baseline for Human Motion Prediction

Author: Guo, Wen, Du, Yuming, Shen, Xi, Lepetit, Vincent, Alameda-Pineda, Xavier, Moreno-Noguer, Francesc, Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), École des Ponts ParisTech (ENPC), Tencent [Shenzhen], Institut de Robòtica i Informàtica Industrial (IRI), and Universitat Politècnica de Catalunya [Barcelona] (UPC)-Consejo Superior de Investigaciones Científicas [Madrid] (CSIC)
Subjects: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Computer Science - Artificial Intelligence, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]
Abstract: This paper tackles the problem of human motion prediction, consisting in forecasting future body poses from historically observed sequences. State-of-the-art approaches provide good results, however, they rely on deep learning architectures of arbitrary complexity, such as Recurrent Neural Networks(RNN), Transformers or Graph Convolutional Networks(GCN), typically requiring multiple training stages and more than 2 million parameters. In this paper, we show that, after combining with a series of standard practices, such as applying Discrete Cosine Transform(DCT), predicting residual displacement of joints and optimizing velocity as an auxiliary loss, a light-weight network based on multi-layer perceptrons(MLPs) with only 0.14 million parameters can surpass the state-of-the-art performance. An exhaustive evaluation on the Human3.6M, AMASS, and 3DPW datasets shows that our method, named siMLPe, consistently outperforms all other approaches. We hope that our simple method could serve as a strong baseline for the community and allow re-thinking of the human motion prediction problem. The code is publicly available at \url{https://github.com/dulucas/siMLPe}., Comment: Accepted to WACV 2023; Code available at https://github.com/dulucas/siMLPe
Published: 2022
Full Text: View/download PDF

16. Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers

Author: Magron, Victor, Ebihara, Yoshio, Waki, Hayato, Mai, Ngoc Hoang Anh, Peaucelle, Dimitri, Tarbouriech, Sophie, Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Kyushu University, This research is part of the programme DesCartes and is supported by the National Research Foundation, Prime Minister’s Office, Singapore under its Campus for Research Excellence and Technological Enterprise (CREATE) programme., ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), Magron, Victor, TREMPLIN-ERC - Optimisation garantie pour la vérification des systèmes cyber-physiques - - COPS2018 - ANR-18-ERC2-0004 - TERC - VALID, Artificial and Natural Intelligence Toulouse Institute - - ANITI2019 - ANR-19-P3IA-0004 - P3IA - VALID, Centre International de Mathématiques et d'Informatique (de Toulouse) - - CIMI2011 - ANR-11-LABX-0040 - LABX - VALID, and Polynomial Optimization, Efficiency through Moments and Algebra - POEMA - - H20202019-01-01 - 2022-12-31 - 813211 - VALID
Subjects: FOS: Computer and information sciences, Computer Science - Machine Learning, Optimization and Control (math.OC), Mathematics::Optimization and Control, FOS: Mathematics, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Machine Learning (cs.LG)
Abstract: This paper is concerned with the stability analysis of the recurrent neural networks (RNNs) by means of the integral quadratic constraint (IQC) framework. The rectified linear unit (ReLU) is typically employed as the activation function of the RNN, and the ReLU has specific nonnegativity properties regarding its input and output signals. Therefore, it is effective if we can derive IQC-based stability conditions with multipliers taking care of such nonnegativity properties. However, such nonnegativity (linear) properties are hardly captured by the existing multipliers defined on the positive semidefinite cone. To get around this difficulty, we loosen the standard positive semidefinite cone to the copositive cone, and employ copositive multipliers to capture the nonnegativity properties. We show that, within the framework of the IQC, we can employ copositive multipliers (or their inner approximation) together with existing multipliers such as Zames-Falb multipliers and polytopic bounding multipliers, and this directly enables us to ensure that the introduction of the copositive multipliers leads to better (no more conservative) results. We finally illustrate the effectiveness of the IQC-based stability conditions with the copositive multipliers by numerical examples., Comment: 6 pages, 2 figures. arXiv admin note: text overlap with arXiv:2011.12726
Published: 2022
Full Text: View/download PDF

17. Multistage Optimization of a Petroleum Production System with Material Balance Model

Author: Cyrille Vessaire, Jean-Philippe Chancelier, Michel De Lara, Pierre Carpentier, Alejandro Rodríguez-Martínez, Anna Robert, Optimisation et commande (OC), Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), and TotalEnergies SE
Subjects: Optimization and Control (math.OC), General Chemical Engineering, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Computer Science Applications
Abstract: In this paper, we propose a mathematical formulation for the management of an oil production network as a multistage optimization problem. The reservoir is modeled as a controlled dynamical system by using material balance equations. We use a dynamic programming algorithm to solve the optimization problem. Two numerical applications illustrate our work: the first one consists in optimizing the production of a gas reservoir, whereas the second one tackles an oil reservoir with water injection.
Published: 2022
Full Text: View/download PDF

18. Robust Audio-Visual Instance Discrimination via Active Contrastive Set Mining

Author: Xuan, Hanyu, Xu, Yihong, Chen, Shuo, Wu, Zhiliang, Yang, Jian, Yan, Yan, Alameda-Pineda, Xavier, Nanjing University of Science and Technology (NJUST), Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), RIKEN BNL Research Center (RBRC), Brookhaven National Laboratory [Upton, NY] (BNL), UT-Battelle, LLC-Stony Brook University [SUNY] (SBU), State University of New York (SUNY)-State University of New York (SUNY)-U.S. Department of Energy [Washington] (DOE)-UT-Battelle, LLC-Stony Brook University [SUNY] (SBU), State University of New York (SUNY)-State University of New York (SUNY)-U.S. Department of Energy [Washington] (DOE), Illinois Institute of Technology (IIT), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), and ANR-19-CE33-0008,ML3RI,Apprentissage de bas-niveau d'ineractions robotiques multi-modales avec plusieurs personnes(2019)
Subjects: FOS: Computer and information sciences, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Computer Science - Multimedia, Multimedia (cs.MM)
Abstract: The recent success of audio-visual representation learning can be largely attributed to their pervasive property of audio-visual synchronization, which can be used as self-annotated supervision. As a state-of-the-art solution, Audio-Visual Instance Discrimination (AVID) extends instance discrimination to the audio-visual realm. Existing AVID methods construct the contrastive set by random sampling based on the assumption that the audio and visual clips from all other videos are not semantically related. We argue that this assumption is rough, since the resulting contrastive sets have a large number of faulty negatives. In this paper, we overcome this limitation by proposing a novel Active Contrastive Set Mining (ACSM) that aims to mine the contrastive sets with informative and diverse negatives for robust AVID. Moreover, we also integrate a semantically-aware hard-sample mining strategy into our ACSM. The proposed ACSM is implemented into two most recent state-of-the-art AVID methods and significantly improves their performance. Extensive experiments conducted on both action and sound recognition on multiple datasets show the remarkably improved performance of our method., Comment: 7 pages, 4 figures, accepted at IJCAI 2022
Published: 2022
Full Text: View/download PDF

19. Lyapunov Stability Analysis of a Mass-Spring system subject to Friction

Author: Matthieu Barreau, Sophie Tarbouriech, Frédéric Gouaisbaut, Royal Institute of Technology [Stockholm] (KTH ), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, ANR-18-CE40-0010,HANDY,Systèmes Dynamiques Hybrides et en Réseau(2018), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: 0209 industrial biotechnology, General Computer Science, Friction, 02 engineering and technology, Stability (probability), 020901 industrial engineering & automation, Exponential stability, Subject (grammar), Attractor, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Applied mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Electrical and Electronic Engineering, LMI, Mathematics - Optimization and Control, Mathematics, Lyapunov methods, Lyapunov stability, Equilibrium point, Global asymptotic stability, Mechanical Engineering, 020208 electrical & electronic engineering, Regional asymptotic stability, Attraction, Control and Systems Engineering, Optimization and Control (math.OC), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Abstract: International audience; This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically stick to the ground. The objective consists in developing numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The approach proposed merges two intermediate results: The first one relies on the characterization of an attractor around the origin, in which converge the closed-loop trajectories. The second result assesses the regional asymptotic stability of the equilibrium point by estimating its basin of attraction. The main result relies on conditions allowing to ensure that the attractor issued from the first result is included in the basin of attraction of the origin computed form the second result. An illustrative example draws the interest of the approach.
Published: 2021
Full Text: View/download PDF

20. Formation Flight Control of Multi-UAV System Using Neighbor-based Trajectory Generation Topology

Author: Hasan Noura, Batool Ibrahim, Pronostic-Diagnostic Et CommAnde : Santé et Energie (PECASE), Laboratoire d'Informatique et Systèmes (LIS), and Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
Subjects: 0209 industrial biotechnology, Computer science, Mechanical Engineering, Control (management), Structure (category theory), Topology (electrical circuits), 02 engineering and technology, Systems and Control (eess.SY), Topology, Electrical Engineering and Systems Science - Systems and Control, Computer Science::Multiagent Systems, [SPI]Engineering Sciences [physics], 020901 industrial engineering & automation, Mechanics of Materials, 0202 electrical engineering, electronic engineering, information engineering, Trajectory, FOS: Electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, General Materials Science, MATLAB, computer, computer.programming_language
Abstract: International audience; In this paper, a distributed formation flight control topology for Leader-Follower formation structureis presented. Such topology depends in the first place on online generation of the trajectories that should befollowed by the agents in the formation. The trajectory of each agent is planned during execution depending onits neighbors and considering that the desired reference trajectory is only given to the leader. Simulation usingMATLAB/SIMULINK is done on a formation of quadrotor UAVs to illustrate the proposed method. Thetopology shows very good results in achieving the formation and following the reference trajectory.
Published: 2021
Full Text: View/download PDF

21. Noncommutative Christoffel-Darboux Kernels

Author: Serban Belinschi, Victor Magron, Victor Vinnikov, Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Equipe Polynomial OPtimization (LAAS-POP), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Ben-Gurion University of the Negev (BGU), Part of this work was conducted in November 2019 while STB was a visiting fellow supported by the Faculty of Natural Sciences Distinguished Scientist Visitors Program of the Ben Gurion University of the Negev, Beer-Sheva, Israel, and during the three authors’visit at the MFO workshop I.D.: 2010, 'Real Algebraic Geometry with a View Toward Hyperbolic Programming and Free Probability' (1–7 March 2020)., PHC Proteus grant 46195TA, ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 813211,H2020,POEMA(2019), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Department of Mathematics [Be'er Sheva], Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), Belinschi, Serban, TREMPLIN-ERC - Optimisation garantie pour la vérification des systèmes cyber-physiques - - COPS2018 - ANR-18-ERC2-0004 - TERC - VALID, and Polynomial Optimization, Efficiency through Moments and Algebra - POEMA - - H20202019-01-01 - 2022-12-31 - 813211 - VALID
Subjects: Mathematics - Complex Variables, Mathematics::Complex Variables, Optimization and Control (math.OC), Applied Mathematics, General Mathematics, [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], Mathematics - Operator Algebras, FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Complex Variables (math.CV), [MATH.MATH-OA] Mathematics [math]/Operator Algebras [math.OA], Operator Algebras (math.OA), Mathematics - Optimization and Control
Abstract: We introduce from an analytic perspective Christoffel-Darboux kernels associated to bounded, tracial noncommutative distributions. We show that properly normalized traces, respectively norms, of evaluations of such kernels on finite dimensional matrices yield classical plurisubharmonic functions as the degree tends to infinity, and show that they are comparable to certain noncommutative versions of the Siciak extremal function. We prove estimates for Siciak functions associated to free products of distributions, and use the classical theory of plurisubharmonic functions in order to propose a notion of support for noncommutative distributions. We conclude with some conjectures and numerical experiments., Comment: 48 pages, 2 figures
Published: 2021
Full Text: View/download PDF

22. SocialInteractionGAN: Multi-person Interaction Sequence Generation

Author: Airale, Louis, Vaufreydaz, Dominique, Alameda-Pineda, Xavier, Multimodal Perception and Sociable Interaction (M-PSI), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), ANR-15-IDEX-0002,UGA,IDEX UGA(2015), ANR-19-CE33-0008,ML3RI,Apprentissage de bas-niveau d'ineractions robotiques multi-modales avec plusieurs personnes(2019), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), European Project: 871245,H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT),SPRING(2020), Interpretation and Modelling of Images and Videos (PERCEPTION), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), and European Project: H2020,SPRING
Subjects: Human-Computer Interaction, FOS: Computer and information sciences, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], Statistics - Machine Learning, Multi-person interactions, discrete sequence generation, Computer Science - Neural and Evolutionary Computing, Machine Learning (stat.ML), Neural and Evolutionary Computing (cs.NE), [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], Software, adversarial learning
Abstract: Prediction of human actions in social interactions has important applications in the design of social robots or artificial avatars. In this paper, we focus on a unimodal representation of interactions and propose to tackle interaction generation in a data-driven fashion. In particular, we model human interaction generation as a discrete multi-sequence generation problem and present SocialInteractionGAN, a novel adversarial architecture for conditional interaction generation. Our model builds on a recurrent encoder-decoder generator network and a dual-stream discriminator, that jointly evaluates the realism of interactions and individual action sequences and operates at different time scales. Crucially, contextual information on interacting participants is shared among agents and reinjected in both the generation and the discriminator evaluation processes. Experiments show that albeit dealing with low dimensional data, SocialInteractionGAN succeeds in producing high realism action sequences of interacting people, comparing favorably to a diversity of recurrent and convolutional discriminator baselines, and we argue that this work will constitute a first stone towards higher dimensional and multimodal interaction generation. Evaluations are conducted using classical GAN metrics, that we specifically adapt for discrete sequential data. Our model is shown to properly learn the dynamics of interaction sequences, while exploiting the full range of available actions., IEEE Transactions on Affective Computing, Institute of Electrical and Electronics Engineers, 2022
Published: 2021
Full Text: View/download PDF

23. Multi-Person Extreme Motion Prediction

Author: Guo, Wen, Bie, Xiaoyu, Alameda-Pineda, Xavier, Moreno-Noguer, Francesc, Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), Institut de Robòtica i Informàtica Industrial (IRI), Universitat Politècnica de Catalunya [Barcelona] (UPC)-Consejo Superior de Investigaciones Científicas [Madrid] (CSIC), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-19-CE33-0008,ML3RI,Apprentissage de bas-niveau d'ineractions robotiques multi-modales avec plusieurs personnes(2019), and European Project: 871245,H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT),SPRING(2020)
Subjects: FOS: Computer and information sciences, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]
Abstract: Human motion prediction aims to forecast future poses given a sequence of past 3D skeletons. While this problem has recently received increasing attention, it has mostly been tackled for single humans in isolation. In this paper, we explore this problem when dealing with humans performing collaborative tasks, we seek to predict the future motion of two interacted persons given two sequences of their past skeletons. We propose a novel cross interaction attention mechanism that exploits historical information of both persons, and learns to predict cross dependencies between the two pose sequences. Since no dataset to train such interactive situations is available, we collected ExPI (Extreme Pose Interaction), a new lab-based person interaction dataset of professional dancers performing Lindy-hop dancing actions, which contains 115 sequences with 30K frames annotated with 3D body poses and shapes. We thoroughly evaluate our cross interaction network on ExPI and show that both in short- and long-term predictions, it consistently outperforms state-of-the-art methods for single-person motion prediction., Comment: CVPR 2022, update results of MSR in Table 3
Published: 2021
Full Text: View/download PDF

24. The Constant Trace Property in Noncommutative Optimization

Author: Abhishek Bhardwaj, Ngoc Hoang Anh Mai, Victor Magron, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut de Mathématiques de Toulouse UMR5219 (IMT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), PHC Proteus QUANTPOP, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), European Project: 813211,H2020,POEMA(2019), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), and H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
Subjects: Semidefinite programming, 021103 operations research, Trace (linear algebra), Numerical analysis, 010102 general mathematics, 0211 other engineering and technologies, Mathematics::Optimization and Control, 02 engineering and technology, 01 natural sciences, Noncommutative geometry, Matrix (mathematics), Optimization and Control (math.OC), FOS: Mathematics, Applied mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Relaxation (approximation), 0101 mathematics, Constant (mathematics), Mathematics - Optimization and Control, Computer Science::Databases, Variable (mathematics), Mathematics
Abstract: In this article, we show that each semidefinite relaxation of a ball-constrained noncommutative polynomial optimization problem can be cast as a semidefinite program with a constant trace matrix variable. We then demonstrate how this constant trace property can be exploited via first order numerical methods to solve efficiently the semidefinite relaxations of the noncommutative problem., Comment: 8 pages, 3 tables
Published: 2021
Full Text: View/download PDF

25. A Quantum Algorithm for the Sub-Graph Isomorphism Problem

Author: Mariella, Nicola, Simonetto, Andrea, MasterCard, Optimisation et commande (OC), Unité de Mathématiques Appliquées (UMA), and École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris)
Subjects: Quantum Physics, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], Optimization and Control (math.OC), FOS: Mathematics, FOS: Physical sciences, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Quantum Physics (quant-ph), Mathematics - Optimization and Control, MathematicsofComputing_DISCRETEMATHEMATICS
Abstract: We propose a novel variational method for solving the sub-graph isomorphism problem on a gate-based quantum computer. The method relies (1) on a new representation of the adjacency matrices of the underlying graphs, which requires a number of qubits that scales logarithmically with the number of vertices of the graphs; and (2) on a new Ansatz that can efficiently probe the permutation space. Simulations are then presented to showcase the approach on graphs up to 16 vertices, whereas, given the logarithmic scaling, the approach could be applied to realistic sub-graph isomorphism problem instances in the medium term., Comment: 30 pages, 14 figures
Published: 2021
Full Text: View/download PDF

26. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives

Author: Didier Henrion, Felix Kirschner, Etienne De Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Department of Econometrics and Operations Research (Tilburg University), Tilburg University [Netherlands], ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), European Project: 813211,H2020,POEMA(2019), Research Group: Operations Research, Econometrics and Operations Research, Center Ph. D. Students, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Equipe Polynomial OPtimization (LAAS-POP), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), and H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
Subjects: Optimization and Control (math.OC), Options pricing, General Engineering, FOS: Mathematics, Semidefinite programming, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Moment-SOS hierarchy
Abstract: In this paper we consider the problem of finding bounds on the prices of options depending on multiple assets without assuming any underlying model on the price dynamics, but only the absence of arbitrage opportunities. We formulate this as a generalized moment problem and utilize the well-known Moment-Sum-of-Squares (SOS) hierarchy of Lasserre to obtain bounds on the range of the possible prices. A complementary approach (also due to Lasserre) is employed for comparison. We present several numerical examples to demonstrate the viability of our approach. The framework we consider makes it possible to incorporate different kinds of observable data, such as moment information, as well as observable prices of options on the assets of interest., Comment: 20 pages
Published: 2021
Full Text: View/download PDF

27. Nonpathological ISS-Lyapunov Functions for Interconnected Differential Inclusions

Author: Matteo Dellarossa, Aneel Tanwani, Luca Zaccarian, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Dipartimento di Ingegneria Industriale [Trento], University of Trento [Trento], ANR-17-CE40-0019,ConVan,Contrôle des Systèmes Interconnectés sous Contraintes en Utilisant l'Analyse Variationelle(2017), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: Lyapunov function, 0209 industrial biotechnology, Pure mathematics, Observer (quantum physics), Dynamical systems theory, 02 engineering and technology, Lipschitz continuity, Computer Science Applications, Nonlinear system, symbols.namesake, 020901 industrial engineering & automation, Differential inclusion, Control and Systems Engineering, Control theory, Optimization and Control (math.OC), symbols, FOS: Mathematics, Differentiable function, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Electrical and Electronic Engineering, Mathematics - Optimization and Control, Mathematics
Abstract: This article concerns robustness analysis for interconnections of two dynamical systems (described by upper semicontinuous differential inclusions) using a generalized notion of derivatives associated with locally Lipschitz Lyapunov functions obtained from a finite family of differentiable functions. We first provide sufficient conditions for input-to-state stability (ISS) for differential inclusions, using a class of non-smooth (but locally Lipschitz) candidate Lyapunov functions and the concept of Lie generalized derivative. In general our conditions are less conservative than the more common Clarke derivative based conditions. We apply our result to state-dependent switched systems, and to the interconnection of two differential inclusions. As an example, we propose an observer-based controller for certain nonlinear two-mode state-dependent switched systems., Comment: IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers
Published: 2021
Full Text: View/download PDF

28. Successor Feature Representations

Author: Reinke, Chris, Alameda-Pineda, Xavier, Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-19-CE33-0008,ML3RI,Apprentissage de bas-niveau d'ineractions robotiques multi-modales avec plusieurs personnes(2019), and European Project: 871245,H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT),SPRING(2020)
Subjects: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Computer Science - Artificial Intelligence, Machine Learning (cs.LG)
Abstract: Transfer in Reinforcement Learning aims to improve learning performance on target tasks using knowledge from experienced source tasks. Successor Representations (SR) and their extension Successor Features (SF) are prominent transfer mechanisms in domains where reward functions change between tasks. They reevaluate the expected return of previously learned policies in a new target task to transfer their knowledge. The SF framework extended SR by linearly decomposing rewards into successor features and a reward weight vector allowing their application in high-dimensional tasks. But this came with the cost of having a linear relationship between reward functions and successor features, limiting its application to such tasks. We propose a novel formulation of SR based on learning the cumulative discounted probability of successor features, called Successor Feature Representations (SFR). Crucially, SFR allows to reevaluate the expected return of policies for general reward functions. We introduce different SFR variations, prove its convergence, and provide a guarantee on its transfer performance. Experimental evaluations based on SFR with function approximation demonstrate its advantage over SF not only for general reward functions but also in the case of linearly decomposable reward functions., Comment: source code available at https://gitlab.inria.fr/robotlearn/sfr_learning [v2] added experiments with learned features [v3] renamed paper and changed scope
Published: 2021
Full Text: View/download PDF

29. FullSubNet: A Full-Band and Sub-Band Fusion Model for Real-Time Single-Channel Speech Enhancement

Author: Xiangdong Su, Radu Horaud, Xiaofei Li, Xiang Hao, Westlake University [Zhejiang], Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), and ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)
Subjects: Signal Processing (eess.SP), FOS: Computer and information sciences, Signal processing, Sound (cs.SD), Noise measurement, Computer science, business.industry, Pattern recognition, Context (language use), Speech Enhancement, Signal, Computer Science - Sound, Speech enhancement, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Audio and Speech Processing (eess.AS), [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], Feature (machine learning), FOS: Electrical engineering, electronic engineering, information engineering, Artificial intelligence, Electrical Engineering and Systems Science - Signal Processing, business, Joint (audio engineering), Communication channel, Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract: This paper proposes a full-band and sub-band fusion model, named as FullSubNet, for single-channel real-time speech enhancement. Full-band and sub-band refer to the models that input full-band and sub-band noisy spectral feature, output full-band and sub-band speech target, respectively. The sub-band model processes each frequency independently. Its input consists of one frequency and several context frequencies. The output is the prediction of the clean speech target for the corresponding frequency. These two types of models have distinct characteristics. The full-band model can capture the global spectral context and the long-distance cross-band dependencies. However, it lacks the ability to modeling signal stationarity and attending the local spectral pattern. The sub-band model is just the opposite. In our proposed FullSubNet, we connect a pure full-band model and a pure sub-band model sequentially and use practical joint training to integrate these two types of models' advantages. We conducted experiments on the DNS challenge (INTERSPEECH 2020) dataset to evaluate the proposed method. Experimental results show that full-band and sub-band information are complementary, and the FullSubNet can effectively integrate them. Besides, the performance of the FullSubNet also exceeds that of the top-ranked methods in the DNS Challenge (INTERSPEECH 2020)., Comment: 5 pages, submitted to 2021 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2021)
Published: 2020
Full Text: View/download PDF

30. Fokker-Planck equations with terminal condition and related McKean probabilistic representation

Author: Izydorczyk, Lucas, Oudjane, Nadia, Russo, Francesco, Tessitore, Gianmario, Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Optimisation, Simulation, Risque et Statistiques pour les Marchés de l’Energie (EDF R&D OSIRIS), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Dipartimento di Matematica e Applicazioni [Milano], Università di Milano-Bicocca, Optimisation et commande (OC), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), and Università degli Studi di Milano-Bicocca [Milano] (UNIMIB)
Subjects: Fokker Planck equation, Probability (math.PR), McKean stochastic differential equation, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], time-reversed diffusion, 35R30, Mathematics - Analysis of PDEs, and phrases Inverse problem, probabilistic representation of PDEs, probabilistic represen- tation of PDEs, Inverse problem, Fokker Planck equation 2020 AMS-classification 60H10, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], 60H30, Mathematics - Probability, 60J60, Analysis of PDEs (math.AP)
Abstract: Usually Fokker-Planck type partial differential equations (PDEs) are well-posed if the initial condition is specified. In this paper, alternatively, we consider the inverse problem which consists in prescribing final data: in particular we give sufficient conditions for existence and uniqueness. In the second part of the paper we provide a probabilistic representation of those PDEs in the form a solution of a McKean type equation corresponding to the time-reversal dynamics of a diffusion process.
Published: 2020
Full Text: View/download PDF

31. $l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks

Author: Ebihara, Yoshio, Waki, Hayato, Magron, Victor, Mai, Ngoc Hoang Anh, Peaucelle, Dimitri, Tarbouriech, Sophie, Graduate School of Information Science and Electrical Engineering, Kyushu University [Fukuoka], Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institute of Mathematics for Industry, Kyushu University, Institut de Mathématiques de Toulouse UMR5219 (IMT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Kyushu University, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Optimization and Control (math.OC), FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control
Abstract: In this paper, we focus on the "positive" $l_2$ induced norm of discrete-time linear time-invariant systems where the input signals are restricted to be nonnegative. To cope with the nonnegativity of the input signals, we employ copositive programming as the mathematical tool for the analysis. Then, by applying an inner approximation to the copositive cone, we derive numerically tractable semidefinite programming problems for the upper and lower bound computation of the "positive" $l_2$ induced norm. This norm is typically useful for the stability analysis of feedback systems constructed from an LTI system and nonlinearities where the nonlinear elements provide only nonnegative signals. As a concrete example, we illustrate the usefulness of the "positive" $l_2$ induced norm for the stability analysis of recurrent neural networks with activation functions being rectified linear units., Comment: 8 pages, 3 figures
Published: 2020
Full Text: View/download PDF

32. Computing the Hausdorff boundary measure of semi-algebraic sets

Author: Jean B. Lasserre, Victor Magron, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, FMJH Program PGMO (EPICS project) and EDF, Thales, Orange et Criteo, PNRIA, ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015), European Project: 813211,H2020,POEMA(2019), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), and H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
Subjects: Semidefinite programming, Semialgebraic set, Pure mathematics, Algebra and Number Theory, Applied Mathematics, 010102 general mathematics, Hausdorff space, Boundary (topology), 010103 numerical & computational mathematics, 26B15, 28A75, 97G30, 28A78, 90C22, 01 natural sciences, Measure (mathematics), Set (abstract data type), Optimization and Control (math.OC), FOS: Mathematics, Hausdorff measure, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Geometry and Topology, 0101 mathematics, Finite set, Mathematics - Optimization and Control, Mathematics
Abstract: Given a compact basic semi-algebraic set we provide a numerical scheme to approximate as closely as desired, any finite number of moments of the Hausdorff measure on the boundary of this set. This also allows one to approximate interesting quantities like length, surface, or more general integrals on the boundary, as closely as desired from above and below., Comment: 21 pages, 2 figures, 2 tables
Published: 2020
Full Text: View/download PDF

33. Exploiting term sparsity in Noncommutative Polynomial Optimization

Author: Victor Magron, Jie Wang, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), FMJH Program PGMO (EPICS project) and EDF, Thales, Orange et Criteo, ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), and European Project: 813211,H2020,POEMA(2019)
Subjects: Semidefinite programming, 021103 operations research, Control and Optimization, Optimization problem, Trace (linear algebra), Hierarchy (mathematics), Applied Mathematics, 0211 other engineering and technologies, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, Noncommutative geometry, Term (time), Algebra, Primary, 47N10, 90C22, Secondary, 12D15, 14P10, Computational Mathematics, Optimization and Control (math.OC), FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], 0101 mathematics, Commutative property, Mathematics - Optimization and Control, Eigenvalues and eigenvectors, Mathematics
Abstract: We provide a new hierarchy of semidefinite programming relaxations, called NCTSSOS, to solve large-scale sparse noncommutative polynomial optimization problems. This hierarchy features the exploitation of term sparsity hidden in the input data for eigenvalue and trace optimization problems. NCTSSOS complements the recent work that exploits correlative sparsity for noncommutative optimization problems by Klep, Magron and Povh in arXiv:1909.00569, and is the noncommutative analogue of the TSSOS framework by Wang, Magron and Lasserre in arXiv:1912.08899. We also propose an extension exploiting simultaneously correlative and term sparsity, as done previously in the commutative case arXiv:2005.02828. Under certain conditions, we prove that the optimums of the NCTSSOS hierarchy converge to the optimum of the corresponding dense SDP relaxation. We illustrate the efficiency and scalability of NCTSSOS by solving eigenvalue/trace optimization problems from the literature as well as randomly generated examples involving up to several thousands of variables., Comment: 33 pages, 5 figures, 12 tables
Published: 2020
Full Text: View/download PDF

34. Optimization over trace polynomials

Author: Jurij Volčič, Victor Magron, Igor Klep, University of Ljubljana, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematics [Texas A&M University], Texas A&M University [College Station], FMJH Program PGMO (EPICS project) and EDF, Thales, Orange et Criteo, Slovenian Research Agency grants J1-8132 and P1-0222, NSF grant DMS-1954709, Proteus grant 46195TA QUANTPOP, ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), IMFM, Univerza v Ljubljani, Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), and European Project: 813211,H2020,POEMA(2019)
Subjects: Nuclear and High Energy Physics, Polynomial, Optimization problem, Trace (linear algebra), FOS: Physical sciences, [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA], 01 natural sciences, [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph], 0103 physical sciences, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Real algebraic geometry, FOS: Mathematics, 0101 mathematics, Quantum information, 010306 general physics, Mathematics - Optimization and Control, Mathematical Physics, Flatness (mathematics), Mathematics, Mathematics::Operator Algebras, 010102 general mathematics, Statistical and Nonlinear Physics, Mathematical Physics (math-ph), Operator theory, Noncommutative geometry, Functional Analysis (math.FA), Mathematics - Functional Analysis, Algebra, 46N50, 90C22, 47N10, 13J30, Optimization and Control (math.OC), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Abstract: Motivated by recent progress in quantum information theory, this article aims at optimizing trace polynomials, i.e., polynomials in noncommuting variables and traces of their products. A novel Positivstellensatz certifying positivity of trace polynomials subject to trace constraints is presented, and a hierarchy of semidefinite relaxations converging monotonically to the optimum of a trace polynomial subject to tracial constraints is provided. This hierarchy can be seen as a tracial analog of the Pironio, Navascu\'es and Ac\'in scheme [New J. Phys., 2008] for optimization of noncommutative polynomials. The Gelfand-Naimark-Segal (GNS) construction is applied to extract optimizers of the trace optimization problem if flatness and extremality conditions are satisfied. These conditions are sufficient to obtain finite convergence of our hierarchy. The results obtained are applied to violations of polynomial Bell inequalities in quantum information theory. The main techniques used in this paper are inspired by real algebraic geometry, operator theory, and noncommutative algebra., Comment: 32 pages
Published: 2020
Full Text: View/download PDF

35. CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization

Author: Wang, Jie, Magron, Victor, Lasserre, Jean, Mai, Ngoc Hoang Anh, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Equipe Polynomial OPtimization (LAAS-POP), PNRIA, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, European Project: 813211,H2020,POEMA(2019), Magron, Victor, Artificial and Natural Intelligence Toulouse Institute - - ANITI2019 - ANR-19-P3IA-0004 - P3IA - VALID, TREMPLIN-ERC - Optimisation garantie pour la vérification des systèmes cyber-physiques - - COPS2018 - ANR-18-ERC2-0004 - TERC - VALID, Polynomial Optimization, Efficiency through Moments and Algebra - POEMA - - H20202019-01-01 - 2022-12-31 - 813211 - VALID, and Taming non convexity? - TAMING - - H20202015-09-01 - 2019-09-01 - 666981 - VALID
Subjects: FOS: Computer and information sciences, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], Optimization and Control (math.OC), Applied Mathematics, FOS: Mathematics, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Computer Science - Mathematical Software, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Mathematical Software (cs.MS), Software, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Abstract: This work proposes a new moment-SOS hierarchy, called CS-TSSOS, for solving large-scale sparse polynomial optimization problems. Its novelty is to exploit simultaneously correlative sparsity and term sparsity by combining advantages of two existing frameworks for sparse polynomial optimization. The former is due to Waki et al. while the latter was initially proposed by Wang et al. and later exploited in the TSSOS hierarchy. In doing so we obtain CS-TSSOS -- a two-level hierarchy of semidefinite programming relaxations with (i), the crucial property to involve blocks of SDP matrices and (ii), the guarantee of convergence to the global optimum under certain conditions. We demonstrate its efficiency and scalability on several large-scale instances of the celebrated Max-Cut problem and the important industrial optimal power flow problem, involving up to six thousand variables and tens of thousands of constraints., Comment: 28 pages, 8 figures, 8 tables
Published: 2020
Full Text: View/download PDF

36. Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles

Author: Vikas Sindhwani, Bachir El Khadir, Jean B. Lasserre, IBM Thomas J. Watson Research Center, Yorktown Heights, New York U.S.A, IBM T. J. Watson Research Centre, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Google Brain Robotics, Google Inc., IEEE Robotics & Automation Society, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: FOS: Computer and information sciences, 0209 industrial biotechnology, Mathematical optimization, Discretization, Computer science, Monotonic function, 02 engineering and technology, Nonlinear programming, Piecewise linear function, Moment (mathematics), Morphing, Computer Science - Robotics, 020901 industrial engineering & automation, Path length, Optimization and Control (math.OC), FOS: Mathematics, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Motion planning, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Robotics (cs.RO)
Abstract: International audience; We propose a novel method for planning shortest length piecewise-linear motions through complex environments punctured with static, moving, or even morphing obstacles. Using a moment optimization approach, we formulate a hierarchy of semidefinite programs that yield increasingly refined lower bounds converging monotonically to the optimal path length. For computational tractability, our global moment optimization approach motivates an iterative motion planner that outperforms competing sampling-based and nonlinear optimization baselines. Our method natively handles continuous time constraints without any need for time discretization, and has the potential to scale better with dimensions compared to popular sampling-based methods.
Published: 2020
Full Text: View/download PDF

37. Dissipativity analysis of negative resistance circuits

Author: Rodolphe Sepulchre, Félix A. Miranda-Villatoro, Fulvio Forni, Modélisation, simulation et commande des systèmes dynamiques non lisses (TRIPOP), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), University of Cambridge [UK] (CAM), and Laboratoire Jean Kuntzmann (LJK)
Subjects: 0209 industrial biotechnology, Dissipative systems, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], 02 engineering and technology, Hardware_PERFORMANCEANDRELIABILITY, Systems and Control (eess.SY), Dynamical Systems (math.DS), Topology, Inductor, Electrical Engineering and Systems Science - Systems and Control, Nonlinear circuits, law.invention, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Active elements, Computer Science::Hardware Architecture, 020901 industrial engineering & automation, Computer Science::Emerging Technologies, law, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], Hardware_INTEGRATEDCIRCUITS, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Dynamical Systems, Electrical and Electronic Engineering, Mathematics - Optimization and Control, Electronic circuit, Physics, Interconnection, 34C15, 34C25, 34C26, 34C55, 34C41, 34D45, 93C10, 020208 electrical & electronic engineering, Computer Science::Other, Nonlinear system, Capacitor, Range (mathematics), Limit cycles, Control and Systems Engineering, Optimization and Control (math.OC), Bistability, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Resistor, Network analysis, Hardware_LOGICDESIGN
Abstract: International audience; This paper deals with the analysis of nonlinear circuits that interconnect passive elements (capacitors, inductors, and resistors) with nonlinear resistors exhibiting a range of negative resistance. Active elements are necessary to design physical circuits that switch and oscillate. We generalize the classical passivity theory of circuit analysis to develop a port interconnection theory for such non-equilibrium behaviors. The approach closely mimics the classical methodology of (incremental) dissipativity theory, but with dissipation inequalities that combine signed storage functions and signed supply rates to account for the port interconnection of passive and active elements.
Published: 2019
Full Text: View/download PDF

38. Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials

Author: Magron, Victor, Seidler, Henning, de Wolff, Timo, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut für Mathematik [Berlin], Technical University of Berlin / Technische Universität Berlin (TU), Institut für Analysis und Algebra (IAA), Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig], Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Technische Universität Berlin (TU)
Subjects: Computer Science - Symbolic Computation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Computer and information sciences, Computer Science - Computational Complexity, 14P10, 68W30, 90C25 (primary), 14Q20, 68R01 (secondary), Optimization and Control (math.OC), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, FOS: Mathematics, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Symbolic Computation (cs.SC), Computational Complexity (cs.CC), Mathematics - Optimization and Control
Abstract: We provide two hybrid numeric-symbolic optimization algorithms, computing exact sums of nonnegative circuits (SONC) and sums of arithmetic-geometric-exponentials (SAGE) decompositions. Moreover, we provide a hybrid numeric-symbolic decision algorithm for polynomials lying in the interior of the SAGE cone. Each framework, inspired by previous contributions of Parrilo and Peyrl, is a rounding-projection procedure. For a polynomial lying in the interior of the SAGE cone, we prove that the decision algorithm terminates within a number of arithmetic operations, which is polynomial in the number of terms of the input, and linear in the distance to the boundary of the cone. We also provide experimental comparisons regarding the implementation of the two optimization algorithms., Comment: 19 pages + 4 pages appendix, 1 figure, 3 tables
Published: 2019
Full Text: View/download PDF

39. Novel Approach Towards Global Optimality of Optimal Power Flow Using Quadratic Convex Optimization

Author: Hadrien Godard, Amélie Lambert, Jean Maeght, Manuel Ruiz, Sourour Elloumi, Réseau de Transport d'Electricité [Paris] (RTE), CEDRIC. Optimisation Combinatoire (CEDRIC - OC), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Optimisation et commande (OC), Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), and Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)
Subjects: FOS: Computer and information sciences, Mathematical optimization, 020209 energy, MathematicsofComputing_NUMERICALANALYSIS, 0211 other engineering and technologies, 02 engineering and technology, Upper and lower bounds, Computational Engineering, Finance, and Science (cs.CE), Computer Science - Robotics, Quadratic equation, Computer Science::Systems and Control, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Quadratic programming, Computer Science - Computational Engineering, Finance, and Science, Mathematics - Optimization and Control, Mathematics, Quadratically constrained quadratic program, 021103 operations research, [SPI.NRJ]Engineering Sciences [physics]/Electric power, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Constraint (information theory), Optimization and Control (math.OC), Convex optimization, Node (circuits), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Relaxation (approximation), Robotics (cs.RO)
Abstract: International audience; Optimal Power Flow (OPF) can be modeled as a non-convex Quadratically Constrained Quadratic Program (QCQP). Our purpose is to solve OPF to global optimality. To this end, we specialize the Mixed-Integer Quadratic Convex Reformulation method (MIQCR) to (OPF). This is a method in two steps. First, a Semi-Definite Programming (SDP) relaxation of (OPF) is solved. Then the optimal dual variables of this relaxation are used to reformulate OPF into an equivalent new quadratic program, where all the non-convexity is moved to one additional constraint. In the second step, this reformulation is solved within a branch-and-bound algorithm, where at each node a quadratic and convex relaxation of the reformulated problem, obtained by relaxing the non-convex added constraint, is solved. The key point of our approach is that the lower bound at the root node of the branch-and-bound tree is equal to the SDP relaxation value. We test this method on several OPF cases, from two-bus networks to more-than-a-thousand-buses networks from the MAT-POWER repository. Our first results are very encouraging.
Published: 2019
Full Text: View/download PDF

40. Solving unconstrained 0-1 polynomial programs through quadratic convex reformulation

Author: Sourour Elloumi, Arnaud Lazare, Amélie Lambert, Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), CEDRIC. Optimisation Combinatoire (CEDRIC - OC), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Optimisation et commande (OC), and École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris)
Subjects: FOS: Computer and information sciences, Polynomial, Control and Optimization, Discrete Mathematics (cs.DM), 0211 other engineering and technologies, 02 engineering and technology, Management Science and Operations Research, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Quadratic equation, Computer Science - Data Structures and Algorithms, Applied mathematics, Global optimiza-tion, Semidefinite programming, Data Structures and Algorithms (cs.DS), Quadratic programming, Global optimization, Mathematics, Quadratic convex reformulation, 021103 operations research, Applied Mathematics, Semi-definite programming, Quadratic function, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Solver, Computer Science Applications, Relaxation (approximation), Unconstrained binary polynomial programming, Experiments, Computer Science - Discrete Mathematics
Abstract: International audience; We propose a solution approach for the problem (P) of minimizing an unconstrained binary polynomial optimization problem. We call this method PQCR (Polynomial Quadratic Convex Reformulation). The resolution is based on a 3-phase method. The first phase consists in reformulating (P) into a quadratic program (QP). For this, we recursively reduce the degree of (P) to two, by use of the standard substitution of the product of two variables by a new one. We then obtain a linearly constrained binary program. In the second phase, we rewrite the quadratic objective function into an equivalent and parametrized quadratic function using the equality x 2 i = x i and new valid quadratic equalities. Then, we focus on finding the best parameters to get a quadratic convex program which continuous relaxation's optimal value is maximized. For this, we build a semidefinite relaxation (SDP) of (QP). Then, we prove that the standard linearization inequalities, used for the quadratization step, are redundant in (SDP) in presence of the new quadratic equalities. Next, we deduce our optimal parameters from the dual optimal solution of (SDP). The third phase consists in solving (QP *), the optimal reformulated problem, with a standard solver. In particular, at each node of the branch-and-bound, the solver computes the optimal value of a continuous quadratic convex program. We present computational results on instances of the image restoration problem and of the low autocorrelation binary sequence problem. We compare PQCR with other convexification methods, and with the general solver Baron 17.4.1 [39]. We observe that most of the considered instances can be solved with our approach combined with the use of Cplex [24].
Published: 2019
Full Text: View/download PDF

41. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint

Author: Paul Rousse, Pierre-Loïc Garoche, Didier Henrion, Ecole Nationale de l'Aviation Civile (ENAC), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Faculty of Electrical Engineering [Prague] (FEL CTU), Czech Technical University in Prague (CTU), ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: 0209 industrial biotechnology, Paraboloid, Computation, Set-based simulation, 02 engineering and technology, Linear-quadratic regulator, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Set (abstract data type), LTI system theory, 020901 industrial engineering & automation, Quadratic equation, Reachability analysis, Reachability, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, Applied mathematics, Initial value problem, Uncertain systems, Mathematics - Optimization and Control, Mathematics, Intersection (set theory), 020208 electrical & electronic engineering, Linear system, General Engineering, Integral Quadratic Constraints, Constraint (information theory), Optimization and Control (math.OC), Bounded function, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020201 artificial intelligence & image processing, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Abstract: International audience; This work extends reachability analyses based on ellipsoidal techniques to Linear Time Invariant (LTI) systems subject to an integral quadratic constraint (IQC) between the past state and disturbance signals , interpreted as an input-output energetic constraint. To compute the reachable set, the LTI system is augmented with a state corresponding to the amount of energy still available before the constraint is violated. For a given parabolic set of initial states, the reachable set of the augmented system is overapproximated with a time-varying parabolic set. Parameters of this paraboloid are expressed as the solution of an Initial Value Problem (IVP) and the overapproximation relationship with the reachable set is proved. This paraboloid is actually supported by the reachable set on so-called touching trajectories. Finally , we describe a method to generate all the supporting paraboloids and prove that their intersection is an exact characterization of the reachable set. This work provides new practical means to compute overapproximation of reachable sets for a wide variety of systems such as delayed systems, rate limiters or energy-bounded linear systems.
Published: 2019
Full Text: View/download PDF

42. Maximal Positive Invariant Set Determination for Transient Stability Assessment in Power Systems

Author: Oustry , Antoine, CARDOZO , Carmen, Panciatici , Patrick, Henrion , Didier, Laboratoire d'informatique de l'École polytechnique [Palaiseau] ( LIX ), Centre National de la Recherche Scientifique ( CNRS ) -École polytechnique ( X ), Réseau de Transport d'Electricité-RTE, Équipe Méthodes et Algorithmes en Commande ( LAAS-MAC ), Laboratoire d'analyse et d'architecture des systèmes [Toulouse] ( LAAS ), Centre National de la Recherche Scientifique ( CNRS ) -Université Toulouse III - Paul Sabatier ( UPS ), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Institut National Polytechnique [Toulouse] ( INP ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Toulouse III - Paul Sabatier ( UPS ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Institut National Polytechnique [Toulouse] ( INP ), Czech Technical University in Prague, Faculty of Electrical Engineering, and Department of Control Engineering
Subjects: [ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC], power systems, convex optimization, [ SPI.NRJ ] Engineering Sciences [physics]/Electric power, Optimization and Control (math.OC), [ SPI.AUTO ] Engineering Sciences [physics]/Automatic, FOS: Mathematics, Mathematics - Optimization and Control
Abstract: This paper assesses the transient stability of a synchronous machine connected to an infinite bus through the notion of invariant sets. The problem of computing a conservative approximation of the maximal positive invariant set is formulated as a semi-definitive program based on occupation measures and Lasserre's relaxation. An extension of the proposed method into a robust formulation allows us to handle Taylor approximation errors for non-polynomial systems. Results show the potential of this approach to limit the use of extensive time domain simulations provided that scalability issues are addressed.
Published: 2018
Full Text: View/download PDF

43. On the regularity of abnormal minimizers for rank $2$ sub-Riemannian structures

Author: Mario Sigalotti, Davide Barilari, Yacine Chitour, Dario Prandi, Frédéric Jean, Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Optimisation et commande (OC), Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Centre National de la Recherche Scientifique (CNRS), Control And GEometry (CaGE ), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), ANR-15-CE40-0018,SRGI,Géométrie sous-Riemannienne et Interactions(2015), ANR-11-LABX-0056,LMH,LabEx Mathématique Hadamard(2011), Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Sud - Paris 11 (UP11), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-15-CE40-0018,SRGI,Sub-Riemannian Geometry and Interactions(2015), ANR: 11-LABX-0056,LMH,LabEx Mathématique Hadamard(2011), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), and Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Subjects: Mathematics - Differential Geometry, 0209 industrial biotechnology, Class (set theory), Abnormal extremals, Geodesics, Sub-Riemannian geometry, Applied Mathematics, General Mathematics, 010102 general mathematics, 02 engineering and technology, 01 natural sciences, Combinatorics, 020901 industrial engineering & automation, Differential Geometry (math.DG), [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], Optimization and Control (math.OC), FOS: Mathematics, Rank (graph theory), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics::Differential Geometry, 0101 mathematics, Mathematics - Optimization and Control, Mathematics
Abstract: We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$., Comment: 20 pages, v2 minor corrections, to appear on J. Math. Pures Appl
Published: 2018
Full Text: View/download PDF

44. Variational Bayesian Inference for Audio-Visual Tracking of Multiple Speakers

Author: Laurent Girin, Xavier Alameda-Pineda, Radu Horaud, Yutong Ban, Interpretation and Modelling of Images and Videos (PERCEPTION), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande (ROBOTLEARN), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Grenoble Alpes (UGA), GIPSA - Cognitive Robotics, Interactive Systems, & Speech Processing (GIPSA-CRISSP), GIPSA Pôle Parole et Cognition (GIPSA-PPC), Grenoble Images Parole Signal Automatique (GIPSA-lab), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Grenoble Images Parole Signal Automatique (GIPSA-lab), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), and European Project: 340113,EC:FP7:ERC,ERC-2013-ADG,VHIA(2014)
Subjects: FOS: Computer and information sciences, Computer science, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Inference, Machine Learning (stat.ML), 02 engineering and technology, Latent variable, Bayesian inference, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Artificial Intelligence, Joint probability distribution, Statistics - Machine Learning, Expectation–maximization algorithm, 0202 electrical engineering, electronic engineering, information engineering, Graphical model, Set (psychology), multiple object tracking, Dynamic Bayesian network, business.industry, audio-visual tracking, Applied Mathematics, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Pattern recognition, dynamic Bayesian networks, Multimedia (cs.MM), Computational Theory and Mathematics, expectation-maximization, Video tracking, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], 020201 artificial intelligence & image processing, speaker diarization, Computer Vision and Pattern Recognition, Artificial intelligence, business, Software, Computer Science - Multimedia, variational inference
Abstract: International audience; In this paper we address the problem of tracking multiple speakers via the fusion of visual and auditory information. We propose to exploit the complementary nature and roles of these two modalities in order to accurately estimate smooth trajectories of the tracked persons, to deal with the partial or total absence of one of the modalities over short periods of time, and to estimate the acoustic status - either speaking or silent - of each tracked person over time. We propose to cast the problem at hand into a generative audio-visual fusion (or association) model formulated as a latent-variable temporal graphical model. This may well be viewed as the problem of maximizing the posterior joint distribution of a set of continuous and discrete latent variables given the past and current observations, which is intractable. We propose a variational inference model which amounts to approximate the joint distribution with a factorized distribution. The solution takes the form of a closed-form expectation maximization procedure. We describe in detail the inference algorithm, we evaluate its performance and we compare it with several baseline methods. These experiments show that the proposed audio-visual tracker performs well in informal meetings involving a time-varying number of people.
Published: 2018
Full Text: View/download PDF

45. Optimal data fitting: a moment approach

Author: Victor Magron, Jean B. Lasserre, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Polynomial Systems (PolSys), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des signaux et systèmes (L2S), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: Semidefinite programming, 0209 industrial biotechnology, Polynomial, Degree (graph theory), 020208 electrical & electronic engineering, Value (computer science), Covering problems, 02 engineering and technology, Theoretical Computer Science, Moment (mathematics), 020901 industrial engineering & automation, Optimization and Control (math.OC), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0202 electrical engineering, electronic engineering, information engineering, Curve fitting, FOS: Mathematics, Applied mathematics, Relaxation (approximation), [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Software, Mathematics
Abstract: We propose a moment relaxation for two problems, the separation and covering problem with semi-algebraic sets generated by a polynomial of degree d. We show that (a) the optimal value of the relaxation finitely converges to the optimal value of the original problem, when the moment order r increases and (b) after performing some small perturbation of the original problem, convergence can be achieved with r=d. We further provide a practical iterative algorithm that is computationally tractable for large datasets and present encouraging computational results., Comment: 23 pages, 5 figures
Published: 2018
Full Text: View/download PDF

46. On Exact Reznick, Hilbert-Artin and Putinar's Representations

Author: Victor Magron, Mohab Safey El Din, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), FMJH Program PGMO (EPICS project), ANR-18-CE33-0011,SESAME,Singularités Et Stabilité des AsservisseMEnts référencés capteurs(2018), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), European Project: 813211,H2020,POEMA(2019), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, ANR-18-CE33-0011,SESAME,SINGULARITIES AND STABILITY OF SENSOR-BASED CONTROLLERS(2018), ANR-18-ERC2-0004,COPS,CERTIFIED OPTIMIZATION FOR CYBER-PHYSICAL SYSTEMS VERIFICATION(2018), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), and H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019)
Subjects: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Reznick’s representation, Polynomial, MathematicsofComputing_NUMERICALANALYSIS, Mathematics::Optimization and Control, 010103 numerical & computational mathematics, Positive-definite matrix, Putinar’s representation, Symbolic Computation (cs.SC), 01 natural sciences, Real algebraic geometry, Sums of squares decomposition, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Semidefinite programming, 0101 mathematics, Representation (mathematics), Hybrid numeric-symbolic algorithm, Mathematics, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebra and Number Theory, Degree (graph theory), 010102 general mathematics, Solver, 16. Peace & justice, Cylindrical algebraic decomposition, Algebra, Computational Mathematics, Hilbert- Artin’s representation, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Abstract: We consider the problem of computing exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We provide a hybrid numeric-symbolic algorithm computing exact rational SOS decompositions with rational coefficients for polynomials lying in the interior of the SOS cone. The first step of this algorithm computes an approximate SOS decomposition for a perturbation of the input polynomial with an arbitrary-precision SDP solver. Next, an exact SOS decomposition is obtained thanks to the perturbation terms and a compensation phenomenon. We prove that bit complexity estimates on output size and runtime are both singly exponential in the cardinality of the Newton polytope (or doubly exponential in the number of variables). Next, we apply this algorithm to compute exact Reznick, Hilbert-Artin's representation and Putinar's representations respectively for positive definite forms and positive polynomials over basic compact semi-algebraic sets. We also report on practical experiments done with the implementation of these algorithms and existing alternatives such as the critical point method and cylindrical algebraic decomposition., Comment: 35 pages, 4 tables, extended version of the paper from ISSAC'18 conference (available at arXiv::1802.10339)
Published: 2018
Full Text: View/download PDF

47. The Moment-SOS hierarchy

Author: Lasserre, Jean, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: Optimization and Control (math.OC), FOS: Mathematics, 90C26 90C22 90C27 65K05 14P10 44A60, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control
Abstract: The Moment-SOS hierarchy initially introduced in optimization in 2000, is based on the theory of the K-moment problem and its dual counterpart, polynomials that are positive on K. It turns out that this methodology can be also applied to solve problems with positivity constraints " f (x) $\ge$ 0 for all x $\in$ K " and/or linear constraints on Borel measures. Such problems can be viewed as specific instances of the " Generalized Problem of Moments " (GPM) whose list of important applications in various domains is endless. We describe this methodology and outline some of its applications in various domains., Comment: To appear in Proceedings of ICM-2018, Rio de Janeiro
Published: 2018
Full Text: View/download PDF

48. Moments and convex optimization for analysis and control of nonlinear partial differential equations

Author: Korda, Milan, Henrion, Didier, Lasserre, Jean-Bernard, UCSB (UCSB), University of California [Santa Barbara] (UCSB), University of California-University of California, Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, České Vysoké Učení Technické (CVUT), Institut de Mathématiques de Toulouse UMR5219 (IMT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), and European Project: 666981,H2020,ERC-2014-ADG,TAMING(2015)
Subjects: Mathematics - Analysis of PDEs, Optimization and Control (math.OC), MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Semidefinite programming, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Partial differential equations, Mathematics - Optimization and Control, Convex optimization, Occupation measure, Optimal control, Analysis of PDEs (math.AP)
Abstract: This work presents a convex-optimization-based framework for analysis and control of nonlinear partial differential equations. The approach uses a particular weak embedding of the nonlinear PDE, resulting in a linear equation in the space of Borel measures. This equation is then used as a constraint of an infinite-dimensional linear programming problem (LP). This LP is then approximated by a hierarchy of convex, finite-dimensional, semidefinite programming problems (SDPs). In the case of analysis of uncontrolled PDEs, the solutions to these SDPs provide bounds on a specified, possibly nonlinear, functional of the solutions to the PDE; in the case of PDE control, the solutions to these SDPs provide bounds on the optimal value of a given optimal control problem as well as suboptimal feedback controllers. The entire approach is based purely on convex optimization and does not rely on spatio-temporal gridding, even though the PDE addressed can be fully nonlinear. The approach is applicable to a very broad class nonlinear PDEs with polynomial data. Computational complexity is analyzed and several complexity reduction procedures are described. Numerical examples demonstrate the approach.
Published: 2018
Full Text: View/download PDF

49. Reduction Theorems for Hybrid Dynamical Systems

Author: Manfredi Maggiore, Luca Zaccarian, Mario Sassano, Department of Electrical and Computer Engineering [University of Toronto] (ECE), University of Toronto, Università degli Studi di Roma Tor Vergata [Roma], Dipartimento di Ingegneria Industriale [Trento], University of Trento [Trento], Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)
Subjects: 0209 industrial biotechnology, Pure mathematics, Dynamical systems theory, Closed set, 02 engineering and technology, Stability (probability), Computer Science Applications, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Compact space, Exponential stability, Settore ING-INF/04 - Automatica, Control and Systems Engineering, Optimization and Control (math.OC), Hybrid system, FOS: Mathematics, State space, Mathematics::Metric Geometry, Electrical and Electronic Engineering, Dynamical system (definition), Mathematics - Optimization and Control, Mathematics
Abstract: This paper presents reduction theorems for stability, attractivity, and asymptotic stability of compact subsets of the state space of a hybrid dynamical system. Given two closed sets $\Gamma_1 \subset \Gamma_2 \subset \Re^n$, with $\Gamma_1$ compact, the theorems presented in this paper give conditions under which a qualitative property of $\Gamma_1$ that holds relative to $\Gamma_2$ (stability, attractivity, or asymptotic stability) can be guaranteed to also hold relative to the state space of the hybrid system. As a consequence of these results, sufficient conditions are presented for the stability of compact sets in cascade-connected hybrid systems. We also present a result for hybrid systems with outputs that converge to zero along solutions. If such a system enjoys a detectability property with respect to a set $\Gamma_1$, then $\Gamma_1$ is globally attractive. The theory of this paper is used to develop a hybrid estimator for the period of oscillation of a sinusoidal signal., Comment: This paper has been provisionally accepted for publication in the IEEE Transactions on Automatic Control. Revised July, 2018
Published: 2017
Full Text: View/download PDF

50. Backward Stochastic Differential Equations with no driving martingale, Markov processes and associated Pseudo Partial Differential Equations

Author: Barrasso, Adrien, Russo, Francesco, École polytechnique (X), Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Optimisation et commande (OC), and École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris)
Subjects: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], backward stochastic differential equation, Mathematics::Probability, Markov processes, 60H30, 60H10, 35S05, 60J35, 60J60, 60J75, Probability (math.PR), FOS: Mathematics, pseudo-PDE, Martingale problem, Mathematics - Probability
Abstract: We discuss a class of Backward Stochastic Differential Equations(BSDEs) with no driving martingale. When the randomness of the driver depends on a general Markov process $X$, those BSDEs are denominated Markovian BSDEs and can be associated to a deterministic problem,called Pseudo-PDE which constitute the natural generalization of a parabolicsemilinear PDE which naturally appears when the underlying filtration is Brownian. We consider two aspects of well-posedness forthe Pseudo-PDEs: "classical" and "martingale" solutions.
Published: 2017
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Database

87 results on '"Commande"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources