Lurpa - Jean-Marc ROUSSEL

aide

LURPA > Historique > Équipe ISA

Jean-Marc ROUSSEL

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

Recherche au sein de l'équipe ISA

Responsable de l'équipe ISA de novembre 2010 à mai 2015

Enseignement : Département de Génie Mécanique

Thèmes de recherche

Conception sûre des systèmes de contrôle-commande

Synthèse algébrique de programmes de contrôle-commande à partir de spécifications informelles
Test de conformité d'un contrôleur logique vis-à-vis de sa spécification

Formalisation des outils pour les analyses de sûreté

Modélisation algébrique des arbres de défaillance dynamiques
Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes dynamiques réparables
Analyse prévisionnelle des risques à l'aide de chaînes de Markov

Encadrement d'étudiants en thèse

Encadrements en cours (par ordre chronologique d'inscription)

Benjamin AUPETIT

co-direction avec Antoine RAUZY, Department of Production and Quality Engineering, Norwegian University of Science and Technology
co-encadrement avec Michel BATTEUX, IRT SystemX

Clément GALETTA

co-direction avec Jean-Marc FAURE

Encadrements précédents

Animations scientifiques en cours

A l'international

Représentant national au sein du comité technique « TC 3.1 Computers for control » de l'IFAC (de novembre 2011 à novembre 2016)

Comités de programme de conférences

Comités d'organisation de conférences

WODES 2014

Au plan national

Membre du Groupe de travail INCOS du GdR MACS (depuis sa création en septembre 2003)

Membre de l'IMDR (depuis janvier 2013)

Comités de programme de conférences

CETSIS 2014

Au niveau local (ENS Cachan)

	Responsable de la formation SAPHIRE (depuis février 2015)
	Responsable pédagogique du Master M2 ISC - Ingénierie des Systèmes Complexes, Spécialité Sûreté et Sécurité Actives des Systèmes (de 2005 à 2015) Responsable du Laboratoire d'automatique (de 2000 à 2015)