Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Publications > Thèses et HdR > Thèses

Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques

le 28 mai 2009

Thèse de Yann HIETTER (LURPA) Domaine : Electronique - Electrotechnique - Automatique

Jury
  • Jean-Louis FERRIER, Professeur à l'ISTIA, Président
  • Janan ZAYTOON, Professeur à l'Université de Reims Champagne-Ardenne, Rapporteur
  • Jean-François PETIN, Maître de conférence HdR à l'INPL, Rapporteur
  • Étienne CRAYE, Professeur à l'École Centrale Lille, Examinateur
  • Jean-Jacques LESAGE, Professeur à l'ENS Cachan, Directeur de thèse
  • Jean-Marc ROUSSEL, Maître de conférences à l'ENS Cachan, Co-encadrant


Mots-clés : synthèse algébrique, système à évènements discrets logique,  résolution d'équations sur une algèbre de Boole


Résumé

Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution de manière littérale d'un système d'équations représentant ces exigences.
Le cadre mathématique, support de ces travaux, est l'algèbre de Boole des fonctions booléennes. Ce cadre mathématique a été retenu pour les raisons suivantes :

  • Dans le cas particulier des SED logiques non temporisés, toute loi de commande peut être décrite à l'aide de fonctions booléennes.
  • Les exigences exposées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes.
  • Les résultats obtenus dans le cadre de cette thèse nous permettent de déterminer automatiquement quelles sont les fonctions booléennes qui satisfont le système d'équations entre fonctions booléennes représentant ces exigences.

La méthode proposée permet au concepteur d'exprimer les exigences dans des formalismes différents. Il a également la possibilité de fixer la forme de la solution qu'il souhaite obtenir ou de ne réaliser la synthèse que sur une partie du modèle.

Le chapitre 2 de ce mémoire est consacré à la présentation des résultats mathématiques que nous avons établis pour pouvoir résoudre un système d'équations à n inconnues dans toute structure d'algèbre de Boole.

L'approche de synthèse est détaillée au chapitre 3 au travers du traitement de 3 exemples de taille et de complexité croissantes. Nous montrons comment les exigences exprimées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. La résolution du système d'équations est réalisée automatiquement grâce à une maquette informatique développée au LURPA.

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é