Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Publications > Thèses et HdR > Habilitations

Recherche - Valorisation

Contribution à la commande sûre des Systèmes à Événements Discrets

le 1 juillet 2014

HdR de Jean-Marc ROUSSEL (LURPA) Domaine : Electronique - Electrotechnique - Automatique

Jean-Marc ROUSSEL

Jean-Marc ROUSSEL

Jury


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.

Type :
Thèses - HDR
Lieu(x) :
Campus de Cachan

Laboratoire d'accueil

Ecole doctorale

Logo EDSP

Mémoire de thèse

TamponHal

Recherche d'une actualité

Recherche d'une actualité