Partenaires

Ampère

Nos tutelles

CNRS Ecole Centrale de Lyon Université de Lyon Université Lyon 1 INSA de Lyon

Nos partenaires

Ingénierie@Lyon



Rechercher


Accueil > Thèses et HDR > Thèses en 2010

Grégory FARAUT - 07 déc. 2010 à 10h30 - INSA de Lyon

publié le , mis à jour le

Grégory FARAUT soutient sa thèse le 07 décembre 2010 à 10h30 - Amphi René Char à l’INSA de Lyon


Titre : Commutations sûres de mode pour les systèmes à événements discrets

Jury :

  • Directeurs de thèse : Eric NIEL ; Laurent PIETRAC
  • Rapporteurs : Etienne CRAYE ; Olivier H. ROUX
  • Examinateurs : Charles ANDRÉ ; Nidhal REZG

Résumé :

Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications.
La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode.
Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L’étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d’étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L’étape suivante est l’exécution d’une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d’aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d’états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l’applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l’utilisons sur un exemple de taille importante utilisée dans la littérature.

Voir en ligne : Texte complet