Le département do

Décision et Optimisation

Le département "Décision et Optimisation" mène des activités de recherche théoriques et méthodologiques pour la conception de lois mathématiques et de techniques algorithmiques servant à la commande et à la décision.


responsable

Dmitry Peaucelle

Méthodologies

Les points forts et communs aux quatre équipes sont d'ordre méthodologique. Six thématiques identifiées à l'occasion du bilan fait en 2019 illustrent à nos yeux la démarche scientifique que nous avons en commun :

  • certificats
  • hiérarchies
  • gestion des incertitudes
  • méthodes computationnelles
  • codes et applications
  • recherche internationale et les LAAS-DO Fellows

Elles décrivent un continuum allant des résultats théoriques jusqu'aux produits sous forme de codes informatiques. La plupart des contributions scientifiques de DO émargent à plus d'une de ces cinq thématiques. Nous visons en effet à associer systématiquement des outils algorithmiques ou numériques efficaces pour les problèmes abordés dans leur grande généralité. Et inversement, les résultats théoriques sont formulés de telle sorte que des outils, principalement d'optimisation, puissent y être associés. La théorie est envisagée dans la mesure où elle conduit à des solutions pratiques pour des applications issues de collaborations avec des partenaires, industriels ou autres. Les membres du département apprécient grandement les coopération internationale pour leur apports en termes de sujets nouveaux et points de vue alternatifs sur les sujets traités.

Dans la suite on donne quelques références qui sont à titre d'illustration. Elles ne reflètent qu'une petite partie des publications du département et datent d'avant 2019.

Une dernière rubrique concerne le positionnement résolument international de l'activité du département.

Certificats

Dans les processus de prise de décision et d'optimisation, l'objectif principal réside dans la capacité à garantir des propriétés (stabilité, performance, robustesse, sécurité, tolérance, convergence d'algorithme, borne minimisée sur les erreurs de calculs ...) qui sont difficiles, voire impossible à satisfaire directement ou analytiquement. La démarche scientifique dans le périmètre du département DO consiste à développer des moyens indirects qui vont permettre de garantir la propriété souhaitée ou au moins un avatar de celle-ci suffisamment représentatif. Ces moyens peuvent se regrouper sous la terminologie certificat : outil mathématique ou algorithmique pour garantir une propriété ou une borne sur une propriété. On distingue ainsi dans les travaux menés par DO et suivant les propriétés à certifier : des certificats de solutions (existence/caractérisation) ; des certificats de propriétés asymptotiques (stabilité et autres) ; des certificats de satisfaction de contraintes ; des certificats de complexité. Parmi les résultats significatifs en ce sens dans les dernières années on trouve :

Hiérarchies

Afin d'évaluer la performance (stabilité, bornes sur des énergies) de systèmes d'ingénierie, on se confronte souvent à des problèmes de décision (inégalités à satisfaire, optimisation) difficiles (dans des espaces de dimension infinie et/ou  présentant des non-linéarités et/ou non-convexités). On peut alors concevoir des hiérarchies de problèmes plus simples (dans des espaces de dimension finie et/ou linéaires et/ou convexes) dont les solutions peuvent converger dans un certain sens vers la solution du problème original. Par hiérarchie convergente ou hiérarchie complète, on entend une famille de problèmes dont la taille (nombre de variables) croit de manière contrôlée, en fonction d'un indice (un nombre entier croissant, par exemple le degré d'un polynôme), et dont les solutions deviennent arbitrairement proches de la performance évaluée lorsque l'indice tend vers l'infini. Quand on ne dispose pas de preuve de convergence, mais uniquement d'une amélioration de performance prouvée ou observée expérimentalement, on parle de hiérarchie incomplète.

Parmi les résultats significatifs en termes de hiérarchies dans les dernières années on trouve :

Gestion des incertitudes

Dans le département DO, la prise en compte des incertitudes est essentiellement orientée vers (a) la commande, (b) l'estimation de paramètres et le diagnostic de systèmes dynamiques et (c) l'optimisation continue et combinatoire. L'ensemble des valeurs possibles des paramètres incertains (l'ensemble d'incertitudes) est généralement défini par un ou plusieurs modèles mathématiques. L'enjeu est alors de proposer des méthodes de résolution du problème prenant en compte ces modèles d'incertitude. Il faut noter que dans tous les problèmes posés, les incertitudes sont présentes en entrée dans les données (paramètres incertains) mais se trouvent également  parfois en sortie dans la solution avec possiblement différents modèles d'incertitudes : en commande robuste, des paramètres peuvent être à incertitudes ellipsoïdales alors que l'on cherche en sortie à évaluer ou minimiser la norme H-infini du système ; en estimation ensembliste, on peut ainsi avoir des incertitudes sous la forme d'intervalles sur les erreurs de mesure en entrée, et une estimation des paramètres en sortie plus fine, par exemple sous la forme de zonotopes ; en optimisation, une erreur de mesure sur un paramètre d'entrée peut être à norme infinie bornée alors que la solution peut être encadrée par un polytope avec un objectif visant à minimiser sa taille.

Parmi les résultats significatifs en termes de gestion des incertitudes dans les dernières années on trouve :

Méthodes computationnelles

La conception de méthodes algorithmiques efficaces et effectives est un objectif commun du département. Les algorithmes issus des recherches menées dans le département ont permis des progrès significatif dans de nombreux domaines de l'Automatique, de l'Intelligence Artificielle et de la Recherche Opérationnelle. En particulier, des approches computationnelles ont été proposées dans trois grandes catégories de problèmes : les problèmes d'optimisation ; de diagnostic et de commande ; d'apprentissage.

Parmi les résultats significatifs en termes de méthodes computationnelles dans les dernières années on trouve :

Codes et applications

Le département DO dispose d'une grande variété de productions logicielles. Les outils logiciels résolvent des problèmes génériques : ils sont distribués librement ou font l'objet de projet de maturation (notamment avec Toulouse Tech Transfer (TTT)). Le département produit également des développements dédiés à des applications : la recherche au sein de DO étant orientée sur des classes de modèles, des problèmes génériques, le spectre des applications étudiées est très large et implique différents types d'industries ou de sociétés de services.

Bilan / Prospectives 2019

Pour en savoir plus sur le département DO, vous pouvez consulter le document de Bilan et prospectives élaboré pour l'évaluation du laboratoire en 2019.

Recherche internationale

Le département DO pratique sa recherche en favorisant les coopérations nationales et internationales. En témoigne les indicateurs de rayonnement des équipes (DISCO, MAC, POP, ROC) mais également le grand nombre de de doctorants et chercheurs temporaires étrangers accueillis au sein du département.

En 2021 le département a souhaité mettre en avant les collègues effectuant leurs recherche dans des établissements à l'étranger et qui collaborent activement avec les membres de DO. Sous le terme de DO-LAAS Research Fellows nous célébrons ceux qui ont effectué un séjour au LAAS-CNRS au cours des 5 années précédentes et ont co-signé des productions scientifiques avec des membres du département. Les noms sont proposés par les collègues du département, approuvés par le conseil scientifique et nommés par le directeur du département.

2023 DO-LAAS Research Fellows

2021 DO-LAAS Research Fellows

NOS DOMAINES DE

RECHERCHE ET APPLICATIONS

La recherche au sein de DO étant orientée sur des classes de modèles, des problèmes génériques, le spectre des applications étudiées est très large et implique différents types d'industries ou de sociétés de services.

LES CHAMPS DISCIPLINAIRES

COUVERTS PAR NOTRE DÉPARTEMENT

LES ÉQUIPES DU DÉPARTEMENT

Les quatre équipes ont en commun d'associer intimement les questions de décision et d'optimisation. Pour POP et ROC l'optimisation (polynomiale et combinatoire) est la thématique centrale et se décline en méthodes pour la décision. Pour DISCO et MAC la décision (diagnostic et commande) est la thématique centrale et s'appuie le plus souvent sur des outils d'optimisation.

Un stéthoscope apposé sur un clavier oscultant ainsi l'état de santé de l'ordinateur

disco

Yannick Pencole

L'équipe DISCO mène une recherche méthodologique à large spectre dans le domaine du diagnostic et du suivi de l'état de santé de systèmes complexes, thématique de recherche à la frontière entre l'automatique et l'intelligence artificielle.

+

LogoMAC

mac

Lucie Baudouin

L’équipe MAC effectue des recherches principalement en automatique et théorie du contrôle. Nous développons une base mathématique et théorique pour le contrôle des systèmes dynamiques, y compris leur modélisation, conception, analyse et optimisation.

+

Polynomial

pop

Victor Magron

L'équipe POP mène des recherches pour résoudre des problèmes notoirement difficiles et non-convexes d'optimisation polynomiale, apparaissant dans de multiples domaines applicatifs.

+

Optimisation Combinatoire

roc

Emmanuel HEBRARD

L'équipe ROC mène des recherches sur les problèmes d'optimisation combinatoire et les méthodes algorithmiques pour les résoudre, à la frontière entre Recherche Opérationnelle et Intelligence Artificielle.

+

Dernières publications

2024

Articles dans une revue

Simone Mariano, Riccardo Bertollo, Romain Postoyan, Luca Zaccarian. Hybrid coupling rules for leaderless heterogeneous oscillators: Uniform global asymptotic and finite-time synchronization. Automatica, 2024, 159, pp.111324. ⟨10.1016/j.automatica.2023.111324⟩. ⟨hal-04253604⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Analytical Bounds for an Interval Kalman Filter. IEEE Transactions on Automatic Control, 2024, 69 (1), pp.449 - 454. ⟨10.1109/TAC.2023.3268307⟩. ⟨hal-04070189⟩

Y. Pechaud, N. Derlon, Isabelle Queinnec, Y. Bessiere, E. Paul. Modelling biofilm development: the importance of considering the link between EPS distribution, detachment mechanisms and physical properties. Water Research, 2024, 250, pp.120985. ⟨10.1016/j.watres.2023.120985⟩. ⟨hal-04334703⟩

Carla de Souza, Sophie Tarbouriech, Isabelle Queinnec, Antoine Girard. Nonstandard anti-windup approach for event-triggered control purpose. Systems and Control Letters, 2024, 185, pp.105715. ⟨10.1016/j.sysconle.2024.105715⟩. ⟨hal-04378600⟩

Tom Portoleau, Christian Artigues, Romain Guillaume. Robust decision trees for the multi-mode project scheduling problem with a resource investment objective and uncertain activity duration. European Journal of Operational Research, 2024, 312 (2), pp.525-540. ⟨10.1016/j.ejor.2023.07.035⟩. ⟨hal-03502505⟩

Livres

Nathanaël Fijalkow (Dir.). Games on Graphs: From Logic and Automata to Algorithms. pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩. ⟨hal-04273394⟩

Communications dans un congrès

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Probabilistic Dataset Reconstruction from Interpretable Models. 2nd IEEE Conference on Secure and Trustworthy Machine Learning, Apr 2024, Toronto, Canada. ⟨hal-04189566v2⟩

Nicola Zaupa, Luca Zaccarian, Sophie Tarbouriech, Isabelle Queinnec, Giulia Giordano. Controlling identical linear multi-agent systems over directed graphs. 2023 IEEE 62st Conference on Decision and Control (CDC), IEEE, Dec 2023, Singapore, Singapore. pp.7395-7400, ⟨10.1109/CDC49753.2023.10383830⟩. ⟨hal-04357943⟩

Julien Rouzot, Joséphine Gobert, Christian Artigues, Romain Boyer, Frédéric Camps, et al.. Scheduling onboard tasks of the NIMPH nanosatellite. 13th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2024, Rome, Italy. ⟨hal-04430171⟩

Tanguy Terrien, Cyrille Briand, Philippe Truillet. A CP model with aggregation for real-life project scheduling. 25ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Mar 2024, Amiens, France. à paraître. ⟨hal-04353470⟩

Pré-publications, documents de travail

Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič. Upper bound hierarchies for noncommutative polynomial optimization. 2024. ⟨hal-04440949⟩

