Abstract:  Under this general title we discuss different planning and control problems in robotic systems, at progressively more abstract modeling levels.  We start with individual and cooperative robot navigation, move on to mobile sensor network coordination, and conclude with behavior planning in interacting robotic hybrid systems. Although the technical approaches and tools at each abstraction level are different, the overarching idea is that these methods can be made to converge into a "correct-by-design" framework for cooperative control, from conceptual high level planning to low level implementation. Bio:  Bert Tanner received his PhD in mechanical engineering from the National Technical University of Athens (NTUA) in Greece, in 2001.  He went on to the University of Pennsylvania, where he spend two years as a post-doctoral researcher, before taking his first appointment as an assistant professor at the University of New Mexico in 2003.  He was awarded the NSF Career award in robotics in 2005 and was elected a senior member of IEEE in 2008.  In 2008, he joined the department of mechanical engineering at the University of Delaware, where he is currently an assistant professor. Website:  http://research.me.udel.edu/~btanner Host:  Prof. Francesco Bullo, Mechanical Engineering bullo@engineering.ucsb.edu