Show simple item record

dc.contributor.authorKress-Gazit, Hadas
dc.date.accessioned2022-04-16T03:20:42Z
dc.date.available2022-04-16T03:20:42Z
dc.date.issued2022-03-09
dc.identifier.urihttp://hdl.handle.net/1853/66367
dc.descriptionPresented on March 9, 2022 from 12:15 p.m.-1:15 p.m. in the Marcus Nanotechnology Building, Rooms 1116-1118, Georgia Tech, Atlanta, GA.en_US
dc.descriptionHadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr. 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 synthesis for robotics – automatically creating verifiable robot controllers for complex high-level tasks. Her group explores different types of robotic systems including modular robots, soft robots and swarms and synthesizes (pun intended) ideas from different communities such as robotics, formal methods, control, hybrid systems and computational linguistics. She is an IEEE fellow and has received multiple awards for her research, teaching and advocacy for groups traditionally underrepresented in STEM. She lives in Ithaca with her partner and two kids.en_US
dc.descriptionRuntime: 63:17 minutesen_US
dc.description.abstractIn this talk I will describe how formal methods such as synthesis – automatically creating a system from a formal specification – can be leveraged to design robots, guarantee their behavior, and provide feedback about things that might go wrong. I will discuss the benefits and challenges of synthesis techniques and will give examples of different robotic systems including modular robots, swarms, and robots interacting with people.en_US
dc.format.extent63:17 minutes
dc.language.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.relation.ispartofseriesIRIM Seminar Series ;
dc.subjectRoboticsen_US
dc.subjectSynthesisen_US
dc.titleSynthesizing & Guaranteeing Robot Behaviorsen_US
dc.typeLectureen_US
dc.typeVideoen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Institute for Robotics and Intelligent Machinesen_US
dc.contributor.corporatenameCornell University. Sibley School of Mechanical and Aerospace Engineeringen_US


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

  • IRIM Seminar Series [121]
    Each semester a core seminar series is announced featuring guest speakers from around the world and from varying backgrounds in robotics.

Show simple item record