Benoît Bonnet-Weill, Milan Korda. Set-Valued Koopman Theory for Control Systems. 2024. ⟨hal-04408228⟩

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 2024. ⟨hal-04466875⟩

Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier. Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization. 2023. ⟨hal-04382156⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Comparing modeling alternatives for solving a non-linear single Hydro Unit Commitment problem. 2023. ⟨hal-03739677v2⟩

Didier Henrion, Alessandro Rudi. Solving moment and polynomial optimization problems on Sobolev spaces. 2024. ⟨hal-04393205⟩

Yohei Hosoe, Yuki Michitani, Dimitri Peaucelle, Tomomichi Hagiwara. Stochastic Gain-Scheduled Control of Discrete-Time Systems Characterized by Random Polytopes. 2024. ⟨hal-04448570⟩

Aloïs Duguet, Margarida Carvalho, Gabriele Dragotto, Sandra Ulrich Ngueveu. Computing Approximate Nash Equilibria for Integer Programming Games. 2024. ⟨hal-04449901⟩

Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, et al.. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals. 2024. ⟨hal-04438031⟩

2023

Articles dans une revue

Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩

Michael Schwegel, Tobias Glück, Vitaly Shaferman, Luca Zaccarian, Andreas Kugi. Adaptive Two-Degrees-of-Freedom Current Control for Solenoids: Theoretical Investigation and Practical Application. IEEE Transactions on Control Systems Technology, 2023, 31 (3), pp.1078-1091. ⟨10.1109/TCST.2022.3211457⟩. ⟨hal-04253602⟩

Victor Magron, Jie Wang. SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩. ⟨hal-03070864⟩

Nicola Zaupa, Carlos Olalla, Isabelle Queinnec, Luis Martínez-Salamero, Luca Zaccarian. Hybrid Control of Self-Oscillating Resonant Converters With Three-Level Input. IEEE Control Systems Letters, 2023, 7, pp.1375-1380. ⟨10.1109/LCSYS.2023.3240887⟩. ⟨hal-03985922⟩

Franco Blanchini, Giulia Giordano, Francesco Riz, Luca Zaccarian. Solving nonlinear algebraic loops arising in input-saturated feedbacks. IEEE Transactions on Automatic Control, 2023, 68 (4), pp.2079-2093. ⟨10.1109/TAC.2022.3170858⟩. ⟨hal-04148146⟩

Serban Belinschi, Victor Magron, Victor Vinnikov. Noncommutative Christoffel-Darboux Kernels. Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩. ⟨hal-03433869⟩

Victor Magron, Mohab Safey El Din, Trung-Hieu Vu. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩. ⟨hal-03312392⟩

Riccardo Bonalli, Benoît Bonnet. First-Order Pontryagin Maximum Principle for Risk-Averse Stochastic Optimal Control Problems. SIAM Journal on Control and Optimization, 2023, 61 (3), pp.1881-1909. ⟨10.1137/22M1489137⟩. ⟨hal-03633263v5⟩

Filippo D’ippolito, Giovanni Garraffa, Antonino Sferlazza, Luca Zaccarian. A Hybrid Observer for Localization from Noisy Inertial Data and Sporadic Position Measurements. Nonlinear Analysis: Hybrid Systems, 2023, 49, pp.101360. ⟨10.1016/j.nahs.2023.101360⟩. ⟨hal-04253607⟩

Suha Shreim, Francesco Ferrante, Christophe Prieur. Anti-Windup Design for a Reaction-Diffusion Equation. IEEE Control Systems Letters, 2023, 7, pp.3120 - 3125. ⟨10.1109/LCSYS.2023.3292048⟩. ⟨hal-04132967⟩

Santiago Pantano-Calderón, Sophie Tarbouriech, Luca Zaccarian. Local Static Anti-Windup Design With Sign-Indefinite Quadratic Forms. IEEE Control Systems Letters, 2023, 7, pp.3090-3095. ⟨10.1109/LCSYS.2023.3291232⟩. ⟨hal-04253603⟩

Mattia Giaccagli, Vincent Andrieu, Sophie Tarbouriech, Daniele Astolfi. LMI conditions for contraction, integral action, and output feedback stabilization for a class of nonlinear systems. Automatica, 2023, 154, pp.111106. ⟨10.1016/j.automatica.2023.111106⟩. ⟨hal-04093784⟩

Tamara Borreguero Sanchidrián, Tom Portoleau, Christian Artigues, Alvaro García Sánchez, Miguel Ortega Mier, et al.. Large neighborhood search for an aeronautical assembly line time-constrained scheduling problem with multiple modes and a resource leveling objective. Annals of Operations Research, In press, ⟨10.1007/s10479-023-05629-3⟩. ⟨hal-04229939⟩

Oliver Polo Mejia, Christian Artigues, Pierre Lopez, Lars Mönch, Virginie Basini. Heuristic and metaheuristic methods for the multi‐skill project scheduling problem with partial preemption. International Transactions in Operational Research, 2023, 30 (2), pp.858-891. ⟨10.1111/itor.13063⟩. ⟨hal-03475868⟩

Jean-Bernard Lasserre. A modified Christoffel function and its asymptotic properties. Journal of Approximation Theory, 2023, ⟨10.1016/j.jat.2023/105955⟩. ⟨hal-03949201v2⟩

Imane Oussakel, Philippe Owezarski, Pascal Berthou, Laurent Houssin. Toward Radio Access Network Slicing Enforcement in Multi-Cell 5G System. Journal of Network and Systems Management, 2023, 31, pp.8. ⟨10.1007/s10922-022-09694-0⟩. ⟨hal-02633510v2⟩

Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici. Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem. IEEE Transactions on Power Systems, 2023, pp.1 - 10. ⟨10.1109/TPWRS.2023.3333691⟩. ⟨hal-04110742v2⟩

Jean Lasserre. PELL'S EQUATION, SUM-OF-SQUARES AND EQUILIBRIUM MEASURES OF A COMPACT SET. Comptes Rendus. Mathématique, 2023, 361 (G5), pp.935-952. ⟨10.5802/crmath.465⟩. ⟨hal-03813195v2⟩

Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, et al.. Learning Constraints through Partial Queries. Artificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩. ⟨lirmm-04028358⟩

Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, et al.. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨hal-03429272v2⟩

Matteo Tacchi, Jean Bernard Lasserre, Didier Henrion. Stokes, Gibbs and volume computation of semi-algebraic sets. Discrete and Computational Geometry, 2023, 69 (1), pp.260-283. ⟨10.1007/s00454-022-00462-0⟩. ⟨hal-02947268v3⟩

Alexandre Seuret, Sophie Tarbouriech. A Data-Driven Approach to the L2 Stabilization of Linear Systems Subject to Input Saturations. IEEE Control Systems Letters, 2023, 7, pp.1646-1651. ⟨10.1109/LCSYS.2023.3267022⟩. ⟨hal-04203667⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Logic-based Benders decomposition for the preemptive Flexible Job-Shop Scheduling Problem. Computers & Operations Research, 2023, 152, ⟨10.1016/j.cor.2023.106156⟩. ⟨hal-03696252⟩

C. de Souza, Sophie Tarbouriech, A. Girard. Event-Triggered Neural Network Control for LTI Systems. IEEE Control Systems Letters, 2023, 7, pp.1381-1386. ⟨10.1109/LCSYS.2023.3242835⟩. ⟨hal-04003097⟩

Riccardo Ballaben, Uros Sutulovic, Davide Invernizzi, Luca Zaccarian. A hybrid redesign for robust stabilization without unit input. IEEE Control Systems Letters, 2023, 7, pp.2575-2580. ⟨10.1109/LCSYS.2023.3287670⟩. ⟨hal-04253611⟩

Marco Bolignari, Gianluca Rizzello, Luca Zaccarian, Marco Fontana. Lightweight Human-Friendly Robotic Arm based on Transparent Hydrostatic Transmissions. IEEE Transactions on Robotics, 2023, 39 (5), pp.4051-4064. ⟨10.1109/TRO.2023.3290310⟩. ⟨hal-04253609⟩

Valentina Breschi, Luca Zaccarian, Simone Formentin. Data-Driven Stabilization of Input-Saturated Systems. IEEE Control Systems Letters, 2023, 7, pp.1640-1645. ⟨10.1109/LCSYS.2023.3266254⟩. ⟨hal-04117896⟩

Louis Rivière, Christian Artigues, Hélène Fargier. Two-stage stochastic/robust scheduling based on permutable operation groups. Annals of Operations Research, In press, ⟨10.1007/s10479-023-05639-1⟩. ⟨hal-04229958⟩

Christian Bessiere, Clément Carbonnel, Martin Cooper, Emmanuel Hebrard. Complexity of minimum-size arc-inconsistency explanations. Constraints, 2023, 28, pp.427-449. ⟨10.1007/s10601-023-09360-5⟩. ⟨hal-04275512⟩

W P M H Heemels, Aneel Tanwani. Existence and Completeness of Solutions to Extended Projected Dynamical Systems and Sector-Bounded Projection-Based Controllers. IEEE Control Systems Letters, 2023, 7, pp.1590-1595. ⟨10.1109/LCSYS.2023.3274954⟩. ⟨hal-04161682⟩

Corentin Boennec, Lucas Albuquerque, Bruno Sareni, Fabien Lacressonnière, Sandra Ulrich Ngueveu. Comparison of Battery Models Integrating Energy Efficiency and Aging for the Design of Microgrids. Smart Grids and Sustainable Energy, 2023, 9, pp.1. ⟨10.1007/s40866-023-00174-1⟩. ⟨hal-04369844⟩

Khazhgali Kozhasov, Jean-Bernard Lasserre. Volumes of sublevel sets of nonnegative forms and complete monotonicity. SIAM Journal on Applied Algebra and Geometry, 2023, 7 (4), pp.10.1137/22M1502458. ⟨10.1137/22M1502458⟩. ⟨hal-03693810⟩

M. Rahimi, K. Sobnath, F. Mallet, P. Lafarge, C. Barraud, et al.. Complete Determination of Thermoelectric and Thermal Properties of Supported Few-Layer Two-Dimensional Materials. Physical Review Applied, 2023, 19 (3), pp.034075. ⟨10.1103/PhysRevApplied.19.034075⟩. ⟨hal-04460454⟩

Carla de Souza, Antoine Girard, Sophie Tarbouriech. Event-triggered Neural Network Control using Quadratic Constraints for Perturbed Systems. Automatica, 2023, 157, pp.111237. ⟨10.1016/j.automatica.2023.111237⟩. ⟨hal-04154871⟩

Elodie Chanthery, P-E Hladik, Corinne Joffre, G. Le Corre, J. Lesauvage, et al.. JePeIA : de la création à la mise en oeuvre d’un escape game à visée pédagogique sur l’Intelligence Artificielle. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2023, 22, pp.0003. ⟨10.1051/j3ea/20230003⟩. ⟨hal-04273184⟩

Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Mathematical Programming, 2023, ⟨10.1007/s10107-023-01993-x⟩. ⟨hal-03782934⟩

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Ensemble Approximations for Constrained Dynamical Systems using Liouville Equation. Automatica, 2023, 149, pp.110836. ⟨10.1016/j.automatica.2022.110836⟩. ⟨hal-03167458v3⟩

Constantinos Kitsos, Mathieu Bajodek, Lucie Baudouin. Joint Coefficient and Solution Estimation for the 1D Wave Equation: An Observer-Based Solution to Inverse Problems. IEEE Transactions on Automatic Control, 2023, 68 (8), pp.4827 - 4840. ⟨10.1109/TAC.2022.3213625⟩. ⟨hal-03447113v3⟩

Felix Agner, Pauline Kergus, Anders Rantzer, Sophie Tarbouriech, Luca Zaccarian. Anti-windup coordination strategy around a fair equilibrium in resource sharing networks. IEEE Control Systems Letters, 2023, 7, pp.2521 - 2526. ⟨10.1109/LCSYS.2023.3287252⟩. ⟨hal-04132680⟩

