Mind the gap: Expanding communication options in decentralized discrete-event control

Authors:
Laurie Ricker;Benoít Caillaud
Affiliations:
Department of Mathematics and Computer Science, Mount Allison University, Sackville, NB, Canada;INRIA/IRISA, Rennes, France
Venue:
Automatica (Journal of IFAC)
Year:
2011

Citing 4
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Concurrent transition systems

Theoretical Computer Science
A trace semantics for Petri nets

Information and Computation
Knowledge and communication in decentralized discrete-event control

Knowledge and communication in decentralized discrete-event control

Quantified Score

Hi-index	22.14

Visualization

Abstract

Frameworks that incorporate communication into decentralized supervisory control theory address the following problem: find locations in the evolution of the plant behavior where supervisors send information so that a supervisor that was unable to make the correct control decision prior to receiving external information, is now capable of making the correct control decision. Existing solutions to this problem identify an earliest and a latest placement where the communication protocol leads to the synthesis of a correct control solution. In addition to the first and last communication opportunities, there may be a selection of intermediate possibilities where communication would also produce the correct control solution. We present a computable procedure to identify a broader range of suitable communication locations.