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

Le département développe des théories et des méthodes pour la décision et l'optimisation. Les résultats qu'il produit sont sous formes mathématiques et algorithmiques. Les résultats sont testés et validés sur des classes d'applications (A). Deux approches complémentaires associant décision (Dec) et optimisation (Opt) coexistent au sein du département :

  • [Dec->Opt] L'analyse et la synthèse de lois de décision à l'aide, entre autres outils, de techniques d'optimisation ;
  • [Opt->Dec] La conception et la résolution de problèmes d'optimisation, employées, entre autres, pour la prise de décision.

Les signaux et les données définissant les entrées sorties des systèmes et des algorithmes sont selon les cas d'étude :

  • de nature continue (Cont), typiquement non bornés et à valeurs réelles ;
  • de nature discrète (Disc), typiquement à valeurs discrètes bornées, à valeurs entières, ou comprises dans un alphabet.

Une des complications abordées dans les travaux de recherche des membres de DO est le caractère hétérogènes (H) associant des signaux et données de nature à la fois continue et discrète. Selon les équipes les points de vue dominants sont :

  • [Disc->H] Ceux issus de théories et méthodes dédiées aux phénomènes décrits par des ensembles de valeurs discrètes ou dont les décisions sont dans un alphabet fini, les recherches pouvant aussi tenir compte d'éléments continus ;
  • [Cont->H] Ceux issus de théories et méthodes dédiées aux processus ou données à valeurs continues, les recherches pouvant aussi tenir compte de complications liées à la quantification et l'incorporation de phénomènes à valeurs discrètes.

Le tableau ci-dessous positionne les quatre équipes au regard de ces approches et points de vue. Pour chacune le tableau donne les principaux mots clés en termes de lois de décisions, d'outils d'optimisation et d'applications. A noter que les applications ne sont pas nécessairement des classes de questions industrielles ou sociales. De mêmes les mots-clés ne sont pas non plus nécessairement dans les mêmes rubriques selon les équipes.

DISCO [Dec->Opt] [Disc->H]

  • Décision : diagnostic, supervision, pronostic
  • Optimisation : apprentissage, combinatoire, convexe
  • Applications : industrie du futur, santé, énergie, aérospatial, agriculture

MAC [Dec->Opt] [Cont->H]

  • Décision : commande, observateurs, contrôle
  • Optimisation : convexe, LMI, hiérarchies, certificats
  • Applications : aérospatial, convertisseurs électriques, robots, santé-biotechnologie

POP [Opt->Dec] [Cont->H]

  • Optimisation : convexe, semi-définie, polynomiale, hiérarchies moments-sommes de carrés, tropicale
  • Décision : certificats, commande, apprentissage
  • Applications : réseaux électriques, quantique, réseaux de neurones

ROC [Opt->Dec] [Disc->H]

  • Optimisation : combinatoire, sous contraintes, hybrides
  • Décision : ordonnancement, planification, apprentissage
  • Applications : transport, industrie du futur, spatial, énergie

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

Aneel Tanwani

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

Christian Artigues

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

2026

Articles dans une revue

Christian Artigues, Sönke Hartmann, Mario Vanhoucke. Fifty years of research on resource-constrained project scheduling explored from different perspectives. European Journal of Operational Research, 2026, 328 (2), pp.367-389. ⟨10.1016/j.ejor.2025.03.024⟩. ⟨hal-05341124v2⟩

Riccardo Ballaben, Alessandro Astolfi, Philipp Braun, Luca Zaccarian. Orchestrating on-board sensors for global hybrid robust stabilization of unicycles. Automatica, 2026, 183, pp.112502. ⟨10.1016/j.automatica.2025.112502⟩. ⟨hal-05004452⟩

Agustín G. Yabo, Nicolas Augier. On L¹ and time-optimal state transitions in piecewise linear models of gene-regulatory networks. Nonlinear Analysis: Hybrid Systems, 2026, 59, pp.101650. ⟨10.1016/j.nahs.2025.101650⟩. ⟨hal-04820387v3⟩

Chapitres d’ouvrages

Andrea Bisoffi, Luca Zaccarian. Nonlinear Friction Effect Compensation. Encyclopedia of Systems and Control Engineering, 2, Elsevier, pp.185-196, 2026, ⟨10.1016/B978-0-443-14081-5.00173-2⟩. ⟨hal-05371854⟩

2025

Articles dans une revue

Mathieu Bajodek, Fernando Castaños, Sabine Mondié. State prediction using a high-gain distributed scheme. Automatica, 2025, 175, pp.112219. ⟨10.1016/j.automatica.2025.112219⟩. ⟨hal-04267738⟩

Loïc Michel, Caroline Braud, Jean-Pierre Barbot, Franck Plestan, Dimitri Peaucelle, et al.. Comparison of different feedback controllers on an airfoil benchmark. Wind Energy Science, 2025, 10 (1), pp.177 - 191. ⟨10.5194/wes-10-177-2025⟩. ⟨hal-04908368⟩

Haimiao Mo, Juan Liang, Bing Li, Zhijian Hu, Meng Yi, et al.. A Noninvasive Framework for Heart Function Assessment by Multitask Learning. IEEE Transactions on Instrumentation and Measurement, 2025, 74, pp.4005713. ⟨10.1109/TIM.2025.3553885⟩. ⟨hal-05204346⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Flow-shop and job-shop robust scheduling problems with budgeted uncertainty. European Journal of Operational Research, 2025, 326 (1), pp.54-68. ⟨10.1016/j.ejor.2025.04.012⟩. ⟨hal-05051989⟩

María Camila Merchán-Riveros, Antonino Sferlazza, Giovanni Garraffa, Luca Zaccarian, Carolina Albea-Sanchez. Robustly stabilizing min-type control for a multi-input DC-DC converter with output load estimation. IEEE Control Systems Letters, 2025, 9, pp.1135-1140. ⟨10.1109/LCSYS.2025.3579413⟩. ⟨hal-05040202⟩

Anubhab Dasgupta, Aneel Tanwani. Steady State Analysis for Kalman Filters with Poisson-Sampled Observations. Systems and Control Letters, 2025, 204, pp.106209. ⟨10.1016/j.sysconle.2025.106209⟩. ⟨hal-04798886v2⟩

Julien Codsi, Sandra Ulrich Ngueveu, Bernard Gendron. LinA: A faster approach to piecewise linear approximations using corridors and its application to mixed-integer optimization. Mathematical Programming Computation, 2025, ⟨10.1007/s12532-024-00274-8⟩. ⟨hal-03336003v2⟩

Karolı́na Sehnalová, Didier Henrion, Milan Korda, Martin Kružík. Solving unbounded optimal control problems with the moment-SOS hierarchy *. IEEE Control Systems Letters, 2025, 9, pp.288 - 293. ⟨10.1109/LCSYS.2025.3572074⟩. ⟨hal-04992776v2⟩

Igor Klep, Victor Magron, Jurij Volčič. Sums of squares certificates for polynomial moment inequalities. Foundations of Computational Mathematics, 2025, ⟨10.1007/s10208-025-09703-z⟩. ⟨hal-04125262⟩

Andreu Cecilia, Samuele Zoboli, Daniele Astolfi, Ulysse Serres, Vincent Andrieu. Generalized Lyapunov conditions for k-contraction: analysis and feedback design. IEEE Transactions on Automatic Control, In press, ⟨10.1109/TAC.2025.3605299⟩. ⟨hal-04300588v3⟩

Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion. Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation. Automatica, 2025, 179, pp.112402. ⟨10.1016/j.automatica.2025.112402⟩. ⟨hal-04570185v2⟩

Shenyu Liu, Aneel Tanwani. Impulsive switching signals with functional inequalities: Stability analysis using hybrid systems framework. Automatica, 2025, 171, pp.111928. ⟨10.1016/j.automatica.2024.111928⟩. ⟨hal-04707528⟩

Muhammad Zaki Almuzakki, Bayu Jayawardhana, Aneel Tanwani, Antonis Vakis. Exponential stabilization of linear systems using nearest-action control with countable input set. Systems and Control Letters, 2025, 196, pp.105992. ⟨10.1016/j.sysconle.2024.105992⟩. ⟨hal-04826783⟩

Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes. An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3770066⟩. ⟨hal-04709615v2⟩

Jean-Bernard Lasserre. A hierarchy of convex relaxations for the total variation distance. Mathematical Programming, Series A, In press, 8 p. ⟨10.1007/s10107-025-02293-2⟩. ⟨hal-04367575v4⟩

Lucie Baudouin, Maya de Buhan, Emmanuelle Crépeau, Julie Valein. Carleman-Based Reconstruction Algorithm on a wave Network. Mathematics of Control, Signals, and Systems, 2025, 37, pp.621-660. ⟨10.1007/s00498-025-00413-z⟩. ⟨hal-04361363⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie‐josé Huguet, Mohamed Siala. Taming the Triangle: On the Interplays between Fairness, Interpretability and Privacy in Machine Learning. Computational Intelligence, 2025, 41 (4), ⟨10.1111/coin.70113⟩. ⟨hal-04359832v2⟩

Jean B Lasserre. An extension of the mean value theorem. The Mathematical Intelligencer, 2025, 4 p. ⟨10.1007/s00283-025-10471-5⟩. ⟨hal-05289719⟩

Julien Ferry, Ulrich Aïvodji, Sébastien Gambs, Marie‐josé Huguet, Mohamed Siala. Taming the Triangle: On the Interplays Between Fairness, Interpretability, and Privacy in Machine Learning. Computational Intelligence, 2025, 41 (4), pp.e70113. ⟨10.1111/coin.70113⟩. ⟨hal-05426824⟩

Takumi Iwata, Shun-Ichi Azuma, Masaaki Nagahara, Dimitri Peaucelle, Yoshio Ebihara. Data Informativity for Analysis and Design of Positive Systems. IEEE Control Systems Letters, 2025, 1 - 1, pp.2475-1456. ⟨10.1109/LCSYS.2025.3638814⟩. ⟨hal-05394706⟩

Alexandre Gaffet, Pauline Ribot, Elodie Chanthery, Christophe Merle. Multi-block local outlier factor anomaly detection of complex industrial systems. Applied Intelligence, 2025, 55 (10), pp.753. ⟨10.1007/s10489-025-06603-1⟩. ⟨hal-05119175⟩

Anna Sztyber-Betley, Elodie Chanthery, Louise Travé-Massuyès, Gustavo Pérez-Zuñiga. Diagnosis test selection for distributed systems under communication and privacy constraints. Applied Intelligence, 2025, 55 (7), pp.647. ⟨10.1007/s10489-025-06543-w⟩. ⟨hal-05119150⟩

Mareike Dressler, Simon Foucart, Mioara Joldes, Etienne de Klerk, Jean-Bernard Lasserre, et al.. Optimization-Aided Construction of Multivariate Chebyshev Polynomials. Journal of Approximation Theory, 2025, 305, pp.106116. ⟨10.48550/arXiv.2405.10438⟩. ⟨hal-04727486⟩

Philipp Braun, Giulia Giordano, Christopher M. Kellett, Iman Shames, Luca Zaccarian. Optimizing shifted stabilizers with asymmetric input saturation. IEEE Transactions on Automatic Control, 2025, 70 (2), pp.751 - 766. ⟨10.1109/TAC.2024.3436728⟩. ⟨hal-03586545v2⟩

