Distributed Control Synthesis

18 pages•Published: February 12, 2014

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.

In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 271-288.

Links:	https://easychair.org/publications/paper/KWT
	https://doi.org/10.29007/4wwx

BibTeX entry

@inproceedings{HOWARD-60:Distributed_Control_Synthesis,
  author    = {Doron Peled and Sven Schewe},
  title     = {Distributed Control Synthesis},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KWT},
  doi       = {10.29007/4wwx},
  pages     = {271-288},
  year      = {2014}}

Download PDF Open PDF in browser