Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


On the synthesis of correct by design embedded control software

Current state of the art technology has fostered the pervasive use of microprocessors in our every day life. Examples include portable accessories such as mobile phones and PDA’s; home appliances such as refrigerators, toasters and coffee machines; medical equipment such as defibrillators, dialysis machines and MRI’s among many other systems. These embedded computing devices interact with the continuous environment in nontrivial ways that difficult its analysis and synthesis. In this talk I will focus on the problem of synthesizing embedded controllers that are provably correct by design. This approach contrasts with current techniques where verification plays an important role in ensuring correctness of operation. I will show how it is possible to automatically design controllers from discrete specifications (languages, finite state machines, temporal logics, etc) for purely continuous systems and how these results lead to embedded control software. One novelty of this approach is the fact that we synthesize both continuous control laws and a description of its software implementation resulting in embedded control systems that are correct by construction.

Type of Seminar:
Symposium on Control and Computation
Prof. Paulo Tabuada
University of Notre Dame IN, USA
Jun 28, 2005   15:15

ETH-Zentrum, Gloriastrasse 35, Zurich, Building ETZ Room E 8
Contact Person:

Prof. M.Morari
No downloadable files available.
Biographical Sketch:
Paulo Tabuada was born in Lisbon, Portugal in 1975. He received his "Licenciatura" degree in Aerospace Engineering from Instituto Superior Tecnico, Lisbon, Portugal in 1998 and his PhD degree in Electrical and Computer Engineering in 2002 from the Institute for Systems and Robotics, a private research institute associated with Instituto Superior Tecnico. Between January 2002 and July 2003 he was a postdoctoral researcher at the University of Pennsylvania. He is currently an assistant professor in the Department of Electrical Engineering at the University of Notre Dame. Paulo Tabuada was the recipient of the Francisco de Holanda prize in 1998 for the best research project with an artistic or aesthetic component awarded by the Portuguese Science Foundation. He was a finalist for the Best Student Paper Award at both the 2001 American Control Conference and the 2001 IEEE Conference on Decision and Control and he was the recipient of a NSF Career award in 2005.