Jean B Lasserre. A laplace duality for integration. IEEE Control Systems Letters, 2025, 9, pp.168 - 173. ⟨10.1109/LCSYS.2025.3567851⟩. ⟨hal-04970360v3⟩

Luis Enciso-Salas, Gustavo Pérez-Zuñiga, Javier Sotomayor-Moriano, Elodie Chanthery, Edgar Hernando Sepúlveda-Oviedo, et al.. A bibliometric literature review of integrated data and model based diagnosis approaches for the industry 4.0. International Journal of Systems Science, 2025, pp.1-28. ⟨10.1080/00207721.2025.2550562⟩. ⟨hal-05249774⟩

Zeineb Touati, Giacomo Moretti, Adel Khedher, Luca Zaccarian. Control and maximum power extraction of a switched reluctance generator with low resolution pulse-based position estimation. Journal of The Franklin Institute, 2025, 362 (11), pp.107757. ⟨10.1016/j.jfranklin.2025.107757⟩. ⟨hal-05371836⟩

Alessio La Bella, Marcello Farina, William D’amico, Luca Zaccarian. Regional stability conditions for recurrent neural network-based control systems. Automatica, 2025, 174, pp.112127. ⟨10.1016/j.automatica.2025.112127⟩. ⟨hal-05371842⟩

Saroj Prasad Chhatoi, Didier Henrion, Swann Marx, Nicolas Seguin. Optimizing quasi-dissipative evolution equations with the moment-SOS hierarchy. Discrete and Continuous Dynamical Systems - Series A, 2025, 45 (11), pp.4139-4159. ⟨10.3934/dcds.2025051⟩. ⟨hal-04828131v3⟩

Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz, Mateusz Skomra. Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games. Information and Computation, 2025, 302, pp.105236. ⟨10.1016/j.ic.2024.105236⟩. ⟨hal-04859637⟩

Riccardo Bertollo, Gianni Lunardi, Andrea del Prete, Luca Zaccarian. Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading. Automatica, 2025, 174, pp.112106. ⟨10.1016/j.automatica.2024.112106⟩. ⟨hal-05371849⟩

Lucie Baudouin, A Imba, A Mercado, A Osses. Lipschitz Stability of an Inverse Problem of Transmission Waves with Variable Jumps. Inverse Problems, 2025, 41 (4), pp.045007. ⟨10.1088/1361-6420/adc0b6⟩. ⟨hal-04688851⟩

Edgar Hernando Sepúlveda-Oviedo, Louise Travé-Massuyès, Audine Subias, Marko Pavlov, Corinne Alonso. Artificial intelligence in photovoltaic fault diagnosis: A Natural Language-Based Topic-tSNE Fusion analysis. Energy and AI, 2025, 21, pp.100558. ⟨10.1016/j.egyai.2025.100558⟩. ⟨hal-05251841⟩

Víctor Blanco, Victor Magron, Miguel Martínez-Antón. On the Complexity of p-Order Cone Programs. Journal of Complexity, 2025, 91, pp.101979. ⟨10.1016/j.jco.2025.101979⟩. ⟨hal-04896611⟩

Matteo Della Rossa, Aneel Tanwani. Converse Lyapunov Results for Stability of Switched Systems with Average Dwell-Time. ESAIM: Control, Optimisation and Calculus of Variations, 2025, 31 (15), ⟨10.1051/cocv/2025006⟩. ⟨hal-04616636v2⟩

Aneel Tanwani, Hyungbo Shim, Andrew Teel. Singularly Perturbed Hybrid Systems for Analysis of Networks with Frequently Switching Graphs. IEEE Transactions on Automatic Control, 2025, 70 (7), pp.4344 - 4359. ⟨10.1109/TAC.2024.3523242⟩. ⟨hal-04855233⟩

Rhyd Lewis, Louis Bonnet. Exact algorithms in bar nesting: How to cut general items from linear stocks so that wastage is minimised. Computers & Industrial Engineering, 2025, 200, pp.110838. ⟨10.1016/j.cie.2024.110838⟩. ⟨hal-05069687⟩

Alexandre Cellier-Devaux, Luca Zaccarian, Daniele Astolfi, Vincent Andrieu. Synchronization of Multi-Agent Hybrid Systems With Synchronous State-Dependent Jumps. IEEE Control Systems Letters, 2025, 9, pp.1586-1591. ⟨10.1109/LCSYS.2025.3583739⟩. ⟨hal-05371847⟩

Alessandro Agnetis, Jean-Charles Billaut, Michael Pinedo, Dvir Shabtay. Fifty Years of Research in Scheduling – Theory and Applications. European Journal of Operational Research, 2025, 327 (2), pp.367-393. ⟨10.1016/j.ejor.2025.01.034⟩. ⟨hal-05133397⟩

Livres

Pascal Vanier (Dir.). Informatique Fondamentale et ses Mathématiques : Une photographie en 2025. CNRS Éditions, 2025, Informatique Fondamentale et ses Mathématiques, 978-2-271-15855-0. ⟨hal-05365250⟩

Communications dans un congrès

Sara Callegari, Dimitri Peaucelle, Frédéric Gouaisbaut, Yoshio Ebihara, Masayuki Sato. Improved S-variable results applied to the analysis of time-varying uncertain systems. IFAC Symposium on Robust Control Design (ROCOND’25), Jul 2025, Porto, Portugal. ⟨hal-04934289⟩

Emmanuel Hebrard. Disjunctive Scheduling in Tempo. The 31st International Conference on Principles and Practice of Constraint Programming, Aug 2025, Glasgow, United Kingdom. ⟨hal-05104317⟩

Elouan Blanchard, Cyrille Briand, Mohamed Amine Abdeljaouad. Planification des tâches d'une flotte de robots mobiles autonomes pour la logistique interne de systèmes de production. ROADEF 2025 - 26ème Congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2025, Champs sur Marne, France. ⟨hal-05327821⟩

Xiao Peng, Christine Solnon. BFS-Based Canonical Codes for Generating Graphs with Constraint Programming. 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.CP.2025.41⟩. ⟨hal-05104512⟩

Dimitri Peaucelle. Descriptor System Modeling for Robustness in Control. IFAC Lecture, Apr 2025, Vienna, Austria. ⟨hal-05094583⟩

Dimitri Hubans, Laurent Houssin, Sonia Cafieri. Couverture partielle de réseaux sous incertitude. ROADEF 2025, Feb 2025, Champs-sur-Marne, France. ⟨10.1016/j.cor.2021.105493⟩. ⟨hal-05087052⟩

Swantje Plambeck, Maximilian Schmidt, Louise Travé-Massuyès, Goerschwin Fey. One-Shot Learning in Hybrid System Identification: A New Modular Paradigm. 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025), Sep 2025, Nashville (Tenessee), United States. ⟨10.4230/OASIcs.DX.2025.7⟩. ⟨hal-05367380⟩

Tim Luchterhand, Emmanuel Hebrard, Sylvie Thiébaux. Understanding the Impact of Value Selection Heuristics in Scheduling Problems. International Conference on Principles and Practice of Constraint Programming (CP-25), Aug 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.CP.2025.27⟩. ⟨hal-05226755⟩

Julien Rouzot, Emmanuel Hebrard, Christian Artigues, Philippe Garnier, Pierre Lopez, et al.. Scheduling Data Transfer with Priorities and Interruptions for Space Missions. International Workshop on Planning and Scheduling for Space, Apr 2025, Toulouse, France. ⟨hal-05201400⟩

Marco Sterlini, Samuele Zoboli, Sophie Tarbouriech. Layer-wise dynamic event-triggered neural network control for discrete-time nonlinear systems. 13th IFAC Symposium on Nonlinear Control Systems NOLCOS 2025:, IFAC, Jul 2025, Reykjavik, Iceland. pp.1-6, ⟨10.1016/j.ifacol.2025.11.001⟩. ⟨hal-04870932v2⟩

Tanguy Terrien, Cyrille Briand, M Goutheraud, P Truillet. Towards a human-centered decision support system for scheduling with shifts. IFAC-MIM25, Jun 2025, Trondheim, France. ⟨hal-05116173⟩

Cyrille Equoy, Cyrille Briand, Frédéric Lerasle. Partitionnement en cliques à coût minimum de graphes orientés avec contraintes de flot. 26ème Congrès annuel de la société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2025, Champs Sur Marne, France. ⟨hal-05127292⟩

Camille Lescuyer, Christian Artigues, Jean-Thomas Camino, Cédric Pralet. Decomposition methods for beam-layout optimization. ROADEF 2025 - Congrès de la Société Française de Recherche Opérationnelle et dAide à la Décision, Feb 2025, Marne la Vallée, France. ⟨hal-05120253⟩

Aneel Tanwani. Interacting Kalman Filters for Linear Systems with Coupling Based on Empirical Covariances. IEEE Conference on Decision and Control, Dec 2025, Rio de Janeiro, Brazil. ⟨hal-05394048⟩

Falak Zentout, Jesus-Pablo Toledo-Zucco, Lucie Baudouin, Denis Matignon. Schrödinger and Euler-Bernoulli beam equations: structure-preserving discretization and equivalence as port-Hamiltonian systems. IEEE Conference on Decision and Control, Dec 2025, Rio de Janeiro (BRAZIL), Brazil. ⟨hal-05419201⟩

Denis Arzelier, Fabrizio Dabbene, Mioara Joldeş, Martina Mammarella, Matthieu Masson, et al.. An evaluation of Sample Average Approximation applied to the design of impulsive thrust space collision avoidance maneuvers. IFAC Workshop on Control Aspects of Multi-Satellite Systems, IFAC, Oct 2025, Wurzburg, Germany. ⟨hal-05280385⟩

Guillaume Poujade, Jean-Charles Billaut, Denis Martouzet, Jean-François Raze. La vulnérabilité des Réseaux d'Innovation : une démarche originale. 26ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2025), Ecole des Ponts, Champs-sur-Marne, Feb 2025, Champs-sur-Marne, France. ⟨hal-05133427⟩

Léonie Hatte, Pauline Ribot, Elodie Chanthery. Dynamic time series segmentation for health monitoring of hybrid systems. IEEE SMC 2025, Oct 2025, Vienne, Austria. ⟨hal-05319855⟩

Adrien Callico, Jean-Charles Billaut, Pierre Desport, Caroline Prodhon. Méthodes approchées pour le partage de livraisons dans les circuits courts alimentaires. ROADEF 2025, Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2025, Champs-Sur-Marne, France. ⟨10.1016/j.ejor.2017⟩. ⟨hal-05129431⟩

Théo Le Brun, Marie-José Huguet, Sandra Ulrich Ngueveu, Romulus Grigoras. A Green Transportation Problem for E-commerce Deliveries. 14th International Conference on Operations Research and Enterprise Systems (ICORES), Feb 2025, Porto (Portugal), Portugal. ⟨hal-04880295⟩

Denis Arzelier, Mioara Joldeş, Matthieu Masson. Efficient Evaluation of 2-D Collision Probability Derivatives for Uncertain k-scaled Covariances: A PcMax Case Study. AAS/AIAA Spaceflight Mechanics, AIAA, Jan 2025, Kaua'i, United States. ⟨hal-04710373⟩

