Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Recherche > Équipe ISA

Gregory FARAUT


 
Maître de Conférences à l'ENS Cachan


  • Enseignant au Département Génie Mécanique
    • Automatique
    • Programmation Python
    • Traitement du Signal
    • Projet Robotique

  • Chercheur au Laboratoire Universitaire de Recherche en Production Automatisée (LURPA)
    • Identification
    • Vérification formelle
    • Maisons et bâtiments intelligents 
    • Synthèse de contrôleurs discrets
 Grégory FARAUT



Thèmes de recherche


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.


Encadrement d'étudiants en thèse ou en stage de Recherche

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

Encadrements précédents

  • Clément Pianon, "Détection de déviations d'activités quotidiennes basées sur un modèle automate", ENS Cachan 2014 (Stage Master 2)
  • Jérémie Saives, "Modélisation temporelles des activités quotidiennes", ENS Cachan 2013 (Stage Master 2)
  • Raouf Boussif, "Réalisation d'un model-checker pour VHDL et spécification PSL", ENS Cachan/EDF &D 2013 (Stage Master 2)
  • Antoine Butez, "Apport de la SCT pour l'établissement d'un modèle de maison intelligente", ENS Cachan 2012 (Stage Master 2)



Animations scientifiques en cours


  • 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




Au niveau local (ENS Cachan)


Responsable des stages M1
pour le DGM (depuis Octobre 2011)




Équipe de rattachement

Coordonnées

Adresse
LURPA, ENS Cachan
61 avenue du Président Wilson
94235 CACHAN Cedex
Téléphone
33 (0) 147 402 413
Courriel
gregory.faraut@lurpa.ens-cachan.fr

Projets

  • Ambient Assisted Living

Autres pages professionnelles

  • Annuaire de l'ENS Cachan