Methods for Knowledge Based Controlling of Distributed SystemsReport as inadecuate

Methods for Knowledge Based Controlling of Distributed Systems - Download this document for free, or read online. Document in PDF available to download.

1 VERIMAG - IMAG - VERIMAG 2 Department of Computer Science Bar Ilan

Abstract : Controlling concurrent systems to impose some global invariant, is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under this flexible design assumption, the synthesis problem remains highly intractable. One practical method fordesigning controllers is based on checking knowledge properties upon which the processes can make their decisions whether to allow or block transitions. A major deficiency of this synthesis method is in calculating the knowledge based on the given system that we want to control, and not on the resulted system. The original system has less knowledge, and as a result, we may introduce far more synchronization than needed. In this paper we show techniques to reduce this overhead.

Keywords : distributed systems distributed control knowledge

Author: Saddek Bensalem - Marius Bozga - Susanne Graf - Doron Peled - Sophie Quinton -



Related documents