Sena Ozgunay, Louise Travé-Massuyès, Jean-Michel Loubes, Raul Sena Ferreira. Detecting Anomalies Using Graph Neural Networks: A Review. 23es Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2025), Plate-Forme Intelligence Artificielle, Jun 2025, Dijon, France. ⟨hal-05002338v3⟩

Adrien Callico, Jean-Charles Billaut, Pierre Desport, Caroline Prodhon. Metaheuristic methods for the VRP with shared deliveries in short food supply chains. VeRoLog 2025, Department of Industrial Engineering of the University of Trento, Jun 2025, Trento (Italy), Italy. ⟨hal-05129443⟩

Bastien Barbe, Xiao Peng, Anastasia Volkova, Florent de Dinechin. Towards optimal reconfigurable constant multipliers. 28th Conference on Digital System Design (DSD), Euromicro, Sep 2025, Salerno, Italy. pp.418-425, ⟨10.1109/DSD67783.2025.00064⟩. ⟨hal-05094796v2⟩

M. Di Ferdinando, P. Pepe, S. Di Gennaro, Sophie Tarbouriech. On Regional Sampled-Data Control of Nonlinear Time-Delay Systems with Input Saturation Constraints. 19th IFAC Workshop on Time Delay Systems TDS 2025, IFAC, Jun 2025, Gif -sur-Yvette, France. pp.40 - 45, ⟨10.1016/j.ifacol.2025.10.008⟩. ⟨hal-05393791⟩

Arthur Thomas, Lucie Baudouin, Alexandre Seuret. Stability analysis and design of an event-triggered control scheme for a coupled ODE-heat PDE system. ⋆. Joint IFAC SSSC/TDS/COSY Conference 2025, Jun 2025, Gif sur Yvette, France. ⟨10.13039/501100011033/⟩. ⟨hal-05147524⟩

Esteban Morales-Aguirre, Samy Labsir, Benoît Priot, Clément Gazzino, Gaël Pages. Lie Group Based Approach for GNSS Signal Phase Modeling. ICL-GNSS 2025 - International Conference on Localization and GNSS, Jun 2025, Rome, Italy. pp.1-6, ⟨10.1109/ICL-GNSS65520.2025.11046120⟩. ⟨hal-05215678⟩

Tanguy Terrien, Cyrille Briand, Philippe Truillet. Preemptive shift-based scheduling with maximum workload constraints. ROADEF 2025, Feb 2025, Champs-sur-Marne, France. ⟨hal-04832630⟩

Cyrille Equoy, Alessandro Goldwurm, Cyrille Briand, Frédéric Lerasle. A New Path-Oriented Optimization Procedure for Consistent Person Reidentification in a Camera Network. 2025 IEEE International Conference on Advanced Visual and Signal-Based Systems (AVSS), Aug 2025, Tainan, Taiwan. pp.1-6, ⟨10.1109/AVSS65446.2025.11149973⟩. ⟨hal-05288927⟩

Anna Sztyber-Betley, Elodie Chanthery, Louise Travé-Massuyès, Silke Merkelbach, Karol Kukla, et al.. Are Diagnostic Concepts Within the Reach of LLMs?. 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025), Sep 2025, Nashville, United States. pp.2:1--2:20, ⟨10.4230/OASIcs.DX.2025.2⟩. ⟨hal-05413622⟩

Lucas Lima Lopes, Louise Travé-Massuyès, Carine Jauberthie, Guillaume Alcalay. A Neural Double Observer Scheme Based on LSTMs for Air Data Fault Detection and Isolation. 64th IEEE Conference on Decision and Control (CDC 2025), Dec 2025, Rio de janeiro, Brazil. ⟨hal-05367353⟩

Louis Bonnet, Simon Belieres, Mike Hewitt, Sandra Ulrich Ngueveu. Iterative aggregation and disaggregation of commodities for the scheduled service network design problem. ROADEF 2025, Feb 2025, Champs-sur-Marne, France. ⟨hal-05069661⟩

Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, et al.. On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O’Shea-Zames-Falb Multipliers. 2025 European Control Conference (ECC), Jun 2025, Thessaloniki, France. pp.1237-1242, ⟨10.23919/ECC65951.2025.11186908⟩. ⟨hal-05350958⟩

Manuel Bodirsky, Georg Loho, Mateusz Skomra. Reducing Stochastic Games to Semidefinite Programming. 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Jul 2025, Aarhus, Denmark. pp.145:1-145:15, ⟨10.4230/LIPIcs.ICALP.2025.145⟩. ⟨hal-05388185⟩

Théo Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova. A new Constraint Programming model for the Multiple Constant Multiplication. ModRef 2025 - 24th workshop on Constraint Modelling and Reformulation, Aug 2025, Glasgow, United Kingdom. ⟨hal-05251229⟩

Elouan Blanchard, Cyrille Briand, Mohamed Amine Abdeljaouad. Planification des activités d'une flotte de robots mobiles autonomes pour la logistique interne de systèmes de production. 19ème Colloque national S.mart, Pôle S.mart Rhône-Alpes Ouest, May 2025, Vogüé, France. ⟨hal-05207636⟩

Louis Goupil, Louise Travé-Massuyès, Elodie Chanthery. Tree-Based Diagnosis Enhanced with Meta-Knowledge and Discovery of Analytical Redundancy Relations. 3ème Congrès Annuel de la SAGIP, SAGIP, May 2025, Mulhouse, France. ⟨hal-05021645⟩

Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara, Dimitri Peaucelle, Sophie Tarbouriech, et al.. Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems. 11th IFAC Symposium on Robust Control Design ROCOND 2025, Jul 2025, Porto, Portugal. pp.242-247, ⟨10.1016/j.ifacol.2025.10.110⟩. ⟨hal-04985724⟩

Julien Rouzot, Mickaël Pereira, Christian Artigues, Romain Boyer, Frédéric Camps, et al.. Integer and Constraint Programming for the Offline Nanosatellite Partition Scheduling Problem. 22th International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2025), Melbourne (Australia), November 10-13, 2025., Nov 2025, Melbourne, Australia. ⟨hal-05058427⟩

Guillaume Poujade, Denis Martouzet, Jean-Charles Billaut, Jean-François Raze. Limiter le cyberharcèlement : une approche basée sur les modèles de Localisation-Interdiction. Colloque « Nouvelles perspectives en sciences sociales », Jun 2025, Tours, France. ⟨hal-05138515⟩

Comptes rendus de conférences

Jesus-Pablo Toledo-Zucco, Frédéric Gouaisbaut, Gaetan Chapput. Reduced-order Smith predictor for state feedback control with guaranteed stability. ECC2026, Jul 2026, Reykjavík, Iceland. 2025. ⟨hal-05397775⟩

Kélian Poujade, Jérémy Pirard, Louise Travé-Massuyès, Laure Vieillevigne. 3604 Artificial Intelligence-driven failure prediction on TomoTherapy® systems. ESTRO meeting 2025, May 2025, VIENNE, France. Radiotherapy & Oncology, 206, Elsevier, pp.S3428-S3429, 2025, ⟨10.1016/S0167-8140(25)01827-4⟩. ⟨hal-05209100⟩

Rapports

Giovanni Fantuzzi, David Goluskin, Jean Bernard Lasserre. Polynomial Optimization for Nonlinear Dynamics: Theory, Algorithms and Applications. Oberwolfach Institute. 2025, pp.1975-2032. ⟨hal-04954840⟩

Julien Rouzot, C Artigues, Philippe Garnier, E Hebrard, Pierre Lopez, et al.. Scheduling Data Transfers in Space Missions with Priorities and Interruptions: Technical Report. LAAS - CNRS; IRAP. 2025. ⟨hal-05264958⟩

Pré-publications, documents de travail

Jean B Lasserre. Rank conditions for exactness of semidefinite relaxations in polynomial optimization. 2025. ⟨hal-04877125⟩

Claudio Contardo, Sandra Ulrich Ngueveu. On the approximation of separable non-convex optimization programs to an arbitrary numerical precision. 2025. ⟨hal-03336022v3⟩

Bernard Brogliato, Aneel Tanwani. Passivity Preservation in Interconnections of Linear Cone Complementarity Systems with State Jumps. 2025. ⟨hal-04137144v4⟩

Didier Henrion. Solving Stengle's Example in Rational Arithmetic: Exact Values of the Moment-SOS Relaxations. 2025. ⟨hal-05427875⟩

Younes Naceur, Jie Wang, Victor Magron, Antonio Acín. Certified bounds on optimization problems in quantum theory. 2025. ⟨hal-05428967⟩

Andreas Bluhm, Eric Evert, Igor Klep, Victor Magron, Ion Nechita. Inclusion constants for free spectrahedra with applications to quantum incompatibility. 2025. ⟨hal-05429010⟩

Igor Klep, Victor Magron, Jurij Volčič. Complete Upper Bound Hierarchies for Spectral Minimum in Noncommutative Polynomial Optimization. 2025. ⟨hal-04875437⟩

Christian Artigues, Pascale Bendotti, Alexandre Heintzmann, Sandra Ulrich Ngueveu, Cécile Rottner. BORWin: Exact algorithm based on a Bi-Objective Relaxation for Window-constrained problems. 2025. ⟨hal-05269754⟩

Sara Callegari, Frédéric Gouaisbaut, Dimitri Peaucelle. LMI results using IQCs and projections for the heat equation coupled to ODEs. 2025. ⟨hal-05038192⟩

Lucie Baudouin, Sylvain Ervedoza. Event triggered control and exponential stability for infinite dimensional linear systems. 2025. ⟨hal-05202758⟩

Didier Henrion, Martin Kružík. Polyconvex double well functions. 2025. ⟨hal-05214221v3⟩

Jared Miller, Niklas Schmid, Matteo Tacchi, Didier Henrion, Roy Smith. Peak Time-Windowed Risk Estimation of Stochastic Processes. 2025. ⟨hal-05206305⟩

Riccardo Ballaben, Alessandro Astolfi, Philipp Braun, Luca Zaccarian. Towards global stabilization of a hovercraft model using hybrid systems and discontinuous feedback laws. 2025. ⟨hal-05224396⟩

Beatrice Zambotti, Vincent Andrieu, Daniele Astolfi, Laurent Bako, Madiha Nadri, et al.. Exponentially Stable Stubborn Observers for Discrete-Time Linear Systems (Extended Version). 2025. ⟨hal-05229530⟩

Didier Henrion. Positively not SOS: pseudo-moments and extreme rays in exact arithmetic. 2025. ⟨hal-05231643⟩

Camille Lescuyer, Christian Artigues, Jean-Thomas Camino, Cédric Pralet. E-compagnion:Decomposition methods for the beam-layout optimization problem. 2025. ⟨hal-04901891v2⟩

Igor Klep, Victor Magron, Tobias Metzlaff, Jie Wang. Exploiting Term Sparsity in Symmetry-Adapted Basis for Polynomial Optimization. 2025. ⟨hal-05380867⟩

Srećko Ðurašinović, Perla Azzi, Jean-Bernard Lasserre, Victor Magron, Olga Mula, et al.. Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations. 2025. ⟨hal-04913273⟩

