Sciweavers

ATVA
2010
Springer

Methods for Knowledge Based Controlling of Distributed Systems

13 years 3 months ago
Methods for Knowledge Based Controlling of Distributed Systems
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 for designing 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 lies in calculating the knowledge based on the 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.
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron
Added 06 Dec 2010
Updated 06 Dec 2010
Type Conference
Year 2010
Where ATVA
Authors Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton
Comments (0)