Towards Distributed Control of Discrete Event Systems

Philippe Darondeau (1) , Laurie Ricker (2)

1 S4 - System synthesis and supervision, scenarios
2 Department of Mathematics and Computer Science [Mount Allison University]

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.

Domaines: Autre [cs.OH]

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⟩