Site institutionnel du Laboratoire Ampère - CNRS UMR5005

Best Paper Award pour un article Ampère !

Arnaud Lelevé — 2026-09-04T08:52:04Z

Toutes nos félicitation à Serge Sarkis doctorant au Laboratoire Ampère et au CEA qui a obtenu la deuxième place du Best Paper Award lors de la conférence EMC Europe 2026 !

Serge a aussi été vainqueur du prix COFREND Claude-Birac des journées COFREND (Confédération Française pour les Essais Non Destructifs) de 2026 !

09/09/2026 - Hamza BENADADA

Arnaud Lelevé — 2026-08-31T11:45:09Z

Hamza BENADADA soutiendra sa thèse le 09/09/2026 à 09h30.
Lieu : amphithéâtre Clémence Royer, Bâtiment 321, Jacqueline Ferrand, Dept. GM, INSA Lyon, Villeurbanne

Identification paramétrique et observateurs à entrées inconnues pour les systèmes dynamiques : application à l'estimation du centre de gravité d'un véhicule

Jury :
Rapporteurs :
M. Olivier SENAME, Professeur des Universités, Universités Grenoble INP / UGA
M. Guillaume MERCÈRE, Professeur des Universités, Université de Poitiers

Examinatrice :
Mme Marion GILSON, Professeure des Universités, Université de Lorraine

Encadrement :
M. Paolo MASSIONI, Maître de conférences HdR, INSA Lyon, directeur de thèse
M. Michaël DI LORETO, Professeur des Universités, Université Lyon 1, co-encadrant
M. Damien ÉBÉRARD, Maître de conférences, INSA Lyon, co-encadrant

Invité :
M. Fabrice RANC, Ingénieur Sénior, Volvo Group

Résumé : cette thèse s'intéresse à la reconstruction d'informations non mesurées dans les systèmes dynamiques à partir de modèles mathématiques et de mesures embarquées. Les travaux sont motivés par une application au domaine automobile, et plus particulièrement à l'estimation de la répartition de charge des véhicules lourds.
Le premier axe porte sur l'identification de paramètres appliquée à l'estimation de la position du centre de gravité (CG) d'un véhicule. Il s'agit d'un paramètre clé pour la sécurité et la dynamique du véhicule, mais il varie avec le chargement et ne peut généralement pas être mesuré directement. Les méthodes proposées s'appuient sur la dynamique verticale du véhicule ainsi que sur des mesures d'accéléromètres et de gyroscopes afin d'identifier la position du CG. Elles permettent d'estimer cette grandeur sans nécessiter la connaissance préalable de paramètres du véhicule autres que son empattement et sa voie. Ces méthodes ont un faible coût de calcul, ce qui les rend compatibles avec une implantation embarquée en temps réel.
Le second axe concerne l'estimation en temps réel de signaux temporels non mesurés pour les systèmes dynamiques. Cette problématique est étudiée dans le cadre général des observateurs pour les systèmes linéaires à entrées inconnues, dont l'objectif est de reconstruire les entrées et les états non mesurés à partir des seules sorties disponibles. La thèse établit des résultats théoriques sur l'existence et la caractérisation de ces observateurs, puis propose de nouvelles méthodes de synthèse permettant de reconstruire de manière causale et stable les entrées inconnues ainsi que les états du système. Ces travaux fournissent un cadre unifié pour l'inversion de systèmes dynamiques et ouvrent des perspectives dans des domaines tels que le diagnostic, la supervision et la commande de systèmes soumis à des perturbations non mesurées.

Mots-clés : Identification de système, Dynamique du véhicule, Position centre de gravité, Observateur à entrées inconnues, Observateur d'entrée, Inversion gauche

31/08/2026 - Jessica RAVAKAMBININTSOA

Arnaud Lelevé — 2026-08-28T09:58:25Z

Jessica RAVAKAMBININTSOA soutiendra sa thèse le 31/08/2026.
Lieu : amphithéâtre Clémence Royer, Bâtiment 321, Jacqueline Ferrand, Dept. GM, INSA Lyon, Villeurbanne

Chaîne automatisée de modélisation et de vérification formelle de programmes API

Jury :
Rapporteurs :
M. Bernard RIERA , Professeur des Universités, Université de Reims
M. Pascal BERRUET, Professeur des universités, Université de Bretagne Sud

Examinateurs :
Mme Pascale MARANGE, Maître de conférences, Université de Loraine
M. Alexandre PHILIPPOT, Professeur des universités, Université de Reims

Encadrement :
M. Eric ZAMAÏ , Professeur des universités, Ampère INSA-Lyon, directeur de thèse
M. Emil DUMITRESCU, Maître de conférences, Ampère INSA-Lyon, co-encadrant

