Robotics Events Calendar

Event Information

Lockheed Martin Robotics Seminar: Hadas Kress-Gazit, "Synthesis for Robots: Guarantees and Feedback"
Friday, September 22, 2017
2:00 p.m.
2216 JM Patterson
For More Information:
Ania Picard
301 405 4358

Lockheed Martin Robotics Seminar

Synthesis for Robots: Guarantees and Feedback for Complex Behaviors

Hadas Kress-Gazit
Associate Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University


Mumu Xu

Getting a robot to perform a complex task, for example completing the DARPA Robotics Challenge, typically requires a team of engineers who program the robot in a time consuming and error prone process and who validate the resulting robot behavior through testing in different environments. The vision of synthesis for robotics is to bypass the manual programming and testing cycle by enabling users to provide specifications – what the robot should do – and automatically generating, from the specification, robot control that provides guarantees for the robot’s behavior.

In this talk I will describe the work done in my group towards realizing the synthesis vision. I will discuss what it means to provide guarantees for physical robots, types of feedback we can generate, specification formalisms that we use and our approach to synthesis for different robotic systems such as modular robots, soft robots and multi robot systems.

Hadas Kress-Gazit is an Associate Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. She received her Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania in 2008 and has been at Cornell since 2009. Her research focuses on formal methods for robotics and automation and more specifically on creating verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics. She received an NSF CAREER award in 2010, a DARPA Young Faculty Award in 2012 and the Fiona Ip Li '78 and Donald Li '75 Excellence in teaching award in 2013.

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

September 2017
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 w
Search Events