Agustín G. Yabo, Nicolas Augier. On the optimal control of birhythmic oscillatory PWA systems: an application to the p53-Mdm2 network. 2025. ⟨hal-05169439v2⟩

Poujade Kélian, Travé-Massuyès Louise, Pirard Jérémy, Vieillevigne Laure. B-Variational Autoencoder based Anomaly Detection in Log Data - Application to radiotherapy systems. 2025. ⟨hal-05209127⟩

Victor Magron. Convergence rates for polynomial optimization on set products. 2025. ⟨hal-05086019⟩

Jan Belák, Didier Henrion, Martin Hromčík. Fast control allocation algorithm for tilt-rotor VTOL aircraft. 2025. ⟨hal-04962061⟩

Dimitri Peaucelle, Sara Callegari, Yoshio Ebihara, Yohei Hosoe, Masayuki Sato. S-variable approach for generic convex polyhedra. 2025. ⟨hal-05420566⟩

Didier Henrion. Maximal entropy in the moment body. 2025. ⟨hal-05092147v2⟩

Llorenç Balada Gaggioli, Jakub Mareček. Time evolution of controlled many-body quantum systems with matrix product operators. 2025. ⟨hal-05285687⟩

Marouan Handa, Marek Tyburec, Giovanni Fantuzzi, Victor Magron, Michal Kočvara. Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization. 2025. ⟨hal-05240295⟩

Camille Lescuyer, Cédric Pralet, Christian Artigues, Jonathan Guerra, Thibaut Wenger. Resource Allocation for a Constellation of Low Earth Orbit Telecommunication Satellites: Optimization of the User-Satellite Link Network. 2025. ⟨hal-04968105⟩

Rufus Lawrence, Aleš Wodecki, Johannes Aspman, Llorenç Balada Gaggioli, Jakub Mareček. On the Random Schrödinger Equation and Geometric Quantum Control. 2025. ⟨hal-05289761⟩

Sami Halaseh, Victor Magron, Mateusz Skomra. Finite Convergence of the Moment-SOS Hierarchy on the Product of Spheres. 2025. ⟨hal-05415837⟩

Kaouther Moussa, Dimitri Peaucelle. Covariance Control for a class of Stochastic Discrete-time Linear Systems using the S-Variable Approach. 2025. ⟨hal-05395012⟩

Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion. Optimal Control of State Constrained Systems via Measure Relaxations and Polynomial Optimization. 2025. ⟨hal-05345286⟩

Srecko Durasinovic, Jean B Lasserre, Victor Magron. Mixtures Closest to a Given Measure: A Semidefinite Programming Approach. 2025. ⟨hal-05289733⟩

Louis Bonnet, Simon Belieres, Mike Hewitt, Sandra Ulrich Ngueveu. A Complex Network Analysis Approach for Generating Realistic Instances of the Scheduled Service Network Design Problem. 2025. ⟨hal-05345829⟩

Didier Henrion. Density, Determinacy, Duality and a Regularized Moment-SOS Hierarchy. 2025. ⟨hal-05398991⟩

Victor Magron, Saroj Prasad Chhatoi. Approximating the order 2 quantum Wasserstein distance using the moment-SOS hierarchy. 2025. ⟨hal-05132133⟩

Olga Yufereva, Aneel Tanwani. Asymptotics of Ensemble Filters for Linear Stochastic Systems with Poisson-Sampled Observations. 2025. ⟨hal-05402213⟩

Nicolas Augier, Milan Korda, Rodolfo Rios-Zertuche. Young measure relaxation gaps for controllable systems with smooth state constraints. 2025. ⟨hal-05405473⟩

Nicolas Augier, Milan Korda, Rodolfo Rios-Zertuche. Sufficient conditions for the absence of relaxation gaps in state-constrained optimal control. 2025. ⟨hal-05405477⟩

François Lamothe, Sandra Ulrich Ngueveu. Approximating the Shapley value with sampling : survey and new stratification techniques. 2025. ⟨hal-04995993⟩

Saroj Prasad Chhatoi, Jean B Lasserre. Shannon-and von neumann-entropy regularizations of linear and semidefinite programs. 2025. ⟨hal-05010676v2⟩

Llorenç Balada Gaggioli, Didier Henrion, Milan Korda. Global optimization of low-rank polynomials. 2025. ⟨hal-05406300⟩

2024

Articles dans une revue

Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian. Integrate-and-Reset Feedback and Feedforward for a Solenoid With Unknown Parameters. IEEE Control Systems Letters, 2024, 8, pp.1511-1516. ⟨10.1109/LCSYS.2024.3413360⟩. ⟨hal-04776122⟩

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⟩

Idir Hamaz, Laurent Houssin, Sonia Cafieri. The robust cyclic job shop problem. European Journal of Operational Research, 2024, 312 (3), pp.855-865. ⟨10.1016/j.ejor.2023.07.042⟩. ⟨hal-03683608v2⟩

Renjie Ma, Zhijian Hu. Deep Neural Network-Controlled Safety-Critical Systems With Uncertainty Resilience. IEEE Internet of Things Journal, 2024, 11 (13), pp.24061 - 24072. ⟨10.1109/jiot.2024.3389458⟩. ⟨hal-04555816⟩

Julien Ferry, Gabriel Laberge, Ulrich Aïvodji. Learning Hybrid Interpretable Models: Theory, Taxonomy, and Methods. Transactions on Machine Learning Research Journal, 2024. ⟨hal-04010590⟩

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⟩

Benoît Bonnet-Weill, Hélène Frankowska. Carathéodory Theory and A Priori Estimates for Continuity Inclusions in the Space of Probability Measures. Nonlinear Analysis: Theory, Methods and Applications, 2024, 247, pp.113595. ⟨10.1016/j.na.2024.113595⟩. ⟨hal-03969118v2⟩

Kai Zhang, Meilin Li, Zhijian Hu, Xuefei Yang, Kang-Kang Zhang. Periodic Event-Triggered and Self-Triggered Control of Spacecraft Rendezvous System With Input Delay. IEEE Transactions on Automation Science and Engineering, 2024, 22, pp.6113 - 6121. ⟨10.1109/TASE.2024.3439009⟩. ⟨hal-04675551⟩

Mathieu Bajodek, Alexandre Seuret, Frédéric Gouaisbaut. On the necessity of sufficient LMI conditions for time-delay systems arising from Legendre approximation. Automatica, 2024, 159, pp.111322. ⟨10.1016/j.automatica.2023.111322⟩. ⟨hal-03435008v3⟩

Andrea Cristofaro, Luca Zaccarian. Adaptive Pseudoinverse Observers for Output Redundant Discrete-Time Linear Systems. IEEE Transactions on Automatic Control, 2024, 69 (11), pp.7403-7417. ⟨10.1109/TAC.2024.3388129⟩. ⟨hal-04776114⟩

Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc. Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures. Discrete Event Dynamic Systems, 2024, 34 (1), pp.53-93. ⟨10.1007/s10626-023-00391-x⟩. ⟨hal-04483570⟩

Jesus-Pablo Toledo-Zucco, Denis Matignon, Charles Poussot-Vassal, Yann Le Gorrec. Structure-preserving discretization and model order reduction of boundary-controlled 1D port-Hamiltonian systems. Systems and Control Letters, 2024, 194, pp.105947. ⟨10.1016/j.sysconle.2024.105947⟩. ⟨hal-04809050⟩

Florent Koudohode, Nicolás Espitia, Miroslav Krstic. Event-triggered boundary control of an unstable reaction diffusion PDE with input delay. Systems and Control Letters, 2024, 186, ⟨10.1016/j.sysconle.2024.105775⟩. ⟨hal-04304378⟩

Mattia Giaccagli, Samuele Zoboli, Daniele Astolfi, Vincent Andrieu, Giacomo Casadei. Synchronization in networks of nonlinear systems: Contraction analysis via Riemannian metrics and deep-learning for feedback estimation. IEEE Transactions on Automatic Control, 2024, 69 (11), pp.8041-8048. ⟨10.1109/TAC.2024.3407015⟩. ⟨hal-03801100v3⟩

Santiago Pantano Calderón, Sophie Tarbouriech, Luca Zaccarian. Plant-Order Saturated Output-Feedback Regional Controller Synthesis With Sign-Indefinite Quadratic Forms. IEEE Control Systems Letters, 2024, 8, pp.562-567. ⟨10.1109/LCSYS.2024.3397693⟩. ⟨hal-04652436⟩

Didier Henrion, Adrien Le Franc, Victor Magron. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem. SIAM Journal on Applied Algebra and Geometry, 2024, 9 (1), pp.261-278. ⟨10.1137/24M1645942⟩. ⟨hal-04500960v4⟩

Vít Cibulka, Milan Korda, Tomas Hanis. Towards optimal spatio‐temporal decomposition of control‐related sum‐of‐squares programs. International Journal of Robust and Nonlinear Control, 2024, 34 (18), pp.11847-11867. ⟨10.1002/rnc.7596⟩. ⟨hal-04737856⟩

Le Toan Duong, Audine Subias, Louise Travé-Massuyès, Christophe Merle. Big data analytics for quality variation over work shifts in manufacturing systems. International Journal of Computer Integrated Manufacturing, In press, ⟨10.1080/0951192X.2024.2351529⟩. ⟨hal-04619714⟩

Yohei Hosoe, Yuki Michitani, Dimitri Peaucelle, Tomomichi Hagiwara. Stochastic Gain-Scheduled Control of Discrete-Time Systems Characterized by Random Polytopes. IEEE Control Systems Letters, 2024, 8, pp.229 - 234. ⟨10.1109/LCSYS.2024.3366179⟩. ⟨hal-04448570⟩

Giulia Maria Mattia, Edouard Villain, Federico Nemmi, Marie-Véronique Le Lann, Xavier Franceries, et al.. Investigating the discrimination ability of 3D convolutional neural networks applied to altered brain MRI parametric maps. Artificial Intelligence in Medicine, 2024, 153, pp.102897. ⟨10.1016/j.artmed.2024.102897⟩. ⟨hal-04844141⟩

Kévin Ducharlet, Louise Travé-Massuyès, Jean-Bernard Lasserre, Marie-Véronique Le Lann, Youssef Miloudi. Leveraging the Christoffel function for outlier detection in data streams. International Journal of Data Science and Analytics, In press, pp.doi.org/10.1007/s41060-024-00581-2. ⟨10.1007/s41060-024-00581-2⟩. ⟨hal-04630422⟩

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. Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩. ⟨hal-04264341⟩

Loïc Michel, Caroline Braud, Jean-Pierre Barbot, Franck Plestan, Dimitri Peaucelle, et al.. Some comments on experimental results of three lift controllers for a wind turbine blade section using an active flow control. Wind Energy Science, In press, ⟨10.5194/wes-2024-15⟩. ⟨hal-04457382⟩

Louis Rivière, Christian Artigues, Hélène Fargier. Two-stage stochastic/robust scheduling based on permutable operation groups. Annals of Operations Research, 2024, 332 (1-3), pp.645-687. ⟨10.1007/s10479-023-05639-1⟩. ⟨hal-04229958⟩

