Towards Distributed Control of Discrete Event Systems

Philippe Darondeau 1 Laurie Ricker 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 Department of Mathematics and Computer Science [Mount Allison University]
Abstract : To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated region based methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers.
Type de document :
Communication dans un congrès
Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. 725, pp.63-78, 2011, CEUR Workshop Proceedings
Liste complète des métadonnées
https://hal.inria.fr/hal-00650973
Contributeur : Ist Rennes <>
Soumis le : lundi 12 décembre 2011 - 15:36:01
Dernière modification le : vendredi 16 novembre 2018 - 01:22:59

Identifiants

  • HAL Id : hal-00650973, version 1

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems. Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. 725, pp.63-78, 2011, CEUR Workshop Proceedings. 〈hal-00650973〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

249

Contact


archive-ouverte@inria.fr