Department of Computer Engineering
S E M I N A R
Toward formal foundations for programming dynamic robots
Carnegie Mellon University
In this talk, I will start with an overview of our work in building and programming autonomous robots with dynamic behaviors. In doing so, I will outline a number of fundamental problems that are common in the design and deployment of such machines. In particular, I will emphasize the missing connection between formal methods in the design and analysis of isolated control systems for dynamically dexterous robots, and various tools that are available for their programmatic composition. Finally, in complement to most existing research in hybrid systems concentrating on analysis, I will introduce our current efforts in using type theory to build synthesis tools with formal properties for programming robots.
DATE: September 15, 2004, Wednesday @ 14:40