Methods for Knowledge Based Controlling of Distributed Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Methods for Knowledge Based Controlling of Distributed Systems

Saddek Bensalem
Marius Bozga
Susanne Graf
Sophie Quinton

Résumé

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.
Fichier principal
Vignette du fichier
atva-10.pdf (203.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00557799 , version 1 (20-01-2011)

Identifiants

Citer

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton. Methods for Knowledge Based Controlling of Distributed Systems. Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Sep 2010, Singapour, Singapore. pp.52-66, ⟨10.1007/978-3-642-15643-4_6⟩. ⟨hal-00557799⟩
119 Consultations
189 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More