TCDES Tutorial

Distributed Synthesis

Stavros Tripakis

Date & Time

Thu, April 22, 2021

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.


Presenter

Stavros Tripakis

Northeastern University
United States

Date & Time

Thu, April 22, 2021