Distributed Control Synthesis

D. Peled, S. Schewe

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationHOWARD-60: Howard Barringer's 60th Birthday
EditorsAndrei Voronkov, Margarita Korovina
PublisherEasyChair
Pages271-288
Number of pages18
Volume42
DOIs
StatePublished - 12 Feb 2014

Bibliographical note

Place of conference:Manchester, England

Fingerprint

Dive into the research topics of 'Distributed Control Synthesis'. Together they form a unique fingerprint.

Cite this