Alexandre Heintzmann, Christian Artigues, Pascale Bendotti, Sandra Ulrich Ngueveu, Cécile Rottner. A comparison of alternative models for solving a non-linear single plant Hydro Unit Commitment problem. Computers and Operations Research, 2024, 165, pp.106591. ⟨10.1016/j.cor.2024.106591⟩. ⟨hal-04729559⟩

Zhijian Hu, Qingyang Li, Pu Zhang, Ruiping Wang, Kai Zhang. A Novel Handling Method to Intermittent Feedback in Load Frequency Regulation for Renewable Energy-Dominated Microgrids. IEEE Transactions on Instrumentation and Measurement, 2024, 73, ⟨10.1109/TIM.2024.3457958⟩. ⟨hal-04732942⟩

Christian Artigues, Emmanuel Hébrard, Alain Quilliot, Hélène Toussaint. The Continuous Time-Resource Trade-off Scheduling Problem with Time Windows. INFORMS Journal on Computing, 2024, 36 (6), pp.1359-1756. ⟨10.1287/ijoc.2022.0142⟩. ⟨hal-04610399⟩

Andrea Mattioni, Christophe Prieur, Sophie Tarbouriech. Control design for beam stabilization with self-sensing piezoelectric actuators: managing presence and absence of hysteresis. Mathematics of Control, Signals, and Systems, 2024, 36, pp.979-1008. ⟨10.1007/s00498-024-00393-6⟩. ⟨hal-04659186⟩

Jean-Bernard Lasserre. The Moment-SOS hierarchy: Applications and related topics. Acta Numerica, 2024, 33, pp.841-908. ⟨10.1017/S0962492923000053⟩. ⟨hal-04687963⟩

Carine Jauberthie, Nathalie Verdière, Louise Travé-Massuyès. Functional Diagnosability of Possibly Uncertain Systems. IEEE Control Systems Letters, 2024, 8, pp.2181-2186. ⟨10.1109/LCSYS.2024.3456230⟩. ⟨hal-04703936⟩

Jean-Bernard Lasserre. Gaussian mixtures closest to a given measure via optimal transport. Comptes Rendus. Mathématique, 2024, 362, pp.1455-1473. ⟨10.5802/crmath.657⟩. ⟨hal-04560365⟩

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⟩

Philipp Braun, Abhishek Bhardwaj, Mirko Brentari, Luca Zaccarian, Matteo Saveriano. Static anti-windup with shifted equilibria applied to a Segway-like vehicle. Automatica, 2024, 169, pp.111830. ⟨10.1016/j.automatica.2024.111830⟩. ⟨hal-04776120⟩

Baparou Danhane, Jérôme Lohéac. Ensemble controllability of parabolic type equations. Systems and Control Letters, 2024, 183, pp.105683. ⟨10.1016/j.sysconle.2023.105683⟩. ⟨hal-04174446v2⟩

Jean-Bernard Lasserre. The Christoffel function: Applications, connections and extensions. Numerical Algebra, Control and Optimization, In press, ⟨10.3934/naco.2024011⟩. ⟨hal-04488686⟩

Joseph Breeden, Luca Zaccarian, Dimitra Panagou. Robust Safety-Critical Control for Systems With Sporadic Measurements and Dwell Time Constraints. IEEE Control Systems Letters, 2024, 8, pp.1415 - 1420. ⟨10.1109/LCSYS.2024.3410631⟩. ⟨hal-04605927⟩

Edgar Hernando Sepúlveda-Oviedo, Leonardo Enrique Bermeo Clavijo, Luis Carlos Méndez-Córdoba. Effect of timing of umbilical cord clamping and birth on fetal to neonatal transition: OpenModelica-based virtual simulator-based approach. Biocybernetics and Biomedical Engineering, 2024, 44 (3), pp.716-730. ⟨10.1016/j.bbe.2024.08.008⟩. ⟨hal-04687787⟩

Francesco Ferrante, Sophie Tarbouriech. Sampled-data feedback control design in the presence of quantized actuators. Nonlinear Analysis: Hybrid Systems, 2024, 54, pp.101530. ⟨10.1016/j.nahs.2024.101530⟩. ⟨hal-04687532⟩

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. Journal of Guidance, Control, and Dynamics, 2024, pp.1-14. ⟨10.2514/1.G008102⟩. ⟨hal-04134188⟩

Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, 2024, 50 (1), pp.1 - 38. ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩

François Lamothe, Claudio Contardo, Matthieu Gruson. Tilted inequalities and facets of the set covering polytope: A theoretical analysis. Discrete Applied Mathematics, 2024, 357, pp.143-160. ⟨10.1016/j.dam.2024.06.004⟩. ⟨hal-04874698⟩

Dan Du, Zetao Li, Boutaib Dahhou. Progressive Optimal Fault-Tolerant Control Combining Active and Passive Control Manners. Actuators, 2024, 13 (4), pp.150. ⟨10.3390/act13040150⟩. ⟨hal-04844006⟩

Carolina Albea, Mathias Serieye, Alexandre Seuret, Marc Jungers. Stabilization of aperiodic sampled-data switched affine systems to hybrid limit cycles. European Journal of Control, 2024, 79, pp.101094. ⟨10.1016/j.ejcon.2024.101094⟩. ⟨hal-04814278⟩

Benoît Bonnet-Weill, Hélène Frankowska. On the Viability and Invariance of Proper Sets under Continuity Inclusions in Wasserstein Spaces. SIAM Journal on Mathematical Analysis, 2024, 56 (3), pp.2863-2914. ⟨10.1137/23M1560410⟩. ⟨hal-04082985v2⟩

Marc Dambrine, Ch Dossal, Bénédicte Puig, Aude Rondepierre. Stochastic Differential Equations for modeling first order optimization methods. SIAM Journal on Optimization, 2024, 34 (2), ⟨10.1137/21M1435665⟩. ⟨hal-03630785v2⟩

Mathieu Bajodek, Hugo Lhachemi, Giorgio Valmorbida. Necessary stability conditions for reaction-diffusion-ODE systems. IEEE Transactions on Automatic Control, 2024, 69 (11), pp.1-8. ⟨10.1109/TAC.2024.3407818⟩. ⟨hal-04008999⟩

Zhijian Hu, Kun Zhang, Rong Su, Ruiping Wang. Robust Cooperative Load Frequency Control for Enhancing Wind Energy Integration in Multi-Area Power Systems. IEEE Transactions on Automation Science and Engineering, 2024, 22, pp.1508 - 1518. ⟨10.1109/tase.2024.3367030⟩. ⟨hal-04636495⟩

Ophélie Thomas- -Chemin, Childérick Séverac, Abderazzak Moumen, Adrian Martinez Rivas, Christophe Vieu, et al.. Automated bio-AFM generation of large mechanome data set and their analysis by machine learning to classify cancerous cell lines. ACS Applied Materials & Interfaces, 2024, 16 (34), pp.44504-44517. ⟨10.1021/acsami.4c09218⟩. ⟨hal-04674006⟩

Alessandro Bosso, Ilario Azzollini, Simone Baldi, Luca Zaccarian. Adaptive Hybrid Control for Robust Global Phase Synchronization of Kuramoto Oscillators. IEEE Transactions on Automatic Control, 2024, 69 (12), pp.8188 - 8203. ⟨10.1109/TAC.2024.3403692⟩. ⟨hal-04776121⟩

Simone Mariano, Romain Postoyan, Luca Zaccarian. Finite-time stability properties of Lur'e systems with piecewise continuous nonlinearities. IEEE Transactions on Automatic Control, 2024, 69 (9), pp.6325-6332. ⟨10.1109/TAC.2024.3383278⟩. ⟨hal-04530198⟩

Edgar Hernando Sepúlveda-Oviedo, Louise Travé-Massuyès, Audine Subias, Marko Pavlov, Corinne Alonso. An ensemble learning framework for snail trail fault detection and diagnosis in photovoltaic modules. Engineering Applications of Artificial Intelligence, 2024, 137 (Part A), pp.109068. ⟨10.1016/j.engappai.2024.109068⟩. ⟨hal-04689176⟩

Milan Korda, Victor Magron, Rodolfo Ríos-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩. ⟨hal-04049383⟩

Jie Wang, Victor Magron. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients. Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩. ⟨hal-04189927⟩

Jean-François Aujol, Luca Calatroni, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre. Parameter-Free FISTA by Adaptive Restart and Backtracking. SIAM Journal on Optimization, 2024, 34 (4), pp.3259-3285. ⟨10.1137/23M158961X⟩. ⟨hal-04172497⟩

Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, et al.. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals. Automatica, 2024, 183, pp.112606. ⟨10.1016/j.automatica.2025.112606⟩. ⟨hal-04438031⟩

Jean-Bernard Lasserre. CHEBYSHEV AND EQUILIBRIUM MEASURE VS BERNSTEIN AND LEBESGUE MEASURE. Proceedings of the American Mathematical Society, In press, ⟨10.1090/proc/16739⟩. ⟨hal-04043186⟩

Nicola Zaupa, Giulia Giordano, Isabelle Queinnec, Sophie Tarbouriech, Luca Zaccarian. Equivalent Conditions for the Synchronization of Identical Linear Systems over Arbitrary Interconnections. European Journal of Control, 2024, 80 (Part B), pp.101099. ⟨10.1016/j.ejcon.2024.101099⟩. ⟨hal-04359774v2⟩

Felix Agner, Jonas Hansson, Pauline Kergus, Anders Rantzer, Sophie Tarbouriech, et al.. Decentralized PI-control and Anti-windup in Resource Sharing Networks. European Journal of Control, 2024, pp.101049. ⟨10.1016/j.ejcon.2024.101049⟩. ⟨hal-04270492⟩

Baparou Danhane, Jérôme Lohéac, Marc Jungers. Conditions for uniform ensemble output controllability, and obstruction to uniform ensemble controllability. Mathematical Control and Related Fields, 2024, 14 (3), pp.1128-1175. ⟨10.3934/mcrf.2023036⟩. ⟨hal-03824645v2⟩

Arthur Scolari Fagundes, João Manoel Gomes da Silva, Sophie Tarbouriech. A hybrid approach to the stability analysis of sampled-data Lur’e systems. Systems and Control Letters, 2024, 184, pp.105710. ⟨10.1016/j.sysconle.2023.105710⟩. ⟨hal-04866566⟩

Jean-Bernard Lasserre, Yuan Xu. A Generalized Pell's equation for a class of multivariate orthogonal polynomials. Transactions of the American Mathematical Society, In press, 23 p. ⟨10.1090/tran/9200⟩. ⟨hal-04163153v2⟩

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⟩

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, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩. ⟨hal-04110742v2⟩

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⟩

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, 2024, 338 (1), pp.13-40. ⟨10.1007/s10479-023-05629-3⟩. ⟨hal-04229939⟩

Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩. ⟨hal-04694171v2⟩

Riccardo Ballaben, Philipp Braun, Luca Zaccarian. Lyapunov-Based Avoidance Controllers With Stabilizing Feedback. IEEE Control Systems Letters, 2024, 8, pp.862-867. ⟨10.1109/LCSYS.2024.3404770⟩. ⟨hal-04776123⟩

Livres

Nathanaël Fijalkow (Dir.). Games on Graphs. pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩. ⟨hal-04273394⟩

