* News


Specifications to Actions: Creating Autonomous Systems

Hadas Kress-Gazit
Department of Electrical and Systems Engineering
University of Pennsylvania

Wednesday, April 9, 2008
Sage 4101 - 4:00 p.m. to 5:00 p.m.
Refreshments at 3:30 p.m.


The question of how to create autonomous systems that can react to their environment and exhibit interesting behaviors is one that is studied by many researchers in computer science and engineering. The challenges that need to be addressed range from sensing the environment to reasoning about it and from controlling the system at the present time to planning its next moves. In this talk I will present a formal approach that deals with the control and planning aspects of autonomous systems, more specifically robots. This approach automatically generates robot controllers that are guaranteed to satisfy a user defined high level task if such a task is feasible. Furthermore, this approach naturally handles reactive tasks in which the behavior of the robot depends on the information gathered at run time.

Hosted by: Boleslaw Szymanski (x2714)

Administrative support: Sharon Simmons (x8291)

For more information:

See the speaker's web page

Last updated: September 7, 2005