| Event Information
Lockheed Martin Robotics Seminar: Lydia Kavraki, "Computation of Robot Motion Plans"
Lockheed Martin Robotics Seminar Series
Dr. Lydia E. Kavraki
Our research goal is to ameliorate this situation through frameworks that allow the synthesis of low-level motion from high-level specifications. High-level specifications declare what the robot must do, rather than how this task is to be done.
The main part of the talk will describe a synergistic approach that can be applied to hybrid systems with general continuous dynamics to satisfy a temporal logic specification consisting of co-safety and safety components. This approach establishes a tight link between formal methods from logic and verification, classical motion planning in robotics, and task planning in artificial intelligence. Several robotic scenarios will be presented, as well as recent efforts to use program sketches and symbolic search methods coupled with motion planners. The talk will conclude by discussing the limitations of our work and the challenges that lie ahead.
Kavraki has written more than 180 peer-reviewed journal and conference publications and a co-author of the popular robotics textbook "Principles of Robot Motion" published by MIT Press. She is heavily involved in the development of The Open Motion Planning Library (OMPL), which is used in industry and in academic research in robotics and biomedicine. Kavraki is a Fellow of the Association of Computing Machinery (ACM), a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI), a Fellow of the American Institute for Medical and Biological Engineering (AIMBE), a Fellow of the American Association for the Advancement of Science (AAAS), and a Fellow of the World Technology Network (WTN). Kavraki was elected a member of the Institute of Medicine (IOM) of the National Academies in 2012. She is also a member of the Academy of Medicine, Engineering and Science of Texas (TAMEST) since 2012.
This Event is For: Graduate • Undergraduate • Faculty • Post-Docs • Corporate