Jean-Marc ROUSSEL

• Pr Janan Zaytoon, Université de Reims Champagne-Ardennes, chercheur au CReSTIC, Président
  
• Pr Hassane Alla, Université Joseph Fourier à Grenoble, chercheur au gipsa-lab, Rapporteur
  
• Pr Jean-Louis Boimond, Université d'Angers, chercheur au LARIS, Rapporteur
  
• Pr Jean-François Pétin, Université de Lorraine, chercheur au CRAN, Rapporteur
  
• Pr Janan Zaytoon, Université de Reims Champagne-Ardennes, chercheur au CReSTIC, Examinateur
  
• Pr Christophe Bérenguer, Grenoble INP, chercheur au gipsa-lab, Examinateur
• Pr Jean-Jacques Lesage, ENS Cachan, chercheur au LURPA, Garant

Résumé

Les activités de recherche présentées rentrent dans le spectre de la section 61 du CNU et ont pour domaine l'Automatique des Systèmes à Événements Discrets (SED). Elles sont conduites en vue d'accroître la sûreté de fonctionnement des systèmes automatisés comme ceux qu'il est possible de trouver dans le cadre de la production manufacturière, de la production d'énergie ou du transport.

Il sera présenté des travaux relatifs à la conception sûre des systèmes de contrôle-commande à base d'Automates Programmables Industriels (API) et plus particulièrement sur :

• la vérification formelle de programmes de contrôle-commande,
• la synthèse algébrique de programmes de contrôle-commande à partir de spécifications informelles,
• le test de conformité d'un contrôleur logique vis-à-vis de sa spécification.
  

Il sera également présenté des travaux portant sur la formalisation des outils pour l'analyse de sûreté, utilisés dans le cadre de l'analyse prévisionnelle des risques d'un équipement ou d'une installation industrielle. Ils concernent plus particulièrement :

• la modélisation algébrique des arbres de défaillances dynamiques,
• l'analyse prévisionnelle des risques d'un point de vue qualitatif pour les systèmes réparables à partir de Boolean logic Driven Markov Processes (BDMPs),
• l'analyse prévisionnelle des risques d'un point de vue quantitatif pour les systèmes réparables à l'aide de chaînes de Markov.
  

D'une manière générale, les activités de recherche conduites ont pour objectif de proposer des apports formels ou méthodologiques à des outils de modélisation généralement issus de l'industrie tout en répondant à des besoins industriels déjà présents ou sur le point de le devenir.