Edgar Hernando Sepúlveda-Oviedo, Louise Travé-Massuyès, Audine Subias, Marko Pavlov, Corinne Alonso. Fault diagnosis of photovoltaic systems using artificial intelligence: A bibliometric approach. Heliyon, 2023, 9 (11), pp.e21491. ⟨10.1016/j.heliyon.2023.e21491⟩. ⟨hal-04276780⟩

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Improving Fairness Generalization Through a Sample-Robust Optimization Method. Machine Learning, 2023, Special Issue on Safe and Fair Machine Learning, 112 (6), pp.2131-2192. ⟨10.1007/s10994-022-06191-y⟩. ⟨hal-03709547⟩

Sigurdur Hafstein, Aneel Tanwani. Linear programming based lower bounds on average dwell-time via multiple Lyapunov functions. European Journal of Control, 2023, 74, pp.100838. ⟨10.1016/j.ejcon.2023.100838⟩. ⟨hal-04161620⟩

Mathias Serieye, Carolina Albea-Sanchez, Alexandre Seuret, Marc Jungers. Attractors and limit cycles of discrete-time switching affine systems : nominal and uncertain cases. Automatica, 2023, 149, pp.110691. ⟨10.1016/j.automatica.2022.110691⟩. ⟨hal-03110340v2⟩

Mathieu Bajodek, Frédéric Gouaisbaut, Alexandre Seuret. Necessary and sufficient stability condition for time-delay systems arising from Legendre approximation. IEEE Transactions on Automatic Control, 2023, 68 (10), pp.6262 - 6269. ⟨10.1109/TAC.2022.3232052⟩. ⟨hal-03435028v3⟩

Francesco Ferrante, Ricardo Sanfelice, Sophie Tarbouriech. Control design under actuator saturation and multi-rate sampling. Automatica, 2023, 148, pp.110767. ⟨10.1016/j.automatica.2022.110767⟩. ⟨hal-03946867⟩

Xue Han, Rim Rammal, Menglin He, Zetao Li, Michel Cabassud, et al.. Dynamic and sensor fault tolerant control for an intensified heat-exchanger/reactor. European Journal of Control, 2023, 69, pp.100736. ⟨10.1016/j.ejcon.2022.100736⟩. ⟨hal-04187728⟩

R. Bertollo, A.R. Teel, Luca Zaccarian. Soft-Reset Control with Max-of-Quadratics Lyapunov Certificates. IEEE Transactions on Automatic Control, 2023, 68 (9), pp.5245 - 5257. ⟨10.1109/TAC.2022.3221684⟩. ⟨hal-03961277⟩

Isabelle Queinnec, Sophie Tarbouriech, Luca Zaccarian. Tour d’horizon sur les systèmes dynamiques hybrides. Les Techniques de l'Ingenieur, 2023, pp.Réf : S7434 v1. ⟨10.51257/a-v1-s7434⟩. ⟨hal-03946527⟩

Livres

Victor Magron, Jie Wang. Sparse Polynomial Optimization: Theory and Practice. World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5. ⟨hal-03760501⟩

Chapitres d’ouvrages

Mélody Mailliez, Hugo Chevroton, Cyril Briand, Philippe Truillet, Céline Lemercier. Stepping stone to smarter supervision: a human-centered multidisciplinary framework. Chaudhery Mustansar Hussain; Daniel Rossit. Designing Smart Manufacturing Systems, chapter 4, Elsevier, pp.89-118, 2023, ⟨10.1016/B978-0-32-399208-4.00011-8⟩. ⟨hal-04181324⟩

Jean-Bernard Lasserre. Polynomial Optimization, Certificates of Positivity, and Christoffel Function. Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.1-20, 2023. ⟨hal-04076663⟩

Communications dans un congrès

Tychique Nzalalemba Kabwangala, Jean-Pierre Fradin, Yassine Ariba, Alexandre Marie, Frédéric Gouaisbaut. Observer based junction temperature estimation: 3D simulations and experimentations. Therminic, 29th international workshop on Thermal Investigations of ICs and Systems, Sep 2023, Budapest, Hungary. ⟨10.1109/THERMINIC60375.2023.10325885⟩. ⟨hal-04221697⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Efficient exact A* algorithm for the single unit hydro unit commitment problem. 18th Conference on Computer Science and Intelligence Systems, Sep 2023, Warsaw, Poland. pp.527-537, ⟨10.15439/2023F5158⟩. ⟨hal-04112945v3⟩

Philipp Braun, Marc Jungers, Luca Zaccarian. Stabilization using shifted equilibria for saturated discrete-time linear systems. 12th IFAC Symposium on Nonlinear Control Systems, NOLCOS 2023, Jan 2023, Camberra, Australia. ⟨10.1016/j.ifacol.2023.02.005⟩. ⟨hal-03877627⟩

Matthieu Masson, Denis Arzelier, Mioara Joldes, Bruno Revelin, Jérôme Thomassin. Multi-maneuvers algorithms for multi-risk collision avoidance via nonconvex quadratic optimization. IFAC World Congress 2023, Jul 2023, Yokohama, Japan. ⟨hal-03847541⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Exploiter l'équité d'un modèle d'apprentissage pour reconstruire les attributs sensibles de son ensemble d'entraînement. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA/PFIA 2023), Jul 2023, Strasbourg, France. ⟨hal-04190265⟩

Corentin Boennec, Bruno Sareni, Sandra Ulrich Ngueveu. Robust Design of Microgrids using Component Models with Different Level of Accuracy. OIPE 2023 (17th International Workshop on Optimization and Inverse Problems in Electromagnetism), Sep 2023, Graz, Austria. ⟨hal-04367497⟩

Audine Subias, Louise Travé-Massuyès, Tom Obry. DyClee-N&C: a clustering algorithm for heterogeneous data based situation assessment. IFAC World Congress, Jul 2023, Yokohama, Japan. ⟨hal-04268806⟩

Guillaume Povéda, Nahum Alvarez, Christian Artigues. Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. ⟨10.4230/LIPIcs.CP.2023.31⟩. ⟨hal-04217223⟩

Mathieu Bajodek, Daniele Astolfi. Comparison between different continuous-time realizations based on the tau method of a nonlinear repetitive control scheme. 62nd IEEE Conference on Decision and Control (CDC 2023), Dec 2023, Singapour, Singapore. ⟨10.1109/CDC49753.2023.10384072⟩. ⟨hal-04178964⟩

Alban Puech, Tristan Rigaut, Adrien Le Franc, William Templier, Jean-Christophe Alais, et al.. Controlling Microgrids Without External Data: A Benchmark of Stochastic Programming Methods. IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE 2023), Oct 2023, Grenoble, France. ⟨10.1109/ISGTEUROPE56780.2023.10407934⟩. ⟨hal-04083666v3⟩

Edgar Hernando Sepúlveda Oviedo, Louise Travé-Massuyès, Audine Subias, Marko Pavlov, Corinne Alonso. DTW K-Means clustering for fault detection in photovoltaic modules. XI Congreso Internacional de Ingeniería Mecánica, Mecatrónica y Automatización 2023, Apr 2023, Carthagène, Colombia. ⟨hal-04125983⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Fault detection using Enhanced Adaptive degrees of freedom χ2-statistics method for Linear systems with mixed uncertainties. The 22nd World Congress of the International Federation of Automatic Control, Jul 2023, Yokohama, Japan. ⟨hal-04069624⟩

Samuele Zoboli, Andreu Cecilia, Ulysse Serres, Daniele Astolfi, Vincent Andrieu. LMI conditions for k-contraction analysis: a step towards design. 62nd IEEE Conference on Decision and Control (2023), IEEE, Dec 2023, Singapore, Singapore. à paraître. ⟨hal-04304423⟩

Arthur S Fagundes, João M Gomes da Silva Jr, Sophie Tarbouriech. Stability analysis of sampled-data systems with sector-bounded input nonlinearity. The 22nd World Congress of the International Federation of Automatic Control, Jul 2023, Porto Alegre, Brazil. pp.9812 - 9817, ⟨10.1016/j.ifacol.2023.10.400⟩. ⟨hal-04361603⟩

Julien Rouzot, Christian Artigues, Philippe Garnier, Emmanuel Hebrard, Pierre Lopez. Une contrainte globale pour l'ordonnancement des transferts de données dans les missions spatiales. Journées Francophones de Programmation par Contraintes (JFPC 2023), Jul 2023, Strasbourg, France. pp.115-119. ⟨hal-04171325⟩

Julien Rouzot, Christian Artigues, Philippe Garnier, Emmanuel Hebrard, Pierre Lopez. Global constraints for scheduling data transfer in space missions. 13th International Workshop on Planning and Scheduling for Space (IWPSS 2023), Steve Chien, Juan Manuel Delfa and Tiago Stegun Vaquero, Jul 2023, Prague, Czech Republic. pp.93-95. ⟨hal-04171352⟩

Dorian Voydie, Louis Goupil, Elodie Chanthery, Louise Travé-Massuyès, Sébastien Delautier. Machine Learning Based Fault Anticipation for 3D Printing. IFAC World Congress 2023, Jul 2023, Yokohama City, Kanagawa, Japan. ⟨hal-04186378⟩

Manon Doré, Yassine Ariba, Germain Garcia. Observer-based Switched Control of the Three Level Neutral Point Clamped Rectifier. Conference on Decision and Control CDC 2023, Dec 2023, Singapore (SG), Singapore. ⟨10.1109/CDC49753.2023.10383201⟩. ⟨hal-04343704⟩

Camille Coquand, Yannick Pencolé, Audine Subias. Diagnosabilization of Time Petri net for timed fault. IFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩. ⟨hal-04075303⟩

Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux. Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. 33rd International Conference on Automated Planning and Scheduling (ICAPS), Jul 2023, Prague, Czech Republic. ⟨hal-04141504⟩