Résumé : L'automatisation industrielle repose largement sur les automates programmables industriels (API), qui assurent l'exécution des programmes de commande au cœur des procédés. Avec l'augmentation de la complexité des systèmes et de leur interconnexion, les programmes API deviennent plus étendus, plus hétérogènes et plus difficiles à analyser. Les approches classiques fondées principalement sur les tests et les relectures manuelles ne suffisent plus à garantir l'absence d'erreurs dans l'ensemble des scénarios d'exécution pertinents. Cette difficulté est renforcée par la diversité des langages définis dans la norme IEC61131-3 et par l'hétérogénéité des représentations utilisées dans les environnements industriels.
Cette thèse propose un cadre méthodologique destiné à faciliter la modélisation et la vérification formelle des programmes API. La démarche repose sur une chaîne de transformation progressive du code vers plusieurs représentations intermédiaires permettant de structurer le flot de contrôle, les dépendances de données et la dynamique cyclique du programme. Ces modèles servent de support à l'expression des propriétés à vérifier ainsi qu'à l'application de techniques formelles adaptées, notamment l'analyse statique et le model checking.
Une méthode de traduction automatique a été développée afin de générer des modèles formels exploitables à partir de programmes API réels, tout en limitant la dépendance à une expertise avancée en méthodes formelles. L'ensemble de la démarche a été intégré dans un environnement industriel existant afin de faciliter son utilisation dans un contexte de développement réel.
L'étude expérimentale menée sur des programmes représentatifs montre que les modèles générés permettent d'obtenir des analyses cohérentes et exploitables pour la vérification de propriétés locales et globales. Les résultats obtenus mettent également en évidence l'intérêt des représentations intermédiaires pour améliorer la compréhension du comportement des programmes et faciliter leur analyse.
Dans son ensemble, cette thèse contribue à rapprocher les méthodes formelles des pratiques industrielles liées aux programmes API et ouvre la voie à une utilisation plus large de ces approches dans les contextes où les exigences de sûreté et de fiabilité sont critiques.

Mots-clés :
Automates programmables industriels, automatisation industrielle, vérification formelle, méthodes formelles, model checking, analyse statique, représentations intermédiaires, IEC 61131-3, traduction automatique, sûreté, fiabilité

03/09/2026 - Pauline ZIMMER

Arnaud Lelevé — 2026-08-27T09:49:40Z

Pauline ZIMMER soutiendra sa thèse le 03/09/2026.
Lieu : Amphi 1bis, bâtiment W1 de l'École Centrale de Lyon à Ecully

Développement d'un biocapteur hybride couplant électrocinétique et imagerie plasmonique pour la détection rapide, spécifique et à faible seuil de Dickeya dans les eaux d'irrigation

Jury :
Rapporteuses :
Hou-Broutin YANXIA, Directrice de recherche, SYMMES- CEA GRENOBLE
Aude BOLOPION, Directrice de recherche, Institut FEMTO-ST

Examinateurs :
Elise GHIBAUDO, Professeure des universités, IUT 1 de Grenoble
Pedro A. VASQUEZ, Professeur associé, Université de Seville

Encadrement :
Emmanuelle LAURENCEAU, Maîtresse de conférences HDR, Ecole Centrale de Lyon ; directrice de thèse
Marie FRÉNÉA-ROBIN, Professeure des universités, Lyon 1 Université Claude Bernard ; co-directrice de thèse
Julien Marchalot, Maître de conférences, INSA Lyon ; co-encadrant de thèse

Résumé : Les bactéries phytopathogènes transmises par l'eau d'irrigation constituent une menace importante pour la production agricole et la sécurité alimentaire. Parmi elles, les bactéries du genre Dickeya, responsables de la pourriture molle de la pomme de terre, peuvent se propager à de très faibles concentrations, rendant leur détection précoce particulièrement difficile.
Cette thèse présente le développement d'un biocapteur plasmonique hybride combinant l'imagerie par résonance plasmonique de surface (SPRI) et l'électrocinétique en courant alternatif (ACEK), afin d'améliorer le transport des bactéries vers la surface sensible. La surface d'or de l'immunocapteur SPR est microstructurée sous forme d'électrodes permettant de générer des phénomènes d'électroosmose en courant alternatif (ACEO) et de diélectrophorèse (DEP). Ces phénomènes sont étudiés expérimentalement et par simulation numérique afin d'identifier les conditions opératoires optimales pour la préconcentration des bactéries à proximité de la surface sensible.
La reconnaissance spécifique de Dickeya repose sur l'immobilisation orientée d'anticorps par chimie click SPAAC sur des couches antifouling à base d'éthylène glycol. Ces couches sont caractérisées par spectroscopie infrarouge, XPS, AFM, fluorescence et SPR afin d'identifier la stratégie de fonctionnalisation permettant de maximiser la reconnaissance entre les anticorps et les bactéries.
L'intégration de l'ACEK au SPRI permet ainsi une préconcentration active des bactéries et une détection spécifique de Dickeya à des concentrations d'environ 10⁴ UFC/mL en quelques minutes, soit une amélioration d'au moins deux ordres de grandeur par rapport au SPRI conventionnel. Cette plateforme ouvre ainsi des perspectives pour la détection rapide, sans marquage et multiplexée de pathogènes bactériens dans les systèmes d'irrigation.

