Skip to main content
Conference ProceedingsOPEN ACCESS

PESSOA: A tool for embedded controller synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010) 6174 LNCS 566-569
DOI: 10.1007/978-3-642-14295-6_49
118Citations
Citations of this article
29Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Mazo, M., Davitian, A., & Tabuada, P. (2010). PESSOA: A tool for embedded controller synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6174 LNCS, pp. 566–569). https://doi.org/10.1007/978-3-642-14295-6_49

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free