Modelisation des modes de marche d'un systeme automatise de production

par PIERRE BILAND

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Elloy.

Soutenue en 1994

à Nantes .

    mots clés mots clés


  • Résumé

    La bibliographie sur les systemes automatises de production reconnait largement l'importance des modes de marche (et d'arret) dans le cycle de vie des s. A. P. , aussi bien dans la phase de conception que dans la phase d'exploitation. Mais il existe actuellement fort peu d'outils permettant de les modeliser ou de les integrer lors de la conception. L'objectif de cette these est de proposer une approche unifiee des modes de marche d'un s. A. P. Partant d'un point de vue g. E. M. M. A. , on modelise le comportement de chacun des differents composants elementaires d'un atelier par un automate fini deterministe dont les etats sont les modes de marche, les transitions etant les commutations entre modes. Puis, par composition, en respectant la structure fortement hierarchique d'un s. A. P. , en integrant les interactions et les contraintes de fonctionnement entre composants, et en effectuant a chaque niveau de la hierarchie une abstraction par encapsulation des niveaux inferieurs, on modelise le comportement du s. A. P. Dans sa globalite. Cette demarche s'accompagne, en outre, de la construction d'un gestionnaire pour chaque niveau d'encapsulation, gestionnaire constituant une modelisation du logiciel de commande a mettre en uvre. La modelisation a l'aide d'automates finis deterministes permet une formalisation des differentes operations effectuees. Un premier chapitre introductif presente le contexte de cette recherche, celui des s. A. P. , et on y situe la notion de mode de marche par rapport aux differents termes et aux differentes interpretations rencontrees. Le second chapitre expose le modele avec les caracteristiques et les contraintes prises en compte par cette approche; le troisieme en effectue sa specification formelle. Le quatrieme et dernier chapitre est un exemple de sa mise en uvre dans le cadre des langages de configuration


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 208 P.
  • Annexes : 81 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1482 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1482
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 94 NANT 2012
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 94 NANT 2012
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.