- About Us
- Seminars & Events
Fall 2012 GRASP Seminar - Ufuk Topcu, University Of Pennsylvania, "Specification And Synthesis Of Hierarchical Control Protocols And Some Applications In Autonomy And Robotics"
Presenter: Ufuk Topcu (Homepage)
Friday October 26, 2012 from 11:00am to 12:00pm
The talk begins with the formulation of a control protocol synthesis problem and some background material. The solution discussed in the talk builds on temporal logics, two-player turn-based games, and optimization-based control. It yields to a partially automated method for constructing hierarchical control protocols. An autonomous navigation case study will demonstrate the results. Several other examples will be drawn from dexterous robotic manipulation and smart camera networks. The talk ends with an overview of some open issues biased to those from the speaker's own work.
Ufuk Topcu is a Research Assistant Professor at the University of Pennsylvania. His research is on the analysis, design, and verification of networked, information-based systems. Current projects are in autonomy, advanced air vehicle architectures, and energy networks. He received his Ph.D. in 2008 from the University of California, Berkeley and was a Postdoctoral Scholar at the California Institute of Technology between 2008 and 2012.