Distributed Synthesis

Abstract

I will give a brief tutorial of synthesis in a distributed setting, where the goal is to automatically synthesize, if they exist, a set of distributed observers or controllers which together achieve a specific goal. Rather than giving an exhaustive survey I will focus on specific aspects of the problem. In particular, my talk will be structured in two parts. In the first part I discuss theoretical aspects, specifically decidability and undecidability. In the second part I discuss distributed synthesis in practice, specifically, automatically synthesizing protocols such as the Alternating Bit Protocol using a combination of example scenarios and formal specifications as user inputs.