Distributed Control Synthesis

D. Peled; S. Schewe

doi:https://doi.org/10.29007/4wwx

Distributed Control Synthesis

D. Peled, S. Schewe

Department of Computer Science

Bar-Ilan University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	HOWARD-60: Howard Barringer's 60th Birthday
Editors	Andrei Voronkov, Margarita Korovina
Pages	271-288
Number of pages	18
Volume	42
DOIs	https://doi.org/10.29007/4wwx
State	Published - 12 Feb 2014

Access to Document

https://doi.org/10.29007/4wwx

Cite this

@inproceedings{1ae0c5b43ecc41b5ab7c72d10ece9da8,

title = "Distributed Control Synthesis",

abstract = "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.",

author = "D. Peled and S. Schewe",

note = "Place of conference:Manchester, England",

year = "2014",

month = feb,

day = "12",

doi = "https://doi.org/10.29007/4wwx",

language = "الإنجليزيّة",

volume = "42",

pages = "271--288",

editor = "Andrei Voronkov and Margarita Korovina",

booktitle = "HOWARD-60: Howard Barringer's 60th Birthday",

}

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/

U2 - https://doi.org/10.29007/4wwx

DO - https://doi.org/10.29007/4wwx

M3 - منشور من مؤتمر

VL - 42

SP - 271

EP - 288

BT - HOWARD-60: Howard Barringer's 60th Birthday

A2 - Voronkov, Andrei

A2 - Korovina, Margarita

ER -

Distributed Control Synthesis

Abstract

Access to Document

Other files and links

Fingerprint

Cite this