Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets

Résumé : La théorie du contrôle par supervision fournit un cadre formel pour la modélisation des Systèmes à Evénements Discrets (SED) et la synthèse de contrôleurs en fournissant une distinction explicite entre le système non contrôlé et les spécifications. Elle a de nombreuses extensions et applications et a donné lieu à de nombreux travaux de par le monde. L'utilisation des événements comme élément central de l'étude des systèmes est la clé de ce succès. Elle a cependant l'inconvénient de contraindre le concepteur à étudier la dynamique des systèmes uniquement à travers des successions d'événements. Cela n'est en théorie pas une limite, mais en pratique cela peut rendre difficile l'expression des spécifications. Dans cet article nous proposons un nouveau type d'automate à états facilitant l'expression de ces spécifications tout en restant dans le cadre du contrôle de systèmes modélisés par des automates à états tels qu'utilisés dans la théorie de Ramadge et Wonham.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. MSR 2015, Nov 2015, Nancy, France. 10ème colloque sur la Modélisation des Systèmes Réactifs
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01224454
Contributeur : Stephan Merz <>
Soumis le : mardi 17 novembre 2015 - 09:32:55
Dernière modification le : vendredi 6 avril 2018 - 19:38:03
Document(s) archivé(s) le : vendredi 28 avril 2017 - 22:15:58

Fichier

msr2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224454, version 2

Collections

Citation

Laurent Piétrac, Emil Dumitrescu, Eric Niel. Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets. Stephan Merz and Jean-François Pétin. MSR 2015, Nov 2015, Nancy, France. 10ème colloque sur la Modélisation des Systèmes Réactifs. 〈hal-01224454v2〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

77