M2c : une approche méthodique pour la conception certifiée des systèmes de commande des automatismes industriels répartis

par Joachim Tankoano

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Claude Derniame.

Soutenue en 1988

à Nancy 1 .


  • Résumé

    Présentation d'une approche méthode de conception rigoureuse des systèmes de commande répartis, qui s'appuie sur : une démarche globale, 4 modèles de représentation et 2 outils (Petri-C et Petri-S). Les caractéristiques essentielles de cette approche résident dans le fait de s'imposer des règles de construction et de transformation mécanisables et dans la modélisation de l'environnement commandé et du flux d'activité

  • Titre traduit

    M2C : a method for the certified design of distributed industrial automatisms controllers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (344 p.)
  • Annexes : Bibliogr. p. 1-16

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure des mines. Centre de documentation et d'information.
  • Disponible pour le PEB
  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Disponible pour le PEB
  • Cote : TNY 1988 TANKOANO J.
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Cote : SC N1988 56
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : TANKOANO m
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.