Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Asynchronous Games over Tree Architectures

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Anca Muscholl
Date
Le mardi 26 juin 2012 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Anca Muscholl (LaBRI, Université Bordeaux-1)

We consider the control problem for Zielonka asynchronous automata. This is a distributed synthesis problem since Zielonka automata is an asynchronous parallel composition of finite processes communicating via rendez-vous. The most important aspect of this model is that the processes participating in a rendez-vous can exchange complete information about their causal past. It is an intriguing open problem whether the control problem is decidable in this setting. We show decidability of the control problem for Zielonka automata over an acyclic communication architecture. The complexity of our algorithm is l-fold exponential with l being the height of the tree representing the architecture. We show that this complexity is tight.

This is joint work with B. Genest, H. Gimbert and I. Walukiewicz.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents