TY - GEN
T1 - Distributed Control Synthesis
AU - Peled, D.
AU - Schewe, S.
N1 - Place of conference:Manchester, England
PY - 2014/2/12
Y1 - 2014/2/12
N2 - Synthesis of control for distributed systems is considered to be undecidable problem, under the assumption that control is performed by supervisors syncrhonizing with the original processes and selectively blocking or supporting the enabled transitions. We describe a decidable distributed control problem, where additional communications are allowed between supervisors. In this way, we synthesize control for invariants, reachability, repeated reachability and parity conditions. Special attention is given to reducing the number of added communications.
AB - Synthesis of control for distributed systems is considered to be undecidable problem, under the assumption that control is performed by supervisors syncrhonizing with the original processes and selectively blocking or supporting the enabled transitions. We describe a decidable distributed control problem, where additional communications are allowed between supervisors. In this way, we synthesize control for invariants, reachability, repeated reachability and parity conditions. Special attention is given to reducing the number of added communications.
UR - https://www.mendeley.com/catalogue/7b2b256d-7684-3cf4-8dff-a01dc2d77782/
UR - https://www.mendeley.com/catalogue/7b2b256d-7684-3cf4-8dff-a01dc2d77782/
U2 - 10.29007/4wwx
DO - 10.29007/4wwx
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
VL - 42
SP - 271
EP - 288
BT - HOWARD-60: Howard Barringer's 60th Birthday
A2 - Voronkov, Andrei
A2 - Korovina, Margarita
PB - EasyChair
ER -