Skip to Main content Skip to Navigation
Conference papers

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

https://hal.inria.fr/hal-00650973
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Monday, December 12, 2011 - 3:36:01 PM
Last modification on : Friday, February 4, 2022 - 3:23:23 AM

Identifiers

  • HAL Id : hal-00650973, version 1

Citation

Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. pp.63-78. ⟨hal-00650973⟩

Share

Metrics

Record views

75