Towards Distributed Control of Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Towards Distributed Control of Discrete Event Systems

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.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00650973 , version 1 (12-12-2011)

Identifiers

  • HAL Id : hal-00650973 , version 1

Cite

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⟩
78 View
0 Download

Share

Gmail Facebook X LinkedIn More