Romain Postoyan, Paolo Frasca, Elena Panteley, Luca Zaccarian. Hybrid and networked dynamical systems. Springer Nature Switzerland, 493, pp.XVII, 328, 2024, Lecture Notes in Control and Information Sciences, 978-3-031-49554-0. ⟨10.1007/978-3-031-49555-7⟩. ⟨hal-04628500⟩

Vincent Mahout, Thierry Rocacher, Guillaume Auriol. Programmation des systèmes embarqués. ISTE Group, 312 p., 2024, 9781836120049. ⟨hal-04717102⟩

Chapitres d’ouvrages

Romain Postoyan, Paolo Frasca, Elena Panteley, Luca Zaccarian. Introduction of the book "Hybrid and Networked Dynamical Systems". Postoyan, R., Frasca, P., Panteley, E., Zaccarian, L. Hybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.1-4, 2024, Lecture Notes in Control and Information Sciences, 978-3-031-49554-0. ⟨10.1007/978-3-031-49555-7_1⟩. ⟨hal-05054047⟩

Felix Huber, Victor Magron, Jurij Volčič. Positivity of state, trace, and moment polynomials, and applications in quantum information. Operator Theory, Springer Basel, pp.1-30, 2024, Operator Theory, ⟨10.1007/978-3-0348-0692-3_88-1⟩. ⟨hal-04844939⟩

Thiago Alves Lima, Sophie Tarbouriech. Dynamic allocation function design in the presence of magnitude saturating inputs. Proceedings of 2022 AWM Research Symposium, In press. ⟨hal-04643120⟩

Sophie Tarbouriech, Carla de Souza, Antoine Girard. Layers Update of Neural Network Control via Event-Triggering Mechanism. Hybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.253-272, 2024, Lecture Notes in Control and Information Sciences, 978-3-031-49555-7. ⟨10.1007/978-3-031-49555-7_11⟩. ⟨hal-04527093⟩

Sophie Tarbouriech, Christophe Prieur, Isabelle Queinnec, Luca Zaccarian, Germain Garcia. Control of Uncertain Nonlinear Fully Linearizable Systems. Postoyan, R., Frasca, P., Panteley, E., Zaccarian, L. (eds). Hybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.179-197, 2024, Lecture Notes in Control and Information Sciences, Print ISBN978-3-031-49554-0 ; Online ISBN978-3-031-49555-7. ⟨10.1007/978-3-031-49555-7_8⟩. ⟨hal-04776124⟩

Communications dans un congrès

Manon Doré, Nicola Zaupa. Control of the RMS Output Current in Series Resonant Converters. 4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON 2024), Sep 2024, Lyon, France. pp.132-137, ⟨10.1016/j.ifacol.2024.10.159⟩. ⟨hal-04627710v2⟩

Dimitri Peaucelle, Yoshio Ebihara, Yohei Hosoe. About an alternative S-variable condition for state-feedback design. European Control Conference, EUCA, Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10591320⟩. ⟨hal-04266433⟩

Matthieu Masson, Christian Artigues, Denis Arzelier, Fabrizio Dabbene, Mioara Joldeş, et al.. Impulsive thrust collision avoidance for long-term space encounters. 63rd IEEE Conference on Decision and Control, Dec 2024, Milan (Italie), Italy. ⟨hal-04710416⟩

Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič. Upper bound hierarchies for noncommutative polynomial optimization. 26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom. ⟨hal-04440949⟩

Dimitri Peaucelle. About S-Variables and Descriptor Systems. Workshop on Automatic Control Theory Japan-France Research Networking, Nov 2024, Kyoto (Japan), Japan. ⟨hal-04926040⟩

Bruno Loff, Mateusz Skomra. Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Jul 2024, Tallinn, Estonia. pp.147:1-147:16, ⟨10.4230/LIPIcs.ICALP.2024.147⟩. ⟨hal-04762619⟩

Y Pechaud, N Derlon, Yolaine Bessière, Isabelle Queinnec, E Paul. Modélisation du développement d'agrégats denses : importance de considérer le lien entre la distribution des EPS, les mécanismes de détachement et les propriétés physiques.. 19ème congrès SFGP, Société Française de Génie des Procédés, Oct 2024, Deauville, France. ⟨hal-04931599⟩

Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩. ⟨hal-04247204⟩

Adrien Callico, Jean-Charles Billaut, Pierre Desport, Caroline Prodhon. Optimisation dans les circuits courts de proximité. 25ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Société Française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2024, Amiens, France. ⟨hal-04510028⟩

Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion. Optimal Control of Nonsmooth Dynamical Systems using Measure Relaxations. IEEE Conference on Decision and Control, IEEE, Dec 2024, Milan, Italy. ⟨10.1109/CDC56724.2024.10885896⟩. ⟨hal-04701838⟩

Louise Travé-Massuyès, Franz Wotawa. Bridging hardware and software diagnosis: leveraging fault signature matrix and spectrum-based fault localization similarities. 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Viena, Austria. ⟨10.4230/OASIcs.DX.2024.5⟩. ⟨hal-04934728⟩

Aneel Tanwani. On Analyzing Filters with Bayesian Parameter Inference and Poisson-Sampled Observations. IEEE Conference on Decision and Control, Dec 2024, Milan (Italie), Italy. ⟨10.1109/CDC56724.2024.10886415⟩. ⟨hal-04855941⟩

Valentin Antuori, Damien T Wojtowicz, Emmanuel Hebrard. A Stable-Set-Based Move to Solve an Agile Earth Observation Satellite Scheduling Problem with a Local Search. 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. https://roadef2024.sciencesconf.org/511480. ⟨hal-04519736⟩

Louis Bonnet, Rhyd Lewis. Exact Bar Nesting with Industrial Symmetry Considerations. ROADEF 2024, Mar 2024, Amiens, France. ⟨hal-05069663⟩

F. Porcari, V. Breschi, Luca Zaccarian, S. Formentin. Data-driven control of input saturated systems: a LMI-based approach. In 20th IFAC Symposium on System Identification, Jul 2024, Boston (MA), United States. pp.205-210, ⟨10.1016/j.ifacol.2024.08.529⟩. ⟨hal-04776126⟩

Patricia Monica Campos-Mayer-Vicente, Felipe Gomes Cabral, Públio M. Lima, Marcos Vicente Moreira, Audine Subias, et al.. Property-Based Transparency: a New Utility Definition*. 2024 IEEE 20th International Conference on Automation Science and Engineering, Aug 2024, Bari (IT), Italy. ⟨hal-04775876⟩

Camille Lescuyer, Christian Artigues, Jean-Thomas Camino, Cédric Pralet. Heuristic Methods for the Antenna-Constrained Beam Layout Optimization on Multibeam Broadcasting Mission. 13th International Conference on Operations Research and Enterprise Systems, Feb 2024, Rome, Italy. pp.294-301, ⟨10.5220/0012380200003639⟩. ⟨hal-04521756⟩

Aneel Tanwani. Measures-based Formalism for Control of Nonsmooth Systems. 11th Symposium of European Network for Nonsmooth Dynamics, Oct 2024, Eindhoven (Eindhoven University of Technology), Netherlands. ⟨hal-04912670⟩

Shingo Nishinaka, Rin Saeki, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, et al.. Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation. 4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France. ⟨hal-04495314⟩

Aneel Tanwani, Olga Yufereva. Convergence Analysis of Ensemble Filters for Linear Stochastic Systems with Poisson-Sampled Observations. International Symposium on Mathematical Theory of Networks and Systems, Aug 2024, Cambridge, United Kingdom. pp.202-207, ⟨10.1016/j.ifacol.2024.10.164⟩. ⟨hal-04616321⟩

Patricia Monica Campos-Mayer-Vicente, Felipe Gomes Cabral, Públio M. Lima, Marcos Vicente Moreira, Audine Subias, et al.. Transparência Baseada em Propriedade: uma Nova Noção de Utilidade para Sistemas a Eventos Discretos ⋆. XXV Congresso Brasileiro de Automática, Oct 2024, Rio de Janeiro (BR), Brazil. ⟨hal-04775872⟩

Mattia Giaccagli, Marc Jungers, Sophie Tarbouriech. Some LMIs for the design of dynamic output feedback contractive controllers for a class of nonlinear systems. 4th IFAC Conference of Modelling, Identification and Control of Nonlinear Systems, MICNON 2024, Sep 2024, Lyon, France. ⟨10.1016/j.ifacol.2024.10.145⟩. ⟨hal-04692897⟩

Victor Magron. State polynomial optimization for nonlinear Bell inequalities. Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany. ⟨hal-04719283⟩

Jared Miller, Niklas Schmid, Matteo Tacchi, Didier Henrion, Roy Smith. Peak Time-Windowed Mean Estimation using Convex Optimization. CDC 2024 - 63rd IEEE Conference on Decision and Control, Dec 2024, Milan, Italy. pp.703-708, ⟨10.1109/CDC56724.2024.10885882⟩. ⟨hal-05357756⟩

Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, et al.. Using Multi-modal LLMs to Create Models for Fault Diagnosis. The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, Vienna, Austria. ⟨10.4230/OASIcs.DX.2024.6⟩. ⟨hal-04777473⟩

Elouan Blanchard, Arthur Bit-Monnot, Cyrille Briand, Mohamed Amine Abdeljaouad, Gregoire Milliez. Planning the Tasks of an Autonomous Mobile Robot Fleet for Internal Logistics of Production Systems. 43th IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2024, Chemnitz, Germany. pp.474-488, ⟨10.1007/978-3-031-71637-9_32⟩. ⟨hal-05233792v2⟩

Santiago Pantano-Calderón, Sophie Tarbouriech, Luca Zaccarian. Global Exponential Saturated Output Feedback Design With Sign-Indefinite Quadratic Forms. European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. pp.980-985, ⟨10.23919/ECC64448.2024.10591218⟩. ⟨hal-04672584⟩

Guillaume Poujade, Jean-Charles Billaut, Denis Martouzet, Jean-François Raze. Interdiction problems and innovation networks. 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. ⟨hal-04623589⟩

Camille Lescuyer, Christian Artigues, Jean-Thomas Camino, Cédric Pralet. Beam-layout for a telecommunication satellite: comparison of a matheuristic approach and a merge-and-split heuristic. Operations Research and Entreprise Systems Springer Book, Feb 2024, Rome, Italy. ⟨hal-04968027⟩

Adrien Callico, Pierre Desport, Caroline Prodhon, Jean-Charles Billaut. Optimization in short local supply chains. JIRC 2024, fédération ICVL, Nov 2024, Bourges, France. ⟨hal-04826232⟩

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩. ⟨hal-04466875⟩

Alexandre Seuret, Rafael Vazquez, Luca Zaccarian. A Hybrid Dynamical System Approach to the Impulsive Control of Spacecraft Rendezvous. 2024 European Control Conference (ECC), Jun 2024, Stockholm, Sweden. pp.1479-1484, ⟨10.23919/ECC64448.2024.10590979⟩. ⟨hal-04676163⟩

Maxence Glotin, Louise Travé-Massuyès, Elodie Chanthery. MSO sets and MTES for dummies. The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, Vienna (Autriche), Austria. ⟨10.4230/OASIcs.DX.2024.13⟩. ⟨hal-04777448⟩