Mario Gauvrit, Christophe Prieur, Sophie Tarbouriech. A note on the wave equation controlled with a dynamic saturating boundary control. NOLCOS 2022 - 12th IFAC Symposium on Nonlinear Control Systems (NOLCOS'22), Jan 2023, Canberra, Australia. pp.108-113, ⟨10.1016/j.ifacol.2023.02.019⟩. ⟨hal-04159866⟩

Yassine Ariba, Frédéric Gouaisbaut, Flavien Deschaux, François Roux, François Dugué. Experimental results for a pressure reducer control with a modular actuator. 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. ⟨10.1109/CDC49753.2023.10383394⟩. ⟨hal-04190427v2⟩

Edgar Hernando Sepúlveda Oviedo, Louise Travé-Massuyès, Audine Subias, Marko Pavlov, Corinne Alonso. Detection and classification of faults aimed at preventive maintenance of PV systems.. XI Congreso Internacional de Ingeniería Mecánica, Mecatrónica y Automatización 2023, Universidad Nacional de Colombia, Apr 2023, Carthagène, Colombia. ⟨hal-04125988⟩

Manon Dore, Yassine Ariba, Germain Garcia. General methodology for observer-based control of power electronic converters with measured perturbations. Conference on Control Technology and Applications CCTA 2023, Aug 2023, Bridgetown, Barbados. ⟨hal-04219916⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Fault detection combining adaptive degrees of freedom χ2-statistics and interval approach for nonlinear systems. The 22nd World Congress of the International Federation of Automatic Control (IFAC), Jul 2023, Yokohama, Japan. ⟨hal-04069589⟩

Yoni Lahana, Mauro Mancini, Dimitri Peaucelle, Elisa Capello, Hélène Evain. Comparison of Adaptive Control Laws on a Satellite Attitude Control Benchmark. Conference on Control, Decision and Information Technologies, Jul 2023, Rome, Italy. ⟨hal-04088506⟩

Cyrille Briand, Arthur Bit-Monnot, Adrien Deckx van Ruys. Planification prévisionnelle de véhicules autonomes pour la logistique interne de systèmes de production. 24ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF 2023, Nadjib Brahimi, Feb 2023, Rennes, France. ⟨hal-04249513⟩

Yassine Ariba, Frédéric Gouaisbaut. A singular perturbation approach for the control of electromagnetic actuators. 22nd IFAC World Congress, Jul 2023, Yokohama, Japan. pp.6057-6062, ⟨10.1016/j.ifacol.2023.10.661⟩. ⟨hal-04056821v2⟩

Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez. An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. 29th International Conference on Principles and Practice of Constraint Programming, Aug 2023, Toronto ( CA ), Canada. pp.19, ⟨10.4230/LIPIcs.CP.2023.19⟩. ⟨hal-04245373⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Approche hybride multi-étape pour la résolution du problème de job-shop flexible robuste avec budget d'incertitude. 24e congrès de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2023), Rennes School of Business, Feb 2023, Rennes, France. ⟨hal-03998579⟩

Anna Sztyber, Elodie Chanthery, Louise Travé-Massuyès. Benchmark for Fault Diagnosis of Water Distribution Network. The 34th International Workshop on Principles of Diagnosis (DX'23), PARC and the Silicon Austria Labs (SAL)., Sep 2023, Loma Mar, United States. ⟨hal-04327789⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Exploiting Fairness to Enhance Sensitive Attributes Reconstruction. First IEEE Conference on Secure and Trustworthy Machine Learning, Feb 2023, Raleigh, North Carolina, United States. ⟨10.1109/SaTML54575.2023.00012⟩. ⟨hal-03766710v2⟩

Christine Leterrier, Claire Bonnefous, Jarkko Niemi, Lucia Rocchi, Giuditta Meloni, et al.. Welfare barriers and levers for improvement in organic and low-input outdoor pig and poultry production systems. 74. Annual meeting of the european federation of animal science (EAAP 2023), EAAP, Aug 2023, Lyon, France. pp.731. ⟨hal-04198015⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Hybrid Methods to Solve the Two-Stage Robust Flexible Job-Shop Scheduling Problem with Budgeted Uncertainty. 12th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2023, Lisbonne, Portugal. pp.135-142. ⟨hal-03963343⟩

Le Toan Duong, Louise Travé-Massuyès, Audine Subias, Christophe Merle. Remaining cycle time prediction with Graph Neural Networks for Predictive Process Monitoring. 8th International Conference on Machine Learning Technologies (ICMLT 2023), Mar 2023, Stockholm, Sweden. 7 p., ⟨10.1145/3589883.3589897⟩. ⟨hal-04093621⟩

Dorian Voydie, Louis Goupil, Elodie Chanthery, Louise Travé-Massuyès, Sébastien Delautier. Machine Learning Based Fault Anticipation for 3D Printing. 22nd World Congress of the International Federation of Automatic Control (IFAC 2023), IFAC: International Federation of Automatic Control, Jul 2023, Yokohama, Japan. ⟨hal-04268835⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty. 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), May 2023, Nice, France. pp.354-359. ⟨hal-03963365⟩

Mateusz Skomra. Signed Tropicalizations of Convex Semialgebraic Sets. Extended Abstracts presented at the 25th International Symposium on Mathematical Theory of Networks and Systems MTNS 2022, Sep 2022, Bayreuth, Germany. pp.697-700, ⟨10.15495/EPub_UBT_00006809⟩. ⟨hal-04273455⟩

Carine Jauberthie, Louise Travé-Massuyès, Nathalie Verdière. Identifiabilité ensembliste et détection de fautes au travers de l'estimation paramétrique. 1er congrès de la SAGIP, Jun 2023, Marseiile, France. ⟨hal-04116243⟩

Louis Goupil, Elodie Chanthery, Louise Travé-Massuyès, Sébastien Delautier. Tree based diagnosis enhanced with meta knowledge: Diagnosis indicators discovery as a byproduct. 34th International Workshop on Principles of Diagnosis (DX'23), Sep 2023, Loma Mar, United States. ⟨hal-04186400⟩

Emir Demirović, Emmanuel Hebrard, Louis Jean. Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. International Conference on Machine Learning, Jul 2023, Honolulu, United States. ⟨hal-04108022⟩

Autres documents

Dimitri Peaucelle, Damien Trentesaux, Gülgün Alpan, Romain Postoyan, Jean Auriol, et al.. Groupement de Recherche MACS - Bilan 2019-2023 et Projet 2024-2028. Rapport LAAS n° 23382. 2023. ⟨hal-04246559v1⟩

Brevets

Flavien Deschaux, Yassine Ariba, Damien de Seze, Frédéric Gouaisbaut, François Dugué. Procédé de commande d’un actionneur éléctromagnétique d’un détendeur, et actionneur et détendeur configuré pour mettre en œuvre ledit procédé. France, N° de brevet: FR3121193. Rapport LAAS n° 23087. 2023, https://data.inpi.fr/brevets/FR3121193. ⟨hal-04054668⟩

Rapports

Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu. Un aperçu du e-commerce socialement-responsable français. Toulouse INP; LAAS - CNRS. 2023. ⟨hal-04214507v2⟩

Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu. Un aperçu du e-commerce éco-responsable français. Toulouse INP; LAAS - CNRS. 2023. ⟨hal-04142062v3⟩

Pré-publications, documents de travail

Didier Henrion. Geometry of exactness of moment-SOS relaxations for polynomial optimization. 2023. ⟨hal-04258249v3⟩

Simone Mariano, Romain Postoyan, Luca Zaccarian. Finite-time stability properties of Lur'e systems with piecewise continuous nonlinearities. 2023. ⟨hal-03987552⟩

Jean-Bernard Lasserre. The Moment-SOS hierarchy: Applications and related topics. 2023. ⟨hal-04201167⟩

Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, et al.. Certifying ground-state properties of many-body systems. 2023. ⟨hal-04264341⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Algebraic certificates for the truncated moment problem. 2023. ⟨hal-03987123⟩

Jared Miller, Milan Korda, Victor Magron, Mario Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures. 2023. ⟨hal-04047493⟩

Jie Wang, Victor Magron. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients. 2023. ⟨hal-04189927⟩

Igor Klep, Victor Magron, Jurij Volčič. Sums of squares certificates for polynomial moment inequalities. 2023. ⟨hal-04125262⟩

Mathieu Bajodek, Fernando Castaños, Sabine Mondié. State prediction using a high-gain distributed scheme. 2023. ⟨hal-04267738⟩

Alexandre Heintzmann, Pascale Bendotti, Cécile Rottner. Two-phase Branch & Cut for the Symmetric Weight Matrix Knapsack polytope. 2023. ⟨hal-03992007⟩

Julien Ferry, Gabriel Laberge, Ulrich Aïvodji. Learning Hybrid Interpretable Models: Theory, Taxonomy, and Methods. 2023. ⟨hal-04010590⟩

Bernard Brogliato, Aneel Tanwani. Feedback Interconnections of Passive Linear Cone Complementarity Systems. 2023. ⟨hal-04137144⟩

Didier Henrion, Mauricio Junca, Mauricio Velasco. Moment-SOS hierarchy and exit location of stochastic processes. 2023. ⟨hal-03110452v2⟩

Igor Klep, Victor Magron, Jurij Volčič, Jie Wang. State polynomials: positivity, optimization and nonlinear Bell inequalities. 2023. ⟨hal-03964830⟩

Felix Agner, Jonas Hansson, Pauline Kergus, Anders Rantzer, Sophie Tarbouriech, et al.. Decentralized PI-control and Anti-windup in Resource Sharing Networks. 2023. ⟨hal-04270492⟩

Jean-François Aujol, Luca Calatroni, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre. Parameter-Free FISTA by Adaptive Restart and Backtracking. 2023. ⟨hal-04172497⟩

Alexandre Seuret, Sophie Tarbouriech. Robust data-driven control design for linear systems subject to input saturations. 2023. ⟨hal-04203689⟩

Jean-Bernard Lasserre. CHEBYSHEV AND EQUILIBRIUM MEASURE VS BERNSTEIN AND LEBESGUE MEASURE. 2023. ⟨hal-04043186⟩

Milan Korda, Victor Magron, Rodolfo Rios-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. 2023. ⟨hal-04049383⟩

John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki. Correlations constrained by composite measurements. 2023. ⟨hal-04117038⟩

Victor Magron, Przemysław Koprowski, Tristan Vaccon. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. 2023. ⟨hal-03976836⟩

Lucie Baudouin, Swann Marx, Sophie Tarbouriech, Julie Valein. Event-triggered boundary damping of a linear wave equation.. 2023. ⟨hal-04006725⟩

Benoît Bonnet-Weill, Hélène Frankowska. On the Viability and Invariance of Proper Sets under Continuity Inclusions in Wasserstein Spaces. 2023. ⟨hal-04082985⟩

Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. 2023. ⟨hal-04247204⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Decomposition methods for the preemptive Flexible Job-Shop Scheduling Problem. 2023. ⟨hal-04243944⟩

Didier Henrion, Milan Korda, Jean-Bernard Lasserre. POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS. 2023. ⟨hal-03986252v2⟩

Victor Magron. Exploiting sparsity in polynomial optimization. École thématique. Luminy, France. 2023. ⟨hal-04193936⟩

Ngoc Hoang Anh Mai, Victor Magron. Sums of squares representations on singular loci. 2023. ⟨hal-04023980⟩

Philipp Braun, Giulia Giordano, Christopher M. Kellett, Iman Shames, Luca Zaccarian. Optimizing shifted stabilizers with asymmetric input saturation. 2023. ⟨hal-03586545v2⟩

Jean-Bernard Lasserre, Yuan Xu. A Generalized Pell's equation for a class of multivariate orthogonal polynomials. 2023. ⟨hal-04163153⟩

Didier Henrion, Maria Infusino, Salma Kuhlmann, Victor Vinnikov. Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations. 2023. ⟨hal-04117218⟩

Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. 2023. ⟨hal-04118080⟩

Yukai Tang, Jean-Bernard Lasserre, Heng Yang. Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid. 2023. ⟨hal-04311534⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. SoK: Taming the Triangle - On the Interplays between Fairness, Interpretability and Privacy in Machine Learning. 2023. ⟨hal-04359832⟩

Lucie Baudouin, Maya de Buhan, Emmanuelle Crépeau, Julie Valein. Carleman-Based Reconstruction Algorithm on a wave Network. 2023. ⟨hal-04361363⟩

Nicola Zaupa, Giulia Giordano, Isabelle Queinnec, Sophie Tarbouriech, Luca Zaccarian. Equivalent Conditions for the Synchronization of Identical Linear Systems over Arbitrary Interconnections. 2023. ⟨hal-04359774⟩

Jean-Bernard Lasserre. A hierarchy of convex relaxations for the total variation distance. 2023. ⟨hal-04367575⟩

Florent Koudohode, Nicolás Espitia, Miroslav Krstic. Event-triggered boundary control of an unstable reaction diffusion PDE with input delay. 2023. ⟨hal-04304378⟩

Andreu Cecilia, Samuele Zoboli, Daniele Astolfi, Ulysse Serres, Vincent Andrieu. Generalized Lyapunov conditions for k-contraction: analysis and feedback design. 2023. ⟨hal-04300588⟩

Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. 2023. ⟨hal-04159304⟩

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. 2023. ⟨hal-04134188⟩

Dimitri Peaucelle, Yoshio Ebihara, Yohei Hosoe. About an alternative S-variable condition for state-feedback design. 2023. ⟨hal-04266433⟩

2022

Articles dans une revue

Carla de Souza, Valter Leite, Sophie Tarbouriech, Eugenio Castelan, Luis Silva. A direct parameter-error co-design approach of discrete-time saturated LPV systems. IEEE Transactions on Automatic Control, 2022, 67 (9), pp.4870 - 4876. ⟨10.1109/TAC.2022.3163061⟩. ⟨hal-03628042⟩

Matteo Tacchi. Convergence of Lasserre's hierarchy: the general case. Optimization Letters, 2022, 16 (3), pp.1015-1033. ⟨10.1007/s11590-021-01757-6⟩. ⟨hal-03008545v3⟩

Milan Korda. Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity. IEEE Control Systems Letters, 2022, 6, pp.3265 - 3270. ⟨10.1109/LCSYS.2022.3181806⟩. ⟨hal-03441657⟩

Riccardo Bertollo, Pablo Millán, Luis Orihuela, Alexandre Seuret, Luca Zaccarian. Distributed Hybrid Observer With Prescribed Convergence Rate for a Linear Plant Using Multi-Hop Decomposition. IEEE Control Systems Letters, 2022, 7, pp.331-336. ⟨10.1109/LCSYS.2022.3188476⟩. ⟨hal-03614578v3⟩

Shenyu Liu, Aneel Tanwani, Daniel Liberzon. ISS and integral-ISS of switched systems with nonlinear supply functions. Mathematics of Control, Signals, and Systems, 2022, 34, pp.297-327. ⟨10.1007/s00498-021-00306-x⟩. ⟨hal-03140903v2⟩

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1253 - 1268. ⟨10.1109/TAC.2021.3061557⟩. ⟨hal-02565283v2⟩

Matteo Della Rossa, Aneel Tanwani, Luca Zaccarian. Nonpathological ISS-Lyapunov Functions for Interconnected Differential Inclusions. IEEE Transactions on Automatic Control, 2022, 67 (8), pp.3774 - 3789. ⟨10.1109/TAC.2021.3115437⟩. ⟨hal-03381336⟩

Angel Mur, Louise Travé-Massuyès, Elodie Chanthery, Renaud Pons, Pauline Ribot. A Neural Algorithm for the Detection and Correction of Anomalies: Application to the Landing of an Airplane. Sensors, 2022, 22 (6), pp.2334. ⟨10.3390/s22062334⟩. ⟨hal-03615011⟩

Jean-Bernard Lasserre. Homogeneous polynomials and spurious local minima on the unit sphere. Optimization Letters, 2022, 46 (4), pp.1105-1118. ⟨10.1007/s11590-021-01811-3⟩. ⟨hal-02966390v2⟩

Hugo Gilbert, Tom Portoleau, Olivier Spanjaard. Beyond pairwise comparisons in social choice: A setwise Kemeny aggregation problem. Theoretical Computer Science, 2022, 904, pp.27-47. ⟨10.1016/j.tcs.2021.07.004⟩. ⟨hal-03560807⟩

Jie Wang, Victor Magron, Jean-Bernard Lasserre. Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy. Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩. ⟨hal-03351160⟩

Jean-Bernard Lasserre. ON THE CHRISTOFFEL FUNCTION AND CLASSIFICATION IN DATA ANALYSIS. Comptes Rendus. Mathématique, 2022, 360, pp.919--928. ⟨10.5802/crmath.358⟩. ⟨hal-03620965v2⟩

M Z Almuzakki, B. Jayawardhana, Aneel Tanwani. Nearest Neighbor Control for Practical Stabilization of Passive Nonlinear Systems. Automatica, 2022, 141, pp.110278. ⟨10.1016/j.automatica.2022.110278⟩. ⟨hal-02565267v2⟩

Corbinian Schlosser. Converging Approximations of Attractors via Almost Lyapunov Functions and Semidefinite Programming. IEEE Control Systems Letters, 2022, 6, pp.2912-2917. ⟨10.1109/LCSYS.2022.3180110⟩. ⟨hal-03740699⟩

Chengcheng Song, Haoping Wang, Yang Tian, Gang Zheng, Alexandre Seuret. Event-triggered observer design for linear systems subject to delayed and sampled output. International Journal of Control, 2022, 95 (3), pp.581-588. ⟨10.1080/00207179.2020.1805127⟩. ⟨hal-02941641⟩

Emir Demirović, Anna Lukina, Emmanuel Hébrard, Jeffrey Chan, James Bailey, et al.. MurTree: Optimal Decision Trees via Dynamic Programming and Search. Journal of Machine Learning Research, 2022, 23 (26), pp.1-47. ⟨hal-03597741⟩

Edgar Hernando Sepúlveda Oviedo, Leonardo Enrique Bermeo Clavijo, Luis Carlos Méndez Córdoba. OpenModelica-based virtual simulator for the cardiovascular and respiratory physiology of a neonate. Journal of Medical Engineering and Technology, 2022, 46 (3), pp.179-197. ⟨10.1080/03091902.2022.2026500⟩. ⟨hal-04185789⟩

Davide Invernizzi, Marco Lovera, Luca Zaccarian. Global robust attitude tracking with torque disturbance rejection via dynamic hybrid feedback. Automatica, 2022, 144, pp.110462. ⟨10.1016/j.automatica.2022.110462⟩. ⟨hal-03582289⟩

Simon Belieres, Mike Hewitt, Nicolas Jozefowiez, Frédéric Semet. Meta Partial Benders Decomposition for the Logistics Service Network Design Problem. European Journal of Operational Research, 2022, 300 (2), pp.473-489. ⟨10.1016/j.ejor.2021.07.056⟩. ⟨hal-02951456v2⟩

Yoan Pechaud, Matthieu Peyre Lavigne, Yolaine Bessiere, Juan Carlos Ochoa, Isabelle Queinnec, et al.. Influence of shear stress, organic loading rates and HRT on the biofilm structure and on the competition between different biological aggregate morphotypes. Journal of Environmental Chemical Engineering, 2022, 10 (3), pp.107597. ⟨10.1016/j.jece.2022.107597⟩. ⟨hal-03627633⟩

Aneel Tanwani. Suboptimal Filtering over Sensor Networks with Random Communication. IEEE Transactions on Automatic Control, 2022, 67 (10), pp.5456 - 5463. ⟨10.1109/TAC.2021.3116180⟩. ⟨hal-03106998v3⟩

Lucie Baudouin, Pamela Godoy, Alberto Mercado. Carleman estimates for the wave equation in heterogeneous media with non-convex interface. Journal of Differential Equations, 2022, 311, pp.1-28. ⟨10.1016/j.jde.2021.12.001⟩. ⟨hal-03211176⟩

Sandra Ulrich Ngueveu, Christian Artigues, Nabil Absi, Safia Kedad-Sidhoum. Lower and upper bounds for scheduling energy-consuming tasks with storage resources and piecewise linear costs. Journal of Heuristics, 2022, 28 (1), pp.93-120. ⟨10.1007/s10732-021-09486-w⟩. ⟨hal-03337821⟩

Sophie Tarbouriech, Angelo Alessandri, Daniele Astolfi, Luca Zaccarian. LMI-based Stubborn and Dead-zone Redesign in Linear Dynamic Output Feedback. IEEE Control Systems Letters, 2022, 7, pp.187-192. ⟨10.1109/LCSYS.2022.3186842⟩. ⟨hal-03726559⟩

Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio. Stability of Linear Systems under Extended Weakly-Hard Constraints. IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩. ⟨hal-03127108⟩

Aloïs Duguet, Christian Artigues, Laurent Houssin, Sandra Ulrich Ngueveu. Properties, Extensions and Application of Piecewise Linearization for Euclidean Norm Optimization in R 2. Journal of Optimization Theory and Applications, 2022, 195 (2), pp.418-448. ⟨10.1007/s10957-022-02083-2⟩. ⟨hal-03356034v4⟩

Pierre-Antoine Morin, Christian Artigues, Alain Haït, Tamás Kis, Frits C.R. Spieksma. A project scheduling problem with periodically aggregated resource-constraints. Computers and Operations Research, 2022, 141, pp.105688. ⟨10.1016/j.cor.2021.105688⟩. ⟨hal-03525068⟩

Adrien Le Franc, Jean-Philippe Chancelier, Michel de Lara. The Capra-subdifferential of the l0 pseudonorm. Optimization, 2022, pp.1-23. ⟨10.1080/02331934.2022.2145172⟩. ⟨hal-03505168v3⟩

Jie Wang, Victor Magron. Exploiting Sparsity in Complex Polynomial Optimization. Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩. ⟨hal-03178832⟩

Edgar Hernando Sepúlveda Oviedo, Louise Travé-Massuyès, Audine Subias, Corinne Alonso, Marko Pavlov. Feature extraction and health status prediction in PV systems. Advanced Engineering Informatics, 2022, 53, pp.101696. ⟨10.1016/j.aei.2022.101696⟩. ⟨hal-03736670⟩

Daniel Cunico, Angelo Cenedese, Luca Zaccarian, Mauro Borgo. Nonlinear modeling and feedback control of boom barrier automation. IEEE/ASME Transactions on Mechatronics, 2022, 27 (6), pp.4752-4763. ⟨10.1109/TMECH.2022.3163692⟩. ⟨hal-04253614⟩

Jean-Bernard Lasserre. Optimization on the Euclidean Unit Sphere. SIAM Journal on Optimization, 2022, 32 (2), pp.1430--1445. ⟨10.1137/21M1433150⟩. ⟨hal-03291242v2⟩

N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre. A sparse version of Reznick's Positivstellensatz. Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩. ⟨hal-02477339⟩

Masahiro Ikeda, Isao Ishikawa, Corbinian Schlosser. Koopman and Perron–Frobenius operators on reproducing kernel Banach spaces. Chaos: An Interdisciplinary Journal of Nonlinear Science, 2022, 32 (12), pp.123143. ⟨10.1063/5.0094889⟩. ⟨hal-04174199⟩

Didier Henrion, Jean B Lasserre. Graph Recovery From Incomplete Moment Information. Constructive Approximation, 2022, 6, pp.165-187. ⟨10.1007/s00365-022-09563-8⟩. ⟨hal-02990825v2⟩

Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla. Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩. ⟨hal-02905816v2⟩

Francesco Ferrante, Alexandre Seuret. Observer Design for Linear Aperiodic Sampled-Data Systems: A Hybrid Systems Approach. IEEE Control Systems Letters, 2022, 6, pp.470-475. ⟨10.1109/LCSYS.2021.3081345⟩. ⟨hal-03150185⟩

Ruud Beerens, A. Bisoffi, Luca Zaccarian, H. Nijmeijer, W P M H Heemels, et al.. Reset PID design for motion systems with Stribeck friction. IEEE Transactions on Control Systems Technology, 2022, 30 (1), pp.294 - 310. ⟨10.1109/TCST.2021.3063420⟩. ⟨hal-02454405v3⟩

Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. A Sublevel Moment-SOS Hierarchy for Polynomial Optimization. Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩. ⟨hal-03109978⟩

Constantinos Kitsos, Gildas Besancon, Christophe Prieur. High-Gain Observer Design for a Class of Quasi-linear Integro-Differential Hyperbolic Systems - Application to an Epidemic Model. IEEE Transactions on Automatic Control, 2022, 67 (1), pp.292 - 303. ⟨10.1109/TAC.2021.3063368⟩. ⟨hal-03152772⟩

Mathieu Bajodek, Alexandre Seuret, Frédéric Gouaisbaut. Stability analysis of an ordinary differential equation interconnected with the reaction-diffusion equation. Automatica, 2022, 145, pp.110515. ⟨10.1016/j.automatica.2022.110515⟩. ⟨hal-03150194⟩

Matteo Della Rossa, Aneel Tanwani. Instability of Dwell-Time Constrained Switched Nonlinear Systems. Systems and Control Letters, 2022, 162, pp.105164. ⟨10.1016/j.sysconle.2022.105164⟩. ⟨hal-03516769⟩

Maximilian Pohl, Christian Artigues, Rainer Kolisch. Solving the Time-Discrete Winter Runway Scheduling Problem: A Column Generation and Constraint Programming Approach. European Journal of Operational Research, 2022, 299 (2), pp.674-689. ⟨10.1016/j.ejor.2021.08.028⟩. ⟨hal-03344421⟩

Alessandra H. k. Palmeira, João Gomes da Silva Jr, Jeferson V Flores, Alexandre Seuret. Aperiodic sampled-data MPC strategy for LPV systems. Journal of The Franklin Institute, 2022, 359 (2), pp.786-815. ⟨10.1016/j.jfranklin.2021.03.031⟩. ⟨hal-03395226⟩

Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang. Exploiting constant trace property in large-scale polynomial optimization. ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩. ⟨hal-03079000⟩

Rim Rammal, Tudor-Bogdan Airimitoaie, Pierre Melchior, Franck Cazaurang. Nonlinear Three-Tank System Fault Detection and Isolation Using Differential Flatness. IFAC Journal of Systems and Control, 2022, 21, pp.100197. ⟨10.1016/j.ifacsc.2022.100197⟩. ⟨hal-03601378⟩

Quentin Fabry, Alessandro Agnetis, Lotte Berghman, Cyril Briand. Complexity of flow time minimization in a crossdock truck scheduling problem with asymmetric handover relations. Operations Research Letters, 2022, 50 (1), pp.50-56. ⟨10.1016/j.orl.2021.12.004⟩. ⟨hal-03539324⟩

Yannick Pencolé, Audine Subias. Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach. IEEE Transactions on Automation Science and Engineering, 2022, 19 (2), pp.1151 - 1162. ⟨10.1109/TASE.2020.3045565⟩. ⟨hal-03139863⟩

Lucie Baudouin, Jérémi Dardé, Sylvain Ervedoza, Alberto Mercado. A unified strategy for observability of waves in an annulus with various boundary conditions. Mathematical Reports, 2022, 24 (1-2), pp.59-112. ⟨hal-03401646v2⟩

Nicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian. Hybrid control of self-oscillating resonant converters. IEEE Transactions on Control Systems Technology, In press, Early access, pp.1-8. ⟨10.1109/TCST.2022.3179948⟩. ⟨hal-03614816⟩

Carine Jauberthie, Nathalie Verdière. Bounded-Error Parameter Estimation Using Integro-Differential Equations for Hindmarsh–Rose Model. Algorithms, 2022, 15 (6), pp.179. ⟨10.3390/a15060179⟩. ⟨hal-03685775⟩

Giulia Maria Mattia, Benjamine Sarton, Edouard Villain, Helene Vinour, Fabrice Ferre, et al.. Multimodal MRI-Based Whole-Brain Assessment in Patients In Anoxoischemic Coma by Using 3D Convolutional Neural Networks. Neurocritical Care, 2022, 37 (S2), pp.303-312. ⟨10.1007/s12028-022-01525-z⟩. ⟨hal-03970344⟩

Jérôme Bolte, Edouard Pauwels, Rodolfo Ríos-Zertuche. Long term dynamics of the subgradient method for Lipschitz path differentiable functions. Journal of the European Mathematical Society, 2022, pp.1-28. ⟨10.4171/JEMS/1285⟩. ⟨hal-03614899⟩

Gustavo Perez-Zuniga, Elodie Chanthery, Louise Travé-Massuyès, Javier Sotomayor. Near-Optimal Decentralized Diagnosis via Structural Analysis. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022, 52 (12), pp.7353-7365. ⟨10.1109/TSMC.2022.3156539⟩. ⟨hal-03615003⟩

Jean-Bernard Lasserre. A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION. Comptes Rendus. Mathématique, 2022, 360, pp.1071--1079. ⟨10.5802/crmath.380⟩. ⟨hal-03624003v2⟩

Ngoc Hoang Anh Mai, Victor Magron. On the complexity of Putinar-Vasilescu's Positivstellensatz. Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩. ⟨hal-03820206⟩

Isabelle Queinnec, Sophie Tarbouriech, Giorgio Valmorbida, Luca Zaccarian. Design of Saturating State-Feedback with Sign-Indefinite Quadratic Forms. IEEE Transactions on Automatic Control, 2022, 67 (7), pp.3507 - 3520. ⟨10.1109/TAC.2021.3106878⟩. ⟨hal-03353776⟩

Carla de Souza, Sophie Tarbouriech, Valter J S Leite, Eugênio Castelan. Co-design of an event-triggered dynamic output feedback controller for discrete-time LPV systems with constraints. Journal of The Franklin Institute, 2022, 359 (2), pp.697 - 718. ⟨10.1016/j.jfranklin.2021.04.028⟩. ⟨hal-03630968⟩

Alessandro Bosso, Luca Zaccarian, Andrea Tilli, Matteo Barbieri. Robust Global Asymptotic Stabilization of Linear Cascade Systems with Hysteresis Interconnection. IEEE Control Systems Letters, 2022, 7, pp.337 - 342. ⟨10.1109/LCSYS.2022.3188748⟩. ⟨hal-03622392⟩

Felix Huber, Igor Klep, Victor Magron, Jurij Volčič. Dimension-free entanglement detection in multipartite Werner states. Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩. ⟨hal-03322991⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Reinforced Likelihood Box Particle Filter. IEEE Control Systems Letters, 2022, 7, pp.502 - 507. ⟨10.1109/LCSYS.2022.3194810⟩. ⟨hal-03741351⟩

Alberto Priuli, Sophie Tarbouriech, Luca Zaccarian. Static Linear Anti-Windup Design With Sign-Indefinite Quadratic Forms. IEEE Control Systems Letters, 2022, 6, pp.3158-3163. ⟨10.1109/LCSYS.2022.3182286⟩. ⟨hal-03741768⟩

Mattia Giaccagli, Vincent Andrieu, Sophie Tarbouriech, Daniele Astolfi. Infinite gain margin, contraction and optimality: an LMI-based design. European Journal of Control, 2022, 68, pp.100685. ⟨10.1016/j.ejcon.2022.100685⟩. ⟨hal-03704614⟩

Livres

Jean-Bernard Lasserre, Edouard Pauwels, Mihai Putinar. The Christoffel-Darboux Kernel for Data Analysis. Cambridge University Press. Cambridge University Press, 2022, Cambridge Monographs on Applied and Computational Mathematics, 9781108937078. ⟨hal-03590829⟩

Chapitres d’ouvrages

Mathieu Bajodek, Alexandre Seuret, Frédéric Gouaisbaut. Insight into the stability analysis of the reaction-diffusion equation interconnected with a finite-dimensional system taking support on Legendre orthogonal basis. Advances in Distributed Parameter Systems, Springer, pp 93-115, 2022, 978-3-030-94765-1. ⟨10.1007/978-3-030-94766-8_5⟩. ⟨hal-03434998⟩

Milan Korda, Didier Henrion, Jean-Bernard Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022. ⟨hal-01771699⟩

Communications dans un congrès

Amaury Vignolles, Pauline Ribot, Elodie Chanthery. Modeling complex systems with Heterogeneous Petri Nets (HtPN). 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773709⟩

Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hébrard. Complexity of Minimum-Size Arc-Inconsistency Explanations. CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩. ⟨lirmm-03833388⟩

Louis Goupil, Elodie Chanthery, Louise Travé-Massuyès, Sébastien Delautier. A Survey on Diagnosis Methods Combining Dynamic Systems Structural Analysis and Machine Learning. 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773707⟩

Daniel Cunico, Angelo Cenedese, Luca Zaccarian, Mauro Borgo. Two-degree-of-freedom Robust Feedback Control of a Sliding Gate Automation. 2022 IEEE 17th International Conference on Advanced Motion Control (AMC), Feb 2022, Padova, Italy. pp.370-375, ⟨10.1109/AMC51637.2022.9729325⟩. ⟨hal-03865019⟩

Anna Sztyber, Elodie Chanthery, Louise Travé-Massuyès, Carlos Gustavo Pérez-Zuñiga. Water network benchmarks for structural analysis algorithms in fault diagnosis. 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773713⟩

Luca de Pascali, Sebastian Erhart, Luca Zaccarian, Biral Francesco, Sandra Hirche. A Decoupling Scheme for Force Control in Cooperative Multi-Robot Manipulation Tasks. 2022 IEEE 17th International Conference on Advanced Motion Control (AMC), Feb 2022, Padova, Italy. pp.243-249, ⟨10.1109/AMC51637.2022.9729263⟩. ⟨hal-03865089⟩

Florian Sansou, Fabrice Demourant, Gautier Hattenberger, Thomas Loquen, Luca Zaccarian. Open wind tunnel experiments of the DarkO tail-sitter longitudinal stabilization with constant wind. Automatic control in aerospace, Nov 2022, Mumbai, India. pp.1-6, ⟨10.1016/j.ifacol.2023.03.001⟩. ⟨hal-04126142⟩

Samer Alsamadi, Francesco Ferrante, Sophie Tarbouriech. Anti-windup-like Compensator Synthesis for Discrete-Time Quantized Control Systems. ROCOND 2022 - IFAC 10th Symposium on Robust Control Design, Aug 2022, Kyoto (Online), Japan. p. 43-48, ⟨10.1016/j.ifacol.2022.09.321⟩. ⟨hal-03671411⟩

Bechir Fatnassi, Borhen Torchani, Anis Sellami, Germain Garcia. Sliding Mode Control of DFIG for a Variable Speed Wind Turbine. 2022 International Conference on Control, Automation and Diagnosis (ICCAD), Jul 2022, Lisbon, Portugal. pp.1-5, ⟨10.1109/ICCAD55197.2022.9854007⟩. ⟨hal-03777926⟩

Amaury Vignolles, Elodie Chanthery, Pauline Ribot. Hybrid Model Learning for System Health Monitoring. Safeprocess 2022 : 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Jun 2022, Paphos, Cyprus. ⟨hal-03282377v3⟩

Hao Hu, Marie-José Huguet, Mohamed Siala. Optimizing Binary Decision Diagrams with MaxSAT for Classification. 36th AAAI Conference on Artificial Intelligence, Feb 2022, Vancouver, Canada. ⟨hal-03667549⟩

Hugo Chevroton, Cyril Briand, Philippe Truillet, Mélody Mailliez, Céline Lemercier. Human-centered interactions for project scheduling decision-aid in space industry. 18th International Workshop on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03608503⟩

Camille Coquand, Audine Subias, Yannick Pencolé, Éric Lubat. Critical pairs based diagnosability analysis of timed fault in Time Petri Nets. 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. ⟨hal-03765924⟩

Corentin Boennec, Lucas de Oliveira Albuquerque, Bruno Sareni, Fabien Lacressonnière, Sandra Ulrich Ngueveu. Analysis of the Li-ion Batteries Modeling Choices For Microgrid Design. International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM), Oct 2022, Tunis, Tunisia. ⟨hal-03895725⟩

Christian Artigues, Léonie Gallois, Laurent Houssin. Ordonnancement des contacts Search And Rescue dans une constellation de satellites de géopositionnement. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595367⟩

Camille Coquand, Audine Subias, Yannick Pencolé. Observable Simple Temporal Network synthesis for the diagnosis of time patterns in time Petri nets. 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2022, Jun 2022, Pafos, Cyprus. ⟨hal-03694854⟩

Mioara Joldes. Validated Numerics:Algorithms and Practical Applications in Aerospace. ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2, ⟨10.1145/3476446.3535505⟩. ⟨hal-03762945⟩

Alexandre Gaffet, Nathalie Barbosa Roa, Pauline Ribot, Elodie Chanthery, Christophe Merle. A Hierarchical XGBoost Early Detection Method for Quality and Productivity Improvement of Electronics Manufacturing Systems. 7th European Conference of the Prognostics and Health Management Society 2022, Jul 2022, Turin, Italy. ⟨hal-03711267⟩

R. Bertollo, G.B. Cáceres, P. Millán, M. Pereira, Luca Zaccarian. A hybrid dynamical systems approach to smart irrigation. IFAC Conference on Sensing, Control, and Automation in Agriculture, IFAC, Sep 2022, Munich (Germany), Germany. pp.188-193, ⟨10.1016/j.ifacol.2022.11.137⟩. ⟨hal-04253616⟩

Ibis Velasquez, Euriell Le Corronc, Yannick Pencolé. Active Diagnosis Algorithm for the Localization of Time Failures in (Max,+)-Linear Systems. 16th IFAC Workshop on Discrete Event Dynamic Systems (WODES'22), Sep 2022, Prague, Czech Republic. pp.276-283, ⟨10.1016/j.ifacol.2022.10.354⟩. ⟨hal-04249433⟩

Kévin Ducharlet, Louise Travé-Massuyès, Marie-Véronique Le Lann, Youssef Miloudi. Etude des méthodes de détection d'anomalies non supervisées appliquées aux flux de données. 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2022), Jun 2022, Saint-Etienne, France. ⟨hal-03765550⟩

Xavier Allamigeon, Stéphane Gaubert, Ricardo David Katz, Mateusz Skomra. Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Jul 2022, Paris, France. ⟨hal-03698207⟩

Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala. Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR-2022), Jun 2022, Los Angeles, CA, United States. ⟨hal-03602234⟩

Florent Koudohode, Lucie Baudouin, Sophie Tarbouriech. Dynamic event-triggered stabilization for the Schrödinger equation. Joint 8th IFAC Symp. on System Structure and Control, 17th IFAC Workshop on Time Delay Systems, 5th IFAC Workshop on Linear Parameter Varying Systems, Montreal, Canada (September 2022)., Sep 2022, Montreal, Canada. ⟨hal-03749743⟩

Olga Yufereva, Aneel Tanwani. Approximation of Nonlinear Filters for Continuous-Time Markov Chains under Randomly-Sampled Observations. IEEE 61st Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. pp.6620-6625, ⟨10.1109/CDC51059.2022.9992749⟩. ⟨hal-04161754⟩

Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, et al.. L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming. European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩. ⟨hal-03740522⟩

Julien Ferry, Ulrich Aïvodji, Sebastien Gambs, Marie-José Huguet, Mohamed Siala. Concilier l'équité statistique et la précision en apprentissage machine interprétable grâce à la PLNE. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595267⟩

Louis Rivière, Christian Artigues, Hélène Fargier. Two-stage stochastic/robust scheduling using permutable operation groups. 23ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2022), Institut National des Sciences Appliquées : INSA Lyon; Université de Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595429⟩

