|
|
Foundations of Robotics
Seminar, September 25, 2007
Time
and Place | Seminar Abstract | Speaker
Appointments | Presentation Slides
Finding Nemo:
Translating reactive tasks to reactive controllers
Hadas Kress-Gazit
NSH 4201
Talk 4:00 pm
"Search for Nemo and if you find him transmit your
location". Wouldn't it be nice if we could say that to our robot, and then
have it do exactly that no matter where Nemo is?
In this talk I will describe a framework in which a user specifies a complex
and reactive task in structured English. This task is then automatically
translated, using tools from the formal methods world, into a hybrid
controller. This controller is guaranteed to control the robot such that its
motion and actions satisfy the intended task, under some assumptions, in a
variety of different environments. Furthermore, this framework can handle tasks
involving multiple robots in a decentralized way.
For appointments, please contact David
Conner.
The Robotics Institute is part of the School of Computer Science, Carnegie Mellon University.