Methods for knowledge based controlling of distributed systems

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Scopus citations

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.

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings
Pages52-66
Number of pages15
DOIs
StatePublished - 2010
Event8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010 - Singapore, Singapore
Duration: 21 Sep 201024 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6252 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010
Country/TerritorySingapore
CitySingapore
Period21/09/1024/09/10

Fingerprint

Dive into the research topics of 'Methods for knowledge based controlling of distributed systems'. Together they form a unique fingerprint.

Cite this