Distributed controller synthesis for deadlock avoidance

Hugo Gimbert, Corto Mascle, Anca Muscholl +1

We consider the distributed control synthesis problem for systems with locks. The goal is to find local controllers so that the global system does not deadlock. With no restriction…