12/10/2010, 2:00 PM, GHC-6501
This talk focuses on the synthesis of control protocols for distributed embedded systems. Such systems integrate computing and networking into physical components in dynamic, uncertain and adversarial environments. We combine methods from computer science with those from dynamical systems and control theory. We present our recent results on provably correct receding horizon implementations and distributed synthesis procedures that partially alleviate the resulting computational complexity. Applications in autonomy, vehicle management and multi-target tracking are used to demonstrate these technical advances.
Ufuk Topcu is a postdoctoral scholar of control and dynamical systems in the Department of Computing and Mathematical Sciences at the California Institute of Technology. His research focuses on the question of how we can build robust and sustainable functional systems. To this end, he develops analytical and computational tools that aim to systematically and automatically close the specification-design-verification loop for dynamical systems. He received his Ph.D. in 2008 from the University of California, Berkeley.