Tom Portoleau, Romain Guillaume, Christian Artigues. Une variante de la méthode de Benders adverse pour le problème de lot-sizing robuste avec budget d'incertitude. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595446⟩

Aloïs Duguet, Sandra Ulrich Ngueveu. Heuristiques de linéarisation par morceaux de fonctions à deux variables avec minimisation du nombre de morceaux sous contrainte de tolérance. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595299⟩

Tom Portoleau, Christian Artigues, Tamara Borreguero Sanchidrián, Alvaro García Sánchez, Miguel Ortega Mier, et al.. Large neighborhood search for a multi-mode resource constrained scheduling problem with resource leveling objective. 18th International Workshop on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03747831⟩

Ramon Estalella-Rodríguez, Carlos Olalla, Isabelle Queinnec, Angel Cid-Pastor. Numerical Methods for the Robust Stability and Performance of Power Conversion Systems. IEEE Energy Conversion Congress and Exposition (ECCE), IEEE, Oct 2022, Detroit, MI, United States. ⟨10.1109/ECCE50734.2022.9947876⟩. ⟨hal-03936998⟩

Léa Blaise, Thierry Benoist, Christian Artigues. Résolution du problème de l'Assembly Line Balancing avec LocalSolver. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595405⟩

Julien Rouzot, Julien Ferry, Marie-José Huguet. Learning Optimal Fair Scoring Systems for Multi-Class Classification. ICTAI 2022 - The 34th IEEE International Conference on Tools with Artificial Intelligence, Oct 2022, Virtual, United States. ⟨hal-03782735⟩

Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech. Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design. 61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. ⟨10.1109/CDC51059.2022.9993298⟩. ⟨hal-03774650⟩

Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu. Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France. ⟨hal-03575157⟩

