Distributed synthesis for acyclic architectures

Anca Muscholl (1) , Igor Walukiewicz (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

The distributed synthesis problem is about constructing cor- rect distributed systems, i.e., systems that satisfy a given specification. We consider a slightly more general problem of distributed control, where the goal is to restrict the behavior of a given distributed system in order to satisfy the specification. Our systems are finite state machines that communicate via rendez-vous (Zielonka automata). We show decidability of the synthesis problem for all omega-regular local specifications, under the restriction that the communication graph of the system is acyclic. This result extends a previous decidability result for a restricted form of local reachability specifications.

Domaines: Informatique et théorie des jeux [cs.GT]

Anca Muscholl, Igor Walukiewicz. Distributed synthesis for acyclic architectures. FSTTCS, 2014, Bombai, India. ⟨10.4230/LIPIcs.FSTTCS.2014.639⟩. ⟨hal-00946554v2⟩