Gerald Steinbauer-Wagner, Leo Fürbaß, Marco de Bortoli, Louise Travé-Massuyès. A Hierarchical Monitoring and Diagnosis System for Autonomous Robots. 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Vienne, Austria. pp.1, ⟨10.4230/OASIcs.DX.2024.1⟩. ⟨hal-04934737⟩

Joao Manoel Gomes da Silva, Sophie Tarbouriech. Saturating Sampled-Data Control Design for Lur’e Systems. 2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.1613-1618, ⟨10.1109/CDC56724.2024.10886514⟩. ⟨hal-05241456⟩

F. Ferrante, M. Leomanni, M. Fravolini, Sophie Tarbouriech. Setpoint Tracking for a Class of Lur’e Discrete-Time Systems. 2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.2922-2927, ⟨10.1109/CDC56724.2024.10886072⟩. ⟨hal-05241495⟩

Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc. Learning normal and delayed behavior of max-plus linear systems from input and output event data. 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE), Aug 2024, Bari, Italy. ⟨10.1109/CASE59546.2024.10711569⟩. ⟨hal-04718040⟩

Manon Doré, Yassine Ariba, Oswaldo Lopez-Santos, Germain Garcia. Revisiting the argmin direct control for the Cascaded H-Bridge Inverter. Conference on Control Technology and Applications CCTA 2024, Aug 2024, Newcastel upon Tyne, United Kingdom. ⟨10.1109/CCTA60707.2024.10666589⟩. ⟨hal-04627060v2⟩

Dimitri Peaucelle. Robustness Certificates. Ecole MACS 2024, May 2024, Strasbourg, France. ⟨hal-05094913⟩

A Callico, P Desport, C Prodhon, Jean-Charles Billaut. Sharing deliveries in a short food logistic context. 33rd European Conference on Operational Research, Jun 2024, Copenhagen, Denmark. ⟨hal-04623649⟩

Swantje Plambeck, Maximilian Schmidt, Goerschwin Fey, Audine Subias, Louise Travé-Massuyès. Dynamics-Based Identification of Hybrid Systems using Symbolic Regression. DSD/SEAA Conference, Aug 2024, Paris, France. ⟨hal-04794430⟩

Sophie Tarbouriech. Layers update in event-triggered NN controllers with guaranteed stability through LMIs. Workshop on Neural Network control with stability and performance guarantees (workshop in ECC 2024), Jun 2024, Stockholm, Sweden. ⟨hal-04978402⟩

Quoc Hung Lu, Soheib Fergani, Carine Jauberthie. Generic Interval Filter for continuous time nonlinear systems with bounded state condition. 63rd IEEE Conference on Decision and Control CDC'24, IEEE, Dec 2024, Milan, Italy. ⟨10.1109/CDC56724.2024.10886063⟩. ⟨hal-04845940⟩

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⟩

Swantje Plambeck, Maximilian Schmidt, Audine Subias, Louise Travé-Massuyès, Goerschwin Fey. Usability of Symbolic Regression for Hybrid System Identification -System Classes and Parameters. The 35th International Conference on Principles of Diagnosis and Resilient Systems (DX'24), Nov 2024, Vienna, Austria. 14 p., ⟨10.4230/OASIcs.DX.2024.30⟩. ⟨hal-04794459⟩

Louis Goupil, Louise Travé-Massuyès, Elodie Chanthery, Thibault Kohler, Sébastien Delautier. Tree based Diagnosis Enhanced with Meta Knowledge Applied to Dynamic Systems. 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (2024), Best Theory Paul M. Frank paper Award, IFAC, Jun 2024, Ferrara, Italy. to appear in IFAC-PapersOnLine. ⟨hal-04556203⟩

Louise Travé-Massuyès, Kévin Ducharlet, Jean-Bernard Lasserre. Leveraging the properties of the Christoffel function for anomaly detection in data streams. Congrès Annuel de la SAGIP, SAGIP, May 2024, Lyon, France. ⟨hal-04794461⟩

Mallory Taffonneau, Jean-Charles Billaut, Ronan Bocquillon. Caractérisation des solutions optimales du 1||Lmax. 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. ⟨hal-04623626⟩

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⟩

Jean-Charles Billaut, Hélène Blasco, Marina Vinot. Dispatching medical samples: a case study. 33rd European Conference on Operational Research, Jun 2024, Copenhague, Denmark. ⟨hal-04623657⟩

Léonie Hatte, Pauline Ribot, Elodie Chanthery. Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring. IFAC Safeprocess 2024, Jun 2024, Ferrara, Italy. ⟨hal-04578700⟩

Samuele Zoboli, Andreu Cecilia. k-contraction analysis for discrete-time systems. 4th IFAC Conference of Modelling, Identification and Control of Nonlinear Systems, Sep 2024, Lyon (FR), France. ⟨10.13039/501100011033⟩. ⟨hal-04643933⟩

Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet. Multi-class Neural Additive Models : An Interpretable Supervised Learning Method for Gearbox Degradation Detection. 2024 IEEE International Conference on Prognostics and Health Management, Jun 2024, Spokane WA, United States. ⟨10.1109/ICPHM61352.2024.10627522⟩. ⟨hal-04562531⟩

Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, et al.. On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers. 2025 European Control Conference (ECC), Jun 2025, Thessaloniki, Greece. pp.1237-1242, ⟨10.23919/ECC65951.2025.11186908⟩. ⟨hal-04797364⟩

Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet. On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis (Short Paper). 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Vienna, Austria. ⟨10.4230/OASIcs.DX.2024.27⟩. ⟨hal-04862630⟩

Thalita Nazaré, Isabelle Queinnec, Erivelton Nepomuceno. Exploring Control Co-Design's Versatility in System Optimisation: A Case Study of DC Motors. 32nd Mediterranean Conference on Control and Automation (MED 2024), IEEE, Jun 2024, Chania, Crete, Greece. ⟨10.1109/MED61351.2024.10566157⟩. ⟨hal-04654734⟩

Rahma Bengamra, Soheib Fergani, Carine Jauberthie. Hyperplanes Based Zonotopic Contractor. 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024), Nov 2024, Vienne (AUT), Austria. pp.26: 1-26: 13, ⟨10.4230/OASIcs.DX.2024.26⟩. ⟨hal-04845988⟩

Florian Sansou, Gautier Hattenberger, Luca Zaccarian, Fabrice Demourant, Thomas Loquen. Modelling and Hovering Stabilisation of a Free-Rotating Wing UAV. 2024 International Conference on Unmanned Aircraft Systems (ICUAS), Jun 2024, Chaniá, Greece. pp.779-785, ⟨10.1109/ICUAS60882.2024.10556832⟩. ⟨hal-04619809⟩

Victor Magron. Trace polynomial optimization with applications in quantum information. Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands. ⟨hal-04719307⟩

Samuele Zoboli, Daniele Astolfi, Mattia Mattioni, John W Simpson-Porco, Nathan van de Wouw. Forwarding for discrete-time linear systems: optimality and global stabilization under input saturation. 4th IFAC Conference of Modelling, Identification and Control of nonlinear systems, Sep 2024, Lyon, France. pp.108-113, ⟨10.1016/j.ifacol.2024.10.154⟩. ⟨hal-04861660v2⟩

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⟩

Florian Bethencourt, Hélène Blasco, Marina Vinot, Jean-Charles Billaut. Optimisation des déplacements d'échantillons médicaux. 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. ⟨hal-04623403⟩

Carla Juvin, Laurent Houssin, Pierre Lopez. Two-stage approaches to solving the robust job-shop problem with uncertainty budget. 19th International Workshop on Project Management and Scheduling (PMS 2024), Apr 2024, Bern, Switzerland. ⟨hal-04675753⟩

Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. Thirteenth International Conference on Learning Representations (ICLR), 2025, Apr 2025, Singapour, Singapore. 22 p. ⟨hal-04589986⟩

Samuele Zoboli, Andreu Cecilia, Sophie Tarbouriech. Quadratic abstractions for k-contraction. 2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. ⟨10.1109/CDC56724.2024.10886370⟩. ⟨hal-04619425⟩

Yukai Tang, Jean-Bernard Lasserre, Heng Yang. Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid. L4DC 2024, Jul 2024, Oxford (UK), France. pp.1--36. ⟨hal-04697144⟩

Karim Terfasse, Ghassen Cherif, Marie-José Huguet. Integer Linear Programming for Automated Guided Vehicles Path Planning in Container Terminals. International Conférence on Control, Decision and Information Technologies (CoDIT 2024), Jul 2024, Valleta, Malta. ⟨10.1109/CoDIT62066.2024.10708293⟩. ⟨hal-04704943⟩

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. ⟨10.1109/SaTML59370.2024.00009⟩. ⟨hal-04189566v2⟩

Autres documents

Corentin Boennec, Camille Bergougnoux, Evelise Antunes, Bruno Sareni, Sandra Ulrich Ngueveu. Co-Design of Microgrids with Renewable Integration: A Modular Julia-based Tool and Applications. Julia & Optimization days 2024, Oct 2024, Toulouse, France. 2024. ⟨hal-04984188⟩

Yassine Ariba, Frédéric Gouaisbaut. Chaîne YouTube Capsules Automatique. 2024. ⟨hal-04902796⟩

Tanguy Terrien, Philippe Truillet, Cyrille Briand. Human-centered decision-aid for dynamic activity planning in production systems. RJC IHM 2024, Sep 2024, Oléron, France. ⟨hal-04739745⟩

Srećko Đurašinović, Jianting Yang, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. R&T Days 2024, Jul 2024, Toulouse (FRANCE), France. 2024. ⟨hal-04720757⟩

D Lacal Ip, Y Bourlier, G Delport, Vincent Boitier, Vincent Mahout, et al.. CABLE SOLAR: Small Unit Aerostat for Solar Generation. IPVF Days, May 2024, Palaiseau (91), France. 2024. ⟨hal-04730979⟩

Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, Gregory Brouillet. Modèles Additifs Neuronaux Multi classes (MNAM). LAAS Research and Technology Days 2024 (RTDAYS), Jul 2024, Toulouse, France. 2024. ⟨hal-04775898⟩

Santiago Pantano Calderón, Sophie Tarbouriech, Luca Zaccarian. Output-feedback controller synthesis with sign-indefinite quadratic forms. Workshop Methods and Algorithms for the Control of Complex Systems, Aug 2024, Banyuls-sur-Mer, France. ⟨hal-04698747⟩

Saroj Prasad Chhatoi. Optimal Control of a Nonsmooth Dynamical System using Measure Relaxation. Methods and Algorithms for the Control of Complex Systems, Aug 2024, Banyuls - sur - Mer, France. 2024. ⟨hal-04698728⟩

Nicola Zaupa, Giulia Giordano, Isabelle Queinnec, Sophie Tarbouriech, Luca Zaccarian. Equivalent Conditions for the Synchronization of Identical Linear Systems. Workshop "Methods and Algorithms for the Control of Complex Systems", Aug 2024, Banyuls sur-mer, France, France. 2024. ⟨hal-04700228⟩

Nicola Zaupa, Carlos Olalla, Isabelle Queinnec, Luis Martínez-Salamero, Luca Zaccarian. Hybrid Control of Resonant Converters. Workshop "Methods and Algorithms for the Control of Complex Systems", Aug 2024, Banyuls sur-mer, France, France. 2024. ⟨hal-04700237⟩