Edgar Hernando Sepúlveda Oviedo. Extraction de signatures et prédiction de l'état de santé des centrales photovoltaïques. Congrès annuel de l'Ecole Doctorale GEETS 2022, Ecole Doctorale Génie Electrique, Electronique, Télécommunications et Santé, Apr 2022, Toulouse, France. ⟨hal-04290156⟩

Hugo Chevroton, Cyril Briand, Philippe Truillet, Melody Mailliez, Céline Lemercier. A CP model for interactive project scheduling in space industry. 23ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2022), INSA Lyon; Université de Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595210⟩

Alexandre Gaffet, Pauline Ribot, Elodie Chanthery, Nathalie Barbosa, Christophe Merle. A Health Monitoring Method for Automotive Surface Mount Technologies. SAFEPROCESS 2022, Jun 2022, Paphos, Cyprus. ⟨hal-03711286⟩

Emmanuel Hébrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve A. Chien, et al.. An Efficient Approach to Data Transfer Scheduling for Long Range Space Exploration. The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Jul 2022, Vienna, Austria. pp.4635-4641, ⟨10.24963/ijcai.2022/643⟩. ⟨hal-03747736⟩

Francesco Ferrante, Sophie Tarbouriech. Sampled-data control design for systems with quantized actuators. 8th IFAC Symposium on System Structure and Control SSSC, Sep 2022, Montreal, Canada. pp.37-42, ⟨10.1016/j.ifacol.2022.11.305⟩. ⟨hal-04264326⟩

