Methods for Knowledge Based Controlling of Distributed SystemsReportar como inadecuado

Methods for Knowledge Based Controlling of Distributed Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

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



Documentos relacionados