PESSOA: A Tool for Embedded Controller Synthesis

Manuel Mazo Jr., Anna Davitian, Paulo Tabuada

Abstract: In this paper we present Pessoa, a tool for the synthesis of correct-by-design embedded control software. Pessoa relies on recent results on approximate abstractions of control systems to reduce the synthesis of control software to the synthesis of reactive controllers for finite-state models. We describe the capabilities of Pessoa and illustrate them through an example.