Benoît Bonnet, Hélène Frankowska. Viability and Exponentially Stable Trajectories for Differential Inclusions in Wasserstein Spaces. IEEE 61st Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. ⟨10.1109/CDC51059.2022.9992888⟩. ⟨hal-03772291⟩

Florian Sansou, Luca Zaccarian. On local-global hysteresis-based hovering stabilization of the DarkO convertible UAV. EUCA European Control Conference, Jul 2022, London, United Kingdom. ⟨10.23919/ECC55457.2022.9838387⟩. ⟨hal-03728034⟩

Florent Koudohode, Lucie Baudouin, Sophie Tarbouriech. Event-based control of a damped linear Schrödinger equation. European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9837965⟩. ⟨hal-03421622v2⟩

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fast and reliable computation of the instantaneous orbital collision probability. 2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands. ⟨hal-04240944⟩

Eric Lubat, Camille Coquand, Yannick Pencole, Audine Subias. Diagnosability and Predictability of pattern in Labelled Petri Nets. 33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773804⟩

Agustina d'Jorge, Isabelle Queinnec, Sophie Tarbouriech, Luca Zaccarian. Reset control analysis and design for hybrid Lur'e dynamical systems. International Symposium on Mathematical Theory of Networks and Systems, IFAC, Sep 2022, Bayreuth (DE), Germany. ⟨hal-04185288⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Décomposition de Benders basée sur la logique pour le problème de job-shop flexible préemptif. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595271⟩

Emmanuel Hébrard, Christian Artigues, Pierre Lopez, Arnaud Lusson, Steve A. Chien, et al.. Data transfer scheduling for deep space exploration. The 15th Workshop on Models and Algorithms for Planning and Scheduling 2022 (MAPSP 2022), Jun 2022, Oropa (Biella), Italy. ⟨hal-03747747⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Active Fault Diagnosis based on Adaptive Degrees of Freedom χ 2 -statistic method. 8th International Conference on Control, Decision and Information technologies (CoDIT'22), May 2022, Istanbul, Turkey. ⟨10.1109/CoDIT55151.2022.9804156⟩. ⟨hal-03689596⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Comparaison de différents modèles pour résoudre le problème non-linéaire Hydro Unit Commitment. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595259⟩

Santiago Pantano-Calderón, Claude Baron, Jean-Charles Chaudemar, Elise Vareilles, Rob A. Vingerhoeds. Regarding the COVID-19 crisis from a systems engineering perspective. 19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), May 2022, Tarbes, France. pp.0. ⟨hal-04096456⟩

Adrien Dorise, Louise Travé-Massuyès, Audine Subias, Corinne Alonso. Dyd²: Dynamic Double anomaly Detection: Application to on-board space radiation faults. IFAC Safeprocess 2022 :11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, Jun 2022, Pafos, Cyprus. ⟨hal-03609573v2⟩

Jean-Bernard Lasserre. Optimization of Polynomials with Sparsity Encoded in a Few Linear Forms. 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2022), Sep 2022, Beyreuth, Germany. pp.383-387. ⟨hal-03628891⟩

Claudio Contardo, Sandra Ulrich Ngueveu. Approximation à précision numérique prédéfinie d'une classe de problèmes d'optimisation non-linéaires non-convexes séparables. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595251⟩

Jean-Bernard Lasserre. The Christoffel-Darboux Kernel for Data Analysis. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595424⟩

Anne Collin, Giuditta Meloni, Claire Bonnefous, Martina Re, Laura van Vooren, et al.. The PPILOW project: Innovations improving welfare in low input and organic pig and poultry farms. 73. Annual meeting of the european federation of animal science (EAAP), EAAP, Sep 2022, Porto, Portugal. pp.350. ⟨hal-04128847⟩

Adrien Dorise, Audine Subias, Louise Travé-Massuyès, Corinne Alonso. Advanced machine learning for the detection of single event effects. RADECS 2022, Oct 2022, Venice, Italy. ⟨hal-03789895⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Logic-based Benders Decomposition for preemptive Flexible Job-Shop Scheduling. 18th International Conference on Project Management and Scheduling (PMS 2022), Apr 2022, Ghent, Belgium. ⟨hal-03607646⟩

Mathieu Bajodek, Alexandre Seuret, Frédéric Gouaisbaut. Order of Legendre-LMI conditions to assess stability of time-delay systems. 17th IFAC Workshop on Time Delay Systems (TDS), Sep 2022, Montréal, Canada. pp.175-180. ⟨hal-03666571v2⟩

Thèses de Master

Srećko Ðurašinović. The Christoffel function for supervised learning: theory and practice. Machine Learning [stat.ML]. 2022. ⟨hal-03768886⟩

Autres documents

Le Toan Duong, Louise Travé-Massuyès, Audine Subias, Nathalie Barbosa Roa. Electronic board production process knowledge extraction for global optimization. ANITI EVALUATION, Mar 2022, Toulouse, France. 2022. ⟨hal-03608222v2⟩

Corbinian Schlosser. Converging approximations of attractors via almost Lyapunov functions and semidefinite programming. 2022. ⟨hal-04174217⟩

Adrien Dorise, Louise Travé-Massuyès, Audine Subias, Corinne Alonso. Dynamic Double anomaly Detection through evolving clustering: Application to on-board space radiation faults. ANITI presentation, Mar 2022, Toulouse, France. 2022. ⟨hal-03622285⟩

Jean B Lasserre. Moment-SOS Hierarchies. Encyclopedia of Optimization, 2022, pp.1-7. ⟨10.1007/978-3-030-54621-2_740-1⟩. ⟨hal-04054990⟩

Comptes rendus de conférences

Aloïs Duguet, Sandra Ulrich Ngueveu. Piecewise linearization of bivariate nonlinear functions: minimizing the number of pieces under a bounded approximation error. 13526, Springer International Publishing, pp.117-129, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-18530-4_9⟩. ⟨hal-03629850v2⟩

Rapports

Louise Travé-Massuyès, Michel Devy. Rapport de synthèse n°6 - Projet COCOTIER : COncept de COckpit et Technologies Intégrées En Rupture (Convention de soutien n°2019-08). LAAS-CNRS. 2022. ⟨hal-03798439⟩

Louise Travé-Massuyès, Elodie Chanthery, Angel Mur Guerri, Pauline Ribot, Renaud Pons. Prototyping and validation results, Cocotier Project: Technical Report S5.9.1.4 Deliverable, Lot 5.9, LAAS-CNRS. S5.9.1.4, LAAS-CNRS. 2022. ⟨hal-03800103⟩

Pré-publications, documents de travail

Riccardo Ballaben, Philipp Braun, Luca Zaccarian. Orchestrating front and rear sensors for global stabilization of unicycles. 2022. ⟨hal-03586547⟩

Mathieu Bajodek, Alexandre Seuret, Frédéric Gouaisbaut. On the necessity of sufficient LMI conditions for time-delay systems arising from Legendre approximation. 2022. ⟨hal-03435008v3⟩

Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara, Hayato Waki. Tractable semidefinite bounds of positive maximal singular values. 2022. ⟨hal-03580048⟩

Kévin Ducharlet, Louise Travé-Massuyès, Jean-Bernard Lasserre, Marie-Véronique Le Lann, Youssef Miloudi. Leveraging the Christoffel-Darboux Kernel for Online Outlier Detection. 2022. ⟨hal-03562614⟩

Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček. Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions. 2022. ⟨hal-03196925v2⟩

