Representation et supervision des systemes hybrides par reseaux de petri

par MOSTAFA MAHMOUD MAHMOUD GOMAA

Thèse de doctorat en Sciences appliquées

Sous la direction de Sylviane Gentil.

Soutenue en 1997

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    Les travaux que ce memoire presente se situent dans le cadre de la representation et de la supervision des systemes dynamiques hybrides (sdh). Un sdh comprend une interaction entre deux parties continue (le procede et son systeme de commande) et discrete (le systeme de controle). D'abord, nous proposons un modele, oriente vers la supervision, fonde sur une extension des reseaux de petri (rdp), pour la representation d'un sdh. Ce modele est un rdp hybride denomme rdp continu causal hybride (rdpc#2h). Le rdpc#2h est l'integration de trois rdps : un rdp continu temporise qu'on a appele reseau de petri continu causal (rdpc#2) ; c'est un modele approximatif mais simple a etablir, modelisant de facon 2causale1 la partie continue du sdh ; un rdp classique modelisant le systeme de controle (systeme a evenements discrets) ; et un rdp classique et simple modelisant l'interaction entre la partie continue et le systeme de controle. Le rdpc#2 resulte d'un lien propose entre une methode de modelisation causale des systemes continus (a base des graphes causaux dynamiques orientes et fondee sur une representation asynchrone des evolutions des variables, approximees par des fonctions affines par morceaux), et les outils rdps. Dans un rdpc#2, les places representent les variables continues ; les transitions sont franchies avec des vitesses dependant des parametres des liens dynamiques causaux entres les variables, et du marquage des places en amont, qui represente l'evolution temporelle des variables. Le rdpc#2h presente l'avantage d'etre un modele 2unifie homogene1. Ensuite, nous proposons la conception d'un systeme de supervision, detection et diagnostic de defauts (sddd) fondee sur un modele rdpc#2h. Le systeme de detection de defauts, influencant les variables continues, est realise de facon asynchrone ; la localisation de defauts est effectuee par le chainage arriere/avant des liens causaux entre les variables en utilisant leurs informations temporelles. Des exemples illustratifs et des applications sont donnees.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 221 P.
  • Annexes : 53 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.