Menu

Gregory FARAUT

PARIS

En résumé

Docteur en Automatique (discrète) et d'informatique industrielle.

Je suis Actuellement Maître de Conférences au sein de l'ENS de Cachan et du Laboratoire Universitaire de Recherche en Production automatisée (LURPA).

Mon domaine de recherche porte sur la gestion de modes pour les Systèmes à Événements Discrets (SED). Un mode est une configuration particulière d'un système dans laquelle celui-ci utilise un ensemble de composants et doit respecter un ensemble de spécifications. Changer de configuration ou de spécifications est équivalent à un changement de mode. La problématique sur la gestion de modes concerne donc aussi bien la conception d'un mode que les connexions de ces modes entre eux. Afin de respecter les spécifications requises par le système, nous utilisons la théorie de contrôle par supervision (SCT) qui permet de concevoir des modèles sûrs par construction.

Les applications cibles de mes travaux sont les SED tels que les systèmes embarqués, les systèmes de production, les systèmes de gestion du trafic, les systèmes logistiques, les protocoles de communications, etc.

Formalismes Connus:
C/C++, Python, Matlab/simulink, UML, VHDL.
Théories : theorem proving et model-chekcing

Mes compétences :
R&D
MATLAB

Entreprises

  • ENS de Cachan - Maître de Conférences

    2011 - maintenant Maître de Conférences au sein de l'ENS de cachan, j'effectue principalement mes enseignements dans le domaine de l'asservissement de systèmes continus (linéaires, non-linéaires), avec également des notions d'échantillonnage.

    Mon domaine de recherche au sein du Laboratoire Universitaire de Recherche en Production Automatisée LURPA), dans l'équipe d'Ingénierie des Systèmes Automatisés (ISA) s'oriente actuellement vers deux voies d'expertises :

    - La modélisation de systèmes complexes en vue de réduire l'explosion combinatoire et faciliter le respect de spécifications diverses,

    - L'ambient assited living dont le but est d'assurer la sécurité et le bien-être des personnes vivant dans une maison pro-active.

  • I3S : Ecole Doctorale STIC - Etudiant en Master Systèmes Embarqués

    2006 - 2006 ETUDIANT EN MASTER : EMBEDDED SYSTEMS

    Systèmes sur Puces pour les Télécommunications :
    Low-Power, Communications Numériques, Réseaux Locaux sans fil et théorie d’estimation et de détection
    Sécurité des Systèmes Critiques Embarqués :
    Modélisation et validation de systèmes Numériques, Modélisation par UML et Ordonnancement de systèmes


    Site de L'école Doctorale:
    http://edstic.i3s.unice.fr/

    Site du Master SE:
    http://www.i3s.unice.fr/systemes-embarques/

  • Thales Underwater System - Ingénieur stagiaire dans le Groupe de Conception Numérique

    Courbevoie 2006 - 2006 Février à Juillet 2006: Mission à Thales Underwater System.
    "Création d'un bloc fonctionnel générique pour une chaîne de traitement Sonar"

    L'utilisation de bloc générique permet une meilleure flexibilité en terme de production et en terme de rapidité de développement.
    Mon travail consistait à élaborer des blocs d'une chaîne de traitement sonar qui soient génériques et ré-utilisable selon les besoins.

    La première partie de ce travail fût réalisée sur Matlab/Simulink pour l'élaboration des algorithmes. La deuxième partie fut la validation des blocs fonctionnels par des simulations hardware-in-the-loop. Enfin la dernière partie fut l'implémentation sur des puces FPGA (Xilinx).

    L'objectif final était l'implémentation de ces chaînes de traitement sur les puces Fpga embarquées dans les divers produits.

    Site web de Thales:
    http://www.thalesgroup.com/

    Site web du groupe Thales underwater (division sous-marines):
    http://www.thales-naval.com/naval/

  • Laboratoire AMPERE (UMR-CNRS) - Doctorant

    2006 - 2011 J'occupais un poste de Doctorant au sein du laboratoire AMPÈRE qui rassemble des chercheurs dans les domaines de l'automatique, de l'électricité et de la qualité environnementale.

    Doctorant au laboratoire Ampère, mon domaine de recherche porte sur la gestion de modes pour les Systèmes à Événements Discrets (SED). Un mode est une configuration physique particulière du système dans laquelle celui-ci doit respecter un ensemble de spécification. Changer de configuration ou de spécifications est équivalent à un changement de mode. La problématique sur la gestion de modes concerne donc la conception d'un mode et les connexions de ces modes entre eux. Pour assurer que les spécifications requises par le système soient respectées, nous utilisons la théorie de contrôle par supervision (SCT) qui permet de concevoir des modèles sûrs par construction.

    Les applications cibles de mes travaux sont les SED tels que les systèmes embarqués, les systèmes de production, les protocoles de communications, etc.

    Site web du laboratoire AMPERE:
    http://www.ampere-lab.fr/

    Site web de l'école où se trouve mon laboratoire.
    INSA-LYON:
    http://www.insa-lyon.fr/

  • Croix-Rouge Monégasque - Formateur

    CANDE 2004 - 2005 Formateur de Premiers Secours,

    Mon rôle était d'assurer la formation initiale et continue du personnel de la communauté Monégasque.

    J'intervenais également pour des missions de secours lors de grands événements (Grand Prix de formule 1, rencontres nationales et internationales de football, marathons, etc.)

    Site web de la Croix-Rouge Monégasque:
    http://www.croix-rouge.mc/

  • Centre Antoine Lacassagne - Stagiaire : Service de Physique Médical

    2003 - 2003 Stage de 2 mois effectué l'été 2003:
    Stagiaire dans le service de Physique Médical, ma mission consistait à la réalisation de deux objectifs.
    Le premier était l'étude du fonctionnement des différents appareils entrant dans le cadre de traitement par radiothérapie et d'imagerie médical. Cela consistait à assurer que ces machines soient constamment étalonnées et que les protocoles de sécurité soient respectés.
    Le deuxième objectif était l'étude des zones à risques suivant le taux de radioactivité ambiant et proposer des solutions de protections.


    Site web de l'Hôpital Lacassagne de Nice (06):
    http://www.centreantoinelacassagne.org/
    http://213.30.181.69/cal/index.htm

    (NB : l'adresse web peut être temporaire et avoir changé depuis l'écriture de cette mission)

  • Service départemental d'Incendies et de Secours (SDIS 06) - Sapeurs Pompiers Volontaire

    1999 - 2001 Sapeurs Pompiers Volontaire dans le 06,
    Je contribuais (dans une équipe) à assurer le service de secours à personnes. J'intervenais également sur les feux de forêts ou les incendies urbains.

    Site web du Service Département d'Incendie et de Secours (du 06):
    www.sdis06.fr/

  • Croix-Rouge Française - Bénévole

    Paris 1998 - 2006 Bénévole à la Croix-Rouge Française:
    En poste de secours, j'occupe la fonction de Chef d'Intervention (CI).
    La croix-rouge assure un service de secours lors de regroupement de personnes de types concerts, marathon, course cycliste, manifestation ou événements sportifs. Son rôle est d'assurer les premiers gestes de secours lors d'un accident sur ces événements et dans l'attente de secours médicalisés.

    Mon rôle au sein de ces événements est d'assurer la mise en œuvre des moyens nécessaires à toutes interventions relevant d'un problème médical et survenant sur le lieux de l'événement. Ainsi, la coordination des équipes de secours sur le lieu et la conformité des gestes effectués sont ma principale occupation.

    Lors de situation d'urgence, j'intègre les bénévoles aptes à se déplacer pour réaliser les premiers soins.

    Associations de la Croix-Rouge Française:
    http://www.croix-rouge.fr/

    Comité International de la Croix-Rouge:
    http://www.icrc.org/fre

Formations

Réseau

Annuaire des membres :