PESSOA: A Tool for Embedded Controller Synthesis

  • Manuel MazoJr.
  • Anna Davitian
  • Paulo Tabuada
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6174)


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.


Temporal Logic Linear Temporal Logic Control Software Binary Decision Diagram Linear Control System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [Ari]
  2. [Be99]
    Balarin, F., et al.: Synthesis of Software Programs for Embedded Control Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18(6), 834–849 (1999)CrossRefGoogle Scholar
  3. Bloem, R., et al.: Specify, Compile, Run: Hardware from PSL. Electron. Notes Theor. Comput. Sci. 190(4), 3–16 (2007)CrossRefMathSciNetGoogle Scholar
  4. [Che]
  5. [CUD]
  6. [Hyba]
  7. [Hybb]
  8. [KeY]
  9. [LTL]
  10. [Pes10]
    Pessoa internal report UCLA-CyPhyLab-2010-01 (January 2010),
  11. [PHA]
  12. [Tab09]
    Tabuada, P.: Verification and Control of Hybrid Systems. Springer, Heidelberg (2009)zbMATHCrossRefGoogle Scholar
  13. [Weg00]
    Wegener, I.: Branching Programs and Binary Decision Diagrams - Theory and Applications. SIAM Monographs on Discrete Mathematics and Applications (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Manuel MazoJr.
    • 1
  • Anna Davitian
    • 2
  • Paulo Tabuada
    • 1
  1. 1.CyPhyLabUniversity of CaliforniaLos AngelesUSA
  2. 2.Aerovironment Inc.MonroviaUSA

Personalised recommendations