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 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .
- Système paramètre réparti
- Commande processus
- Atelier flexible
- Synthèse commande
- Réseau Petri
- Spécification
- Organisation
- Validation
- Évaluation
- Modélisation
- Distributed parameter system
- Process control
- Flexible manufacturing system
- Control synthesis
- Petri net
- Specification
- Organization
- Validation
- Évaluation
- Modeling
- Petri, Réseaux de
- Automatismes séquentiels
- Systèmes à paramètres répartis
- Commande automatique -- Informatique
mots clés
-
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.
