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.
This work was partially supported by the NSF awards 0717188, 0820061, and 0834771.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Bloem, R., et al.: Specify, Compile, Run: Hardware from PSL. Electron. Notes Theor. Comput. Sci. 190(4), 3–16 (2007)
Checkmate, http://www.ece.cmu.edu/~webk/checkmate/
Hybridsal, http://sal.csl.sri.com/hybridsal/
Hybrid Toolbox, http://www.dii.unisi.it/hybrid/toolbox
Keymaera, http://symbolaris.com/info/KeYmaera.html
Pessoa internal report UCLA-CyPhyLab-2010-01 (January 2010), http://www.cyphylab.ee.ucla.edu/Home/publications
Phaver, http://www-artist.imag.fr/~frehse/phaver_web/index.html
Tabuada, P.: Verification and Control of Hybrid Systems. Springer, Heidelberg (2009)
Wegener, I.: Branching Programs and Binary Decision Diagrams - Theory and Applications. SIAM Monographs on Discrete Mathematics and Applications (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazo, M., Davitian, A., Tabuada, P. (2010). PESSOA: A Tool for Embedded Controller Synthesis. In: Touili, T., Cook, B., Jackson, P. (eds) Computer Aided Verification. CAV 2010. Lecture Notes in Computer Science, vol 6174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14295-6_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-14295-6_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14294-9
Online ISBN: 978-3-642-14295-6
eBook Packages: Computer ScienceComputer Science (R0)