Evènement pour le groupe Modélisation et Verification


Date 2011-11-03  11:30-12:30
TitreControlling distributed systems  
RésuméWe consider the problem of controlling distributed automata that cooperate via shared variables (rendez-vous). The setting corresponds to the framework of Ramadge and Wonham, where certain actions (controllable ones) can be forbidden by the local controller. Although the general question is still open, we show that the problem is decidable on acyclic architectures, albeit of non-elementary complexity. Joint work with B. Genest, H. Gimbert and I. Walukiewicz. 
Lieu076 
OrateurAnca Muscholl 
Emailanca@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index