Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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

Résumé : Les activités de recherche 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. Une grande partie de ces recherches a concerné la conception sûre des systèmes de contrôle-commande à base d’Automates Programmables Industriels (API) et plus particulièrement les thématiques suivantes : - 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. D'autres recherches ont porté 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. Cette formalisation des outils utilisés en sûreté a été faite en examinant avec un point de vue SED une problématique qui ne l’était pas à son origine. Il a été étudié : - 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, ces activités de recherche 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

https://hal.archives-ouvertes.fr/tel-01162984
Contributor : Jean-Marc Roussel Connect in order to contact the contributor
Submitted on : Thursday, June 11, 2015 - 6:18:55 PM
Last modification on : Sunday, June 26, 2022 - 12:03:33 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:07:42 AM

Identifiers

  • HAL Id : tel-01162984, version 1

Citation

Jean-Marc Roussel. Contribution à la commande sûre des Systèmes à Événements Discrets. Automatique / Robotique. ENS Cachan, 2014. ⟨tel-01162984⟩

Share

Metrics

Record views

194

Files downloads

421