Sara Callegari, Frédéric Gouaisbaut, Dimitri Peaucelle. Robustness of Coupled ODEs and PDEs, state-of-the-art and perspectives. Methods and Algorithms for the Control of Complex Systems, Aug 2024, Banyuls sur-mer, France, France. 2024. ⟨hal-04700288⟩

Manon Doré, Yassine Ariba, Germain Garcia. The power balance equation for converter control - Application to a three-level neutral point clamped rectifier. Methods and Algorithms for the Control of Complex Systems, Aug 2024, Banyuls-sur-mer, France. ⟨hal-04735611⟩

Comptes rendus de conférences

Lucas Lima Lopes, Louise Travé-Massuyès, Carine Jauberthie, Guillaume Alcalay. A Review of Fault Diagnosis Techniques Applied to Aircraft Air Data Sensors. International Conference on Principles of Diagnosis and Resilient Systems (DX), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, 978-3-95977-356-0. ⟨10.4230/OASIcs.DX.2024.3⟩. ⟨hal-04849194⟩

@softwareversion

Yannick Pencolé. DdEditor (Diades editor). 2024, ⟨swh:1:dir:3752fea19639a763fe00156c1d557be6fc520f51;origin=https://gitlab.laas.fr/ypencole/ddeditor;visit=swh:1:snp:f078c4952f459c8a32061c2578eb38812ad62a65;anchor=swh:1:rev:7a7501caa360322a91dae69cf33439ea51db4d7f⟩. ⟨hal-04779018⟩

Yannick Pencolé. DdAutomata (Automata tools). 2024, ⟨swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https://gitlab.laas.fr/ypencole/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f⟩. ⟨hal-04779083⟩

Yannick Pencolé. DdPetri (Petri net collection tools of Diades). 2024, ⟨swh:1:dir:ecce6e0ecc61d35a6e903d0745f40315e7739daa;origin=https://gitlab.laas.fr/ypencole/ddpetri;visit=swh:1:snp:97bceb647ac1d1e940e1bea79828d1d91c2ba6d1;anchor=swh:1:rev:06bfdca77a59b680a0eaa9769bc1017df19041b0⟩. ⟨hal-04779090⟩

Victor Magron. RealCertify. 2024, ⟨swh:1:dir:65138ea897686eed5531074255caa4dd21d087b4;origin=https://hal.archives-ouvertes.fr/hal-04719526;visit=swh:1:snp:e32a3b48f1744a2714f5f9ddbf411cc278807f96;anchor=swh:1:rel:c474cafbf7034e92b0fe2e165b1355af844bf4c2;path=/⟩. ⟨hal-04719526⟩

Victor Magron, Jie Wang. TSSOS. 2024, ⟨swh:1:dir:cbf2ecc0d62a29200571c1fefaab9e97d62fb6a4;origin=https://hal.archives-ouvertes.fr/hal-04719510;visit=swh:1:snp:99ab25528c5694b6e3de07baa33fab62d9ba3b25;anchor=swh:1:rel:7933a8a0093f3fae2d54c3bb5c3edd84b6ed16b5;path=/⟩. ⟨hal-04719510⟩

Yannick Pencolé. diades (DIAgnosis of Discrete Event Systems). 2024, ⟨swh:1:dir:f0c1d9fdd38a0ee1f8d37eb408428c4d603ddf2c;origin=https://gitlab.laas.fr/ypencole/diades;visit=swh:1:snp:e9d3cccd3c6b0feea44623139cca7b121a0fb1d4;anchor=swh:1:rev:d983dfe2ee50b18f9f22cdc1e7b1b669ead46844⟩. ⟨hal-04779011⟩

Pré-publications, documents de travail

Samuele Zoboli, Andreu Cecilia, Sophie Tarbouriech. Dynamic output-feedback design for generalized Lyapunov inequalities. 2024. ⟨hal-04738534⟩

Didier Henrion, Jean-Bernard Lasserre. An infinite-dimensional Christoffel function and detection of abnormal trajectories. 2023. ⟨hal-04631100⟩

Samuele Zoboli, Daniele Astolfi, Vincent Andrieu, Giacomo Casadei, Luca Zaccarian. Incremental stabilization and multi-agent synchronization of discrete-time nonlinear systems. 2024. ⟨hal-04444190v3⟩

Mareike Dressler, Simon Foucart, Mioara Joldeş, Etienne de Klerk, Jean-Bernard Lasserre, et al.. Least multivariate Chebyshev polynomials on diagonally determined domains. 2024. ⟨hal-04727563⟩

Jean-François Aujol, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre. Heavy Ball Momentum for Non-Strongly Convex Optimization. 2024. ⟨hal-04500652⟩

Charlotte Lacoquelle, Xavier Pucel, Louise Travé-Massuyès, Axel Reymonet, Benoît Enaux. Warped Time Series Anomaly Detection. 2024. ⟨hal-04549643⟩

Alexandre Heintzmann, Pascale Bendotti, Cécile Rottner. Handling polyhedral symmetries with a dedicated Branch&Cut: application to a knapsack variant. 2024. ⟨hal-04493165v2⟩

Sebastian Debus, Tobias Metzlaff. Additive and Multiplicative Coinvariant Spaces of Weyl Groups in the Light of Harmonics and Graded Transfer. 2024. ⟨hal-04853732v2⟩

Didier Henrion, Jean Bernard Lasserre. Approximate D-optimal design and equilibrium measure. 2025. ⟨hal-04688534v3⟩

Jean-François Aujol, Charles Dossal, Hippolyte Labarrière, Aude Rondepierre. Strong Convergence of FISTA Iterates under Hölderian and Quadratic Growth Conditions. 2024. ⟨hal-04660448⟩

Manuel Bodirsky, Georg Loho, Mateusz Skomra. Reducing Stochastic Games to Semidefinite Programming. 2024. ⟨hal-04902257⟩

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

Timothée Ly, Julien Ferry, Marie-José Huguet, Sébastien Gambs, Ulrich Aivodji. Smooth Sensitivity for Learning Differentially-Private yet Accurate Rule Lists. 2024. ⟨hal-04505410v2⟩

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

Florian Sansou, Fabrice Demourant, Gautier Hattenberger, Thomas Loquen, Luca Zaccarian. Hovering stabilization of the DarkO tail-sitter drone with constant wind. 2024. ⟨hal-04715046⟩

Enky Oudot, Gaël Massé, Xavier Valcarce, Antonio Acín. Realistic Bell tests with homodyne measurements. 2024. ⟨hal-04470732⟩

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

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

Rafael Accácio Nogueira, Soheib Fergani, Jan Bolting. Constrained Zonotope-based localization of mobile agents with uncertain observation times. 2024. ⟨hal-04845892⟩

Didier Henrion. Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces. 2024. ⟨hal-04628265⟩

Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček. Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. 2024. ⟨hal-03196925v3⟩

Soutenances à venir

Soutenance de thèse d' IBIS VELASQUEZ le 19 décembre, 2025 - 09:30, salle de conférence

Thèses / HDR soutenues

2025

Julien Rouzot, Thèse: Optimisation combinatoire et programmation par contraintes pour les missions spatiales: Transferts de données, ordonnancement des observations scientifiques et des opérations

Aneel Tanwani, Habilitation à diriger des recherches: Analyse des Systèmes Interconnectés avec Dynamiques Nonlinéaires et Hybrides

2024

Charlotte Lacoquelle, Thèse: Détection d'anomalies dans les séries temporelles déformées - Application à la surveillance des robots industriels

Manon Doré, Thèse: Approche générale pour la modélisation et la commande directe des convertisseurs statiques

Santiago Pantano-Calderón, Thèse: Algorithmes de conception non quadratiques pour les systèmes linéaires soumis à saturation d'entrée

Lucien Ghizzo, Thèse: Fiabilité fonctionnelle du HEMT GaN moyenne tension en régime de stress électriques ciblés et aggravés

Louis Goupil, Thèse: Apprentissage machine guidé par des connaissances pour le diagnostic

Olga Iufereva, Thèse: Algorithmes de filtrage avec les observations distribuées par Poisson

Alexandre Heintzmann, Thèse: Modèles et algorithmes pour l'optimisation de la production hydro-électrique

2023

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

Vit Cibulka, Thèse: L'approche de Koopman et moment-sum-of-squares pour le contrôle : méthodes de calcul et applications

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

Lucas Dal Bosco, Thèse: Dosimétrie basée sur l’imagerie portale par apprentissage de réseaux de neurones convolutifs pour l’assurance qualité spécifique au patient en radiothérapie externe.

Aloïs Duguet, Thèse: Approximation linéaire par morceaux de fonctions de deux variables avec erreur bornée pour la résolution de problèmes d'optimisation non linéaire mixte en nombres entiers

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

Antoine Boche, Thèse: Étude de la durabilité des micro-réseaux par un modèle systémique basé sur la théorie de la modélisation et de la simulation

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

Alexandre Gaffet, Thèse: Approches de machine learning pour le diagnostic de processus de production automobile

Edgar Hernando Sepúlveda-Oviedo, Thèse: Détection et diagnostic de défauts et des pertes de performances dans les centrales photovoltaïques de forte puissance

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

Tom Portoleau, Thèse: Représentations discrètes pour l’ordonnancement et la planification robustes

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

Flavien Deschaux, Thèse: Analyse et synthèse du système de commande d’un détendeur électroniquepour applications spatiales

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

Florent Bréhard, Thèse: Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

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

Matteo Cocetti, Thèse: Rétroactions non linéaires et hybrides avec systèmes linéaires à temps continu

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

LES NEWS DU DÉPARTEMENT

28.07.25 / 2 des 8 projets IEA Sciences informatiques portés par le LAAS-CNRS

11.07.25 Le GDR MACS au cœur développement des systèmes décisionnels de demain

24.03.25 Sandra Ngueveu : Explorer, modéliser, optimiser

PLUS D’ACTUS

L’AGENDA DU DÉPARTEMENT

28.04.25 - Conférence IWPSS 2025

24.11.23 - Morgan Delarue et Victor Magron recoivent la médaille de bronze CNRS

22.11.23 - MSR '23 14e colloque sur la modélisation des systèmes réactifs

PLUS D’ÉVÈNEMENTS


LES AUTRES DÉPARTEMENTS

DU LAAS-CNRS

en un clic

HAL LAAS

Production scientifique
picto

Emplois et stages
picto

Médiathèque
picto

Annuaire
picto

Scolaires

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

GPS : 43.563545, 1.476923

Tél :

LinkedIn Bluesky
+ Le laboratoire + Recherche + Plateformes + Formation à la recherche + Partenariats + Actualités

Le LAAS-CNRS

est associé à 5 membres
de l'Université de Toulouse

Université<br>Toulouse
Université Toulouse III Paul Sabatier (UPS)
Institut national<br>des sciences appliquées<br>de Toulouse<br>(INSA)
Institut national<br>polytechnique<br>de Toulouse<br>(INPT)
Université<br>Toulouse- Jean Jaurès<br>(UT2J)
Université<br>Toulouse I Capitole<br>(UT1)
Se connecter Intranet Mentions légales