Specifications to Actions: Creating Autonomous Systems
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