Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224454
Contributor : Stephan Merz <>
Submitted on : Tuesday, November 17, 2015 - 9:32:55 AM
Last modification on : Tuesday, January 5, 2021 - 12:32:03 PM
Long-term archiving on: : Friday, April 28, 2017 - 10:15:58 PM

File

msr2015.pdf
Files produced by the author(s)

Identifiers

  • 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. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224454v2⟩

Share

Metrics

Record views

193

Files downloads

500