Pessoa

PESSOA: A Tool for Embedded Controller Synthesis

Description: Pessoa is a software toolbox, developed at UCLA's CyPhyLab, for the synthesis of correct-by-design embedded control software. It is based on the recent notion of approximate bisimulation that allows one to replace differential equations, describing a physical system, by an equivalent finite-state machine. Controller design problems can then be solved by using efficient synthesis algorithms operating over the equivalent finite-state machine models. The resulting controllers are also finite-state, are guaranteed to enforce the control specifications on the original physical system, and can be readily transformed into bug-free code for any desired digital platform. The development of Pessoa was partially supported by the NSF awards 0717188, 0820061, and 0953994.

VO Integration: No

Active: No

Available Benchmarks: No

Website: https://sites.google.com/a/cyphylab.ee.ucla.edu/pessoa/

Download: Link

Documentation: Tutorial and examples. There is also an book, linked here, describing the underlying theory.

Contact: Link to list of contributors.

Excerpt and graphic from: https://sites.google.com/a/cyphylab.ee.ucla.edu/pessoa/