Thèmes de recherche

L'objectif général de mes recherches est d'améliorer la sûreté de fonctionnement d'un système par des méthodes formelles de synthèse, de vérification et de theorem proving pour les Systèmes à Evénements Discrets (SED). Plus particulièrement, mes travaux se sont initialement focalisés sur les commutations de modes d'un système et se sont orientés plus récemment vers le domaine des maisons intelligentes pour les personnes dépendantes. Ces travaux ont portés sur la sécurité des personnes suivant les tâches que celles-ci pouvaient être amenées à réaliser.

• Synthèse de contrôleurs discrets

Mes travaux sur les commutations sûrs de mode concernent une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications.

La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Mes travaux proposent une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode.

• Maison/Bâtiment Intelligent

Des premiers travaux au LURPA ont montré qu'il était possible, sous certaines conditions, de construire un modèle de comportement de personnes dans une habitation pourvue de capteurs adéquats. Ce modèle de comportement est, de plus, réalisé par automate à états, ce qui permet d'en établir certaines propriétés mathématiques.

Afin d'améliorer la sécurité des personnes qui y vivent, et peuvent potentiellement présenter des problèmes de santé, nous souhaitons dans nos travaux modéliser le comportement des actionneurs dans l'habitat et proposer une organisation pour protéger les personnes qui y vivent.

Ce travail se base sur les modèles représentant la localisation d'une personne, ainsi que la théorie de contrôle par supervision permettant d'assurer que les spécifications sont vérifiées. À partir d'une modélisation des divers actionneurs, nous avons proposé l'ajout d'une priorité d'activation, ainsi qu'une contrôlabilité partielle des événements (non-contrôlable initialement). En effet, nous montrons par des exemples l'intérêt, et la faisabilité, de considérer des événements ni totalement contrôlables ni non-contrôlables mais ayant une contrôlabilité sous conditions. Les travaux ont également proposé un exemple d'implémentation pour assurer une sécurité optimale des personnes suivant les différents accidents de la vie quotidienne pouvant se produire.

Thèses en cours

• Yan MONIER, "Identification adaptative de systèmes hybrides dans le contexte des jumeaux numériques Cyber-Physiques ", ENS Paris-Saclay (Thèse 2021-2024)
  

Thèses Soutenues

• Kevin FOUQUET, "Détection des évolutions d’habitudes de vie de personnes fragiles dans un* *habitat intelligent", ENS Paris-Saclay 2021 (Thèse 2018-2021)

• Kevin VIARD, "Modélisation des habitudes de vie et détection de leurs déviations dans un habitat intelligent", ENS Paris-Saclay 2018 (Thèse 2015-2018)

• Jérémie SAIVES, "Identification distribuée des Systèmes à événements Discrets concurrents", ENS Cachan 2013 (Thèse 2013-2016)

• Co-Chair du Technical Comittee (TC) : "Automation in Health Care Management" pour l'IEEE Robotics & Automation Society (Lien vers la page du TC)

• Elaboration (avec Maria Pia Fanti de l'école Polytechnique de Bari et Walter Ukovich de l'université de Trieste, en Italie) d'un projet de recherche : « Advanced IT platform enabling well being and healthcare at home : healthyHome ».

• Reviewer dans différentes conférences internationales : ETFA, CASE, DCDS, ECC, IROS, Incom, MED, et dans des journaux francophones : JESA

• Publications : 7 revues JCR (Q1) / 15 Conférences Internationales

• Publications sur les 4 dernières années : 4 revues JCR (Q1) / 5 Conférences Internationales

• Encadrements :
o 3 thèses (1 en cours) pour un total de : 170 % de taux d’encadrement (resp. 50-50-70%)
o 12 étudiants de niveau M2, dont 5 étudiants étrangers.

• Co-chair du TC “Automation in healthcare management” à l’IEEE Robotics and Automation Society (IEEE RAS)

• Associate Editor des conférences IEEE CASE et IEEE SMC

• Membre du « ClubEEA » et de la « Société d’Automatique, de Génie Industriel et de Productique (SAGIP) »

• Membre élu de la CNU 61ème section pour le mandat 2019-2023

• Prime d’Encadrement Doctorale et de Recherche (PEDR) sur la période 2021-2024