Jean-François Aujol, Charles Dossal, Văn Hào Hoàng, Hippolyte Labarrière, Aude Rondepierre. Fast convergence of inertial dynamics with Hessian-driven damping under geometry assumptions. 2022. ⟨hal-03693218v2⟩

Georg Loho, Mateusz Skomra. Signed tropical halfspaces and convexity. 2022. ⟨hal-03765509⟩

Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi. Urysohn in action: separating semialgebraic sets by polynomials. 2022. ⟨hal-03712510⟩

Marc Dambrine, Ch Dossal, Bénédicte Puig, Aude Rondepierre. Stochastic Differential Equations for modeling first order optimization methods. 2022. ⟨hal-03630785⟩

Matthias Preindl, Luiz Fernando Lavado Villa, Liwei Zhou, Matthew Jahnes, Jean Alinei. ITEC+EATS 2022 Short Course Software-Defined Power Electronics: Theory and Study Cases. Doctoral. ITEC + EATS Conference 2022 Anaheim, CA, United States. 2022, pp.139. ⟨hal-04430648⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. Dynamic programming for the single unit hydro unit commitment problem. 2022. ⟨hal-03916388⟩

Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh. Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant. 2022. ⟨hal-03776853⟩

Mélody Mailliez, Hugo Chevroton, Cyril Briand, Philippe Truillet, Céline Lemercier. Stepping Stone to Smarter Supervision Systems: A Human-centered Multidisciplinary Framework. 2022. ⟨hal-03613453⟩

Mateusz Skomra. Optimal bounds for bit-sizes of stationary distributions in finite Markov chains. 2022. ⟨hal-03765666⟩

Rim Rammal, Tudor-Bogdan Airimitoaie, Pierre Melchior, Franck Cazaurang. Flatness-Based Fault Detection and Isolation for Fractional Order Linear Flat Systems. 2022. ⟨hal-03601386⟩

Thèses / HDR soutenues

2023

Louis Rivière, Thèse: Représentation compacte d’ensemble de solutions pour l’ordonnancement sous incertitude

Camille Coquand, Thèse: Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporels

Florent Koudohode, Thèse: Commande basée évènement pour quelques équations aux dérivées partielles

Julien Ferry, Thèse: Adresser l’interprétabilité, l’équité et la protection de la vie privée en apprentissage machine au travers des méthodes d’optimisation combinatoire

Carla Juvin, Thèse: Méthodes hybrides pour l'ordonnancement disjonctif avec flexibilité de ressources et considération de robustesse

Kévin Ducharlet, Thèse: Détection d'anomalies dans les flux de données pour une application dans les réseaux de capteurs

Le Toan Duong, Thèse: Extraction de connaissances pour l'optimisation des processus de production par process mining

Corbinian Schlosser, Thèse: Parcimonie et optimisation convexe pour les systèmes dynamiques

2022

Hao Hu, Thèse: Interpretable Machine Learning Models via Maximum Boolean Satisfiability

Tong Chen, Thèse: Vérification de la robustesse des réseaux de neurones à l'aide de l'optimisation polynomiale

Amaury Vignolles, Thèse: Apprentissage de modèles pour la gestion de santé de systèmes hybrides sous incertitudes

Ngoc Hoang Anh Mai, Thèse: Optimisation polynomiale pratique grâce à des certificats de positivité avec et sans dénominateurs

Mathieu Bajodek, Thèse: Analyse de stabilité de systèmes linéaires EDO-EDP interconnectés

Valentin Antuori, Thèse: Guider la recherche arborescente pour la résolution de problèmes industriels : apprentissage par renforcement et méthodes de Monte Carlo

Quentin Fabry, Thèse: Ordonnancement de camions dans une plateforme logistique : complexité, méthodes de résolution et incertitudes

Léa Blaise, Thèse: Modélisation et résolution de problèmes d’ordonnancement au sein du solveur d’optimisation mathématique LocalSolver

Claire Paya, Thèse: Détection des dérives temporelles pour le pilotage de flux de production dans l'industrie des semiconducteurs

Quoc Hung Lu, Thèse: Filtrage à incertitudes stochastiques et bornées : application au diagnostic actif en automobile

2021

Frédéric Chatrie Roudier, Thèse: Dosimétrie in-vivo et contrôle qualité en radiothérapie externe par réseaux de neurones

Edouard Villain, Thèse: Utilisation de l'intelligence artificielle pour l'aide au diagnostic des patients atteints de pathologies neuro dégénératives

Mathias Serieye, Thèse: Contributions à la stabilisation des systèmes à commutation affine

Marianne Souaiby, Thèse: Fonctions de Lyapunov et approximations d'ensemble pour les systèmes contraints utilisant la programmation semi-définie

Thomas Conord, Thèse: Contrôle robuste des systèmes variant dans le temps : application au contrôle d'attitude modélisée par quaternion

Menglin He, Thèse: Commande tolérante aux fautes des systèmes non linéaires basée sur l'approche multi-modèles

Matteo Tacchi, Thèse: Hiérarchie moments-SOS pour approximation ensembliste à grande échelle. Application à l'analyse de stabilité transitoire des systèmes électriques.

Victor Magron, Habilitation à diriger des recherches: The quest of modeling, certification and efficiency in polynomial optimization

Xue Han, Thèse: Diagnostic basé sur les observateurs et commande tolérante aux fautes des systèmes non linéaires

2020

Valentin Bouziat, Thèse: Gestion des aléas dans un système multi-robots

Matteo Della Rossa, Thèse: Fonctions de Lyapunov non-lisses pour l'analyse de stabilité de systèmes hybrides

Tom Obry, Thèse: Apprentissage numérique et symbolique pour le diagnostic et la réparation automobile

Alexandre Sahuguède, Thèse: Un algorithme de découverte de chroniques pertinentes pour le diagnostic par identification et reconstitution

2019

Estele Glize, Thèse: Méthodes exactes pour les problèmes combinatoires bi-objectif : Application sur les problèmes de tournées de véhicules

Simon Belieres, Thèse: Programmation mathématiques pour la plannification tactique du transport dans une chaîne logistique multi-produits

Oliver Polo Mejia, Thèse: Approche par recherche opérationnelle de l'optimisation du fonctionnement d'un laboratoire en milieu nucléaire

Sabrina Hadjeras, Thèse: Commande hybride pour des convertisseurs de puissance

Matthieu Barreau, Thèse: Analyse de stabilité de systèmes différentiels ordinaires couplés avec une équation des ondes : application aux mécanismes de forage

Mioara Maria Joldes, Habilitation à diriger des recherches: Algorithmes symboliques-numeriques validés et applications au domaine spatial

2018

Pierre-Antoine Morin, Thèse: Planification et ordonnancement de projets sous contraintes de ressources complexes

Idir Hamaz, Thèse: Méthodes d'optimisation robuste pour les problèmes d'ordonnancement cyclique

Mohammed Safi, Thèse: Stabilité de Lyapunov de systèmes couplés impliquant une équation de transport

Paulo Ricardo Arantes Gilz, Thèse: Algorithmes de commande embarqués et validés pour le rendez-vous spatial

Tillmann Weisser, Thèse: Moments et polynômes positifs pour le calcul d'approximations et de solutions généralisées

Yannick Pencolé, Habilitation à diriger des recherches: Diagnostic : étude d’un raisonnement complexe et multi-dimensionnel

Mikael Capelle, Thèse: Optimisation pour les communications optiques dans les systèmes d’observation de la Terre

Elodie Chanthery, Habilitation à diriger des recherches: Vers des systèmes plus autonomes : contributions autour de la tâche de diagnostic dans une architecture embarquée

Pierre Coupechoux, Thèse: Codes et jeux de soustraction et de poursuite dans les graphes

Fabien Niel, Thèse: Modélisation et contrôle d'une aile en présence d'oscillations aéroélastiques de grande amplitude et à faible nombre de Reynolds

Ulrich Matchi Aïvodji, Thèse: Technologies respectueuses de la vie privée pour le covoiturage

2017

Alexandre Seuret, Habilitation à diriger des recherches: Contributions à l'analyse de la stabilité et au contrôle des systèmes en réseau

Yun He, Thèse: Problèmes de tournée avec prise en compte explicite de la consommation d'énergie

Tuan Anh Tran, Thèse: Cadre unifié pour la modélisation des incertitudes statistiques et bornées : application à la détection et isolation de défauts dans les systèmes dynamiques incertains par estimation

John William Vásquez Capacho, Thèse: Gestion d’alarmes basée sur des chroniques

Harmonie Leduc, Thèse: Contrôle adaptatif robuste. Application au contrôle d'attitude de satellites

Laura Sofia Urbina, Thèse: Méthodes de guidage-contrôle robuste pour la phase d'approche entre deux véhicules orbitaux avec couplage des mouvements de translation et de rotation

Christophe Louembet, Habilitation à diriger des recherches: Contributions au guidage pour le rendez-vous spatial par résolution du problème de commande optimale impulsionnelle

2016

Clément Carbonnel, Thèse: Algorithmes paramétrés pour des problèmes de satisfaction de contraintes presque traitables

Saïd Zabi, Thèse: Modélisation et commande de l’anesthésie en milieu clinique

Thomas Monrousseau, Thèse: Développement du système d'analyse des données recueillies par les capteurs et choix du groupement de capteurs optimal pour le suivi de la cuisson des aliments dans un four

Laura Dal Col, Thèse: Etudes des techniques de contrôle distribué pour l'analyse et la synthèse pour les systèmes multi-agents avec information limitée

Carine Jauberthie, Habilitation à diriger des recherches: Estimation des systèmes dynamiques incertains et des propriétés connexes. Application à la surveillance de la santé

Margaux Nattaf, Thèse: Ordonnancement sous contraintes d’énergie

Gregoire Scano, Thèse: Calcul d'itinéraires multiples et de trajets synchronisés dans des réseaux de transport multimodaux

Leticia Gloria Vargas Suarez, Thèse: Un opérateur de programmation dynamique pour les méta-heuristiques pour résoudre les problèmes de tournées de véhicules avec des visites optionnelles

Nadia Chaabane, Thèse: Recherche de flots stables dans des réseaux de transport multi-agents

2015

Elisa Roux, Thèse: Développement d'un outil d'aide au diagnostic pour la production de maïs permettant la réduction de la consommation en eaux d'irrigation et en traitements phytosanitaires

Olesia Mokrenko, Thèse: Gestion de l'énergie d'un réseau de capteurs sans fil au niveau de l'application

Francesco Ferrante, Thèse: Sur la quantification et l'intermittence de mesures dans les systèmes de commande: stabilité, stabilisation et estimation d'état

Simone Naldi, Thèse: Algorithmes exacts pour les variétés déterminantielles et la programmation semi-définie

Mohamed Siala, Thèse: Recherche, propagation et apprentissage dans les problèmes de séquencement et d'ordonnancement

Mathieu Poquet, Thèse: Une contribution à l'analyse et la modélisation des émissions de NO et N2O pendant nitritation

2014

Yacine Gaoua, Thèse: Modèles mathématiques et techniques d’optimisation non linéaire et combinatoire pour la gestion d’énergie d’un système multi-source : vers une implantation temps-réel pour différentes structures électriques de véhicules hybrides

Dimitri Peaucelle, Habilitation à diriger des recherches: Séparation Intégrale Quadratique et Applications en Commande Robuste

Lucie Baudouin, Habilitation à diriger des recherches: Problèmes inverses et commande robuste de quelques équations aux dérivées partielles

Tan Le, Thèse: Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes

Hang Ma, Thèse: Utilisation du chaos pour améliorer l'estimation du temps d'arrivée dans le cas multi-utilisateur : application à un système de télémétrie de type UWB

Mariem Trojet, Thèse: Planification d'une chaîne logistique: approche par satisfaction de contraintes dynamiques

Garance Vinson, Thèse: Développement d'une méthode commune de diagnostic et pronostic basée sur un cadre formel de modélisation générique. Application à un module électro-hydrostatique aéronautique

Alexandru-Razvan Luzi, Thèse: Commande variante dans le temps pour le contrôle d'attitude de satellites