Mots-clés : Immunosenseur, bactéries phytopathogènes, électro-osmose à courant alternatif ; résonance plasmonique de surface, chimie de surface

Best Paper Award pour un article Ampère !

Arnaud Lelevé — 2026-07-27T13:16:38Z

Félicitations à Felipe Machado de Freitas pour avoir reçu le Best Paper Award, pour sa présentation orale au CEFC 2026 qui a eu lieu du 7 au 10 Juin en Grèce !

Les travaux de Grégory Bataillou en vidéo

Arnaud Lelevé — 2026-07-16T08:25:50Z

Grégory Bataillou, ingénieur de recherche au Laboratoire Ampère présente ses travaux de recherche de sur les traitements des polluants dans l'eau potable dans une vidéo de la série Labo-tomisé.

Des herbicides interdits depuis 2003 sont encore détectés dans les réseaux d'eau potable français. Les traitements conventionnels ne permettent pas de gérer efficacement leur élimination.

L' objectif de Grégory : développer des systèmes électrochimiques capables de traiter les polluants émergents, pesticides et perturbateurs endocriniens, plus efficacement, tout en réduisant la consommation énergétique des stations. Au quotidien, il observe l'eau s'éclaircir progressivement dans ses réacteurs. Plus elle s'éclaircit, plus le polluant se dégrade.

Est-ce que ces recherches auront un impact ? "Je l'espère. Dans tous les cas, les problématiques liées à l'eau seront au cœur des enjeux de demain."

https://www.linkedin.com/feed/update/urn:li:ugcPost:7462728967087824897/

Best Paper Award à la conférence CEFC 2026

Arnaud Lelevé — 2026-07-16T08:08:56Z

Lors de la conférence CEFC qui a eu lieu du 7 au 10 juin 2026, Felipe Machado de Freitas, Arnaud Breard, Loris Pace et Christian Vollaire ont été récompensés d'un "Best Paper Award" pour l'article "Optimization of Encapsulated Metamaterial-Based Printed Coils for VHF Power Converter".

Toutes nos félicitations aux auteurs ! 👏 👏 👏

Inauguration du Laboratory of Electrical Engineering and Computing (LEEC) de l'Université de Buea, au Cameroun

Arnaud Lelevé — 2026-07-15T16:35:43Z

Avec l'inauguration du Laboratory of Electrical Engineering and Computing (LEEC) de l'Université de Buea, au Cameroun, une nouvelle étape est franchie dans la coopération académique entre l'Université de Buea et le laboratoire Ampère.

Ce laboratoire est le fruit d'un partenariat développé au fil des années autour d'une conviction commune : créer les conditions d'une formation d'excellence, soutenir une recherche de haut niveau et favoriser l'innovation au bénéfice des territoires.

⚡Équipé grâce à la contribution de l'INSA Lyon : le Laboratoire Ampère et le département Génie électrique, le LEEC offrira un environnement moderne dédié à l'expérimentation, à l'apprentissage et à la recherche en génie électrique, informatique et technologies numériques.

Plus qu'un équipement, ce laboratoire illustre ce que permettent les coopérations universitaires internationales : partager les savoirs, faire émerger les compétences de demain et construire ensemble des réponses aux grands défis scientifiques et sociétaux.

Pierre Brosselard a participé à cette inauguration, en présence notamment du consul général de France au Cameroun.

Vidéos sur FaceBook

Arnaud Lelevé — 2026-07-10T12:44:18Z

Félicitations 👏 à Haotian Xing , premier prix au concours de pitch vidéo OTECI AURA.

L'Oteci est l'Organisation de la Transmission des Compétences et Expériences Intergénérationnelle.
IL s'agissait ici du quatrième concours de Pitchs Vidéo de l'OTECI, organisé cette année par la Délégation régionale Auvergne-Rhône-Alpes.
Le challenge : savoir convaincre avec une vidéo de 90 secondes !
La remise de prix s'est tenue le 28 mai 2026.
Haotian concourrait pour le collège des écoles doctorales de Lyon.

Ampère était à GEBATT'26

Arnaud Lelevé — 2026-07-10T06:07:00Z

Quatre doctorant.e.s du Laboratoire Ampère ont présenté leurs travaux à l'école d'été GEBATT26 organisée par le GT STOCKAGE du GdR SEEDS, le Laboratoire plasma et conversion d'énergie (Laplace ) et le LAAS-CNRS à Toulouse.

Virginia LUGO : Online SoC estimation for Industrial LFP BESS
Aubert HERVÉ et Bakhta FAHDIL : Optimizing environmental impacts of battery use through aging models for microgrid applications
Amidou COULIBALY : Définition d'un profil de sollicitation typique d'une batterie pour la fourniture de la réserve primaire de fréquence.