Loading Events

« All Events

  • This event has passed.

Special Talk: Uluc Saranli, Bilkent University, Turkey, “Towards Reactive Behavioral Planning with Linear Logic for Dynamic Legged Robots”

July 21, 2009 @ 11:00 am - 12:00 pm

Abstract: Even though there are now a number of legged robots capable of a wide variety of high performance dynamic behaviors, their autonomous operation in ways that are both scalable in scope and sustainable in time has not yet been possible. This is, to some extent, a result of the incompatible formalisms in which continuous control and discrete planning problems have traditionally been addressed. In this talk, I will briefly introduce Constrained Intuitionistic Linear Logic (CILL), a relatively new language that promises to constitute a tractable logical formalism in which hybrid planning problems can both be expressed and reasoned about. This language, however, also needs to be supported by appropriate abstractions of primitive behaviors as well as provably correct ways in which they can be combined. Consequently, I will also summarize our group’s ongoing research in the development and characterization of behavioral primitives as well as scalable compositional methods for combined reactive deployment of multiple behaviors. Finally, as a roadmap of our group’s future research, I will describe several problems that need to be addressed before the practical utility of CILL in this context can be established.


Uluc Saranli is currently an Assistant Professor in the Department of Computer Engineering, Bilkent University, Turkey. He received his B.Sc. in Electrical and Electronics Engineering from the Middle East Technical University, Turkey in 1996. He received his M.Sc. and Ph.D. degrees in Computer Science from the University of Michigan, Ann Arbor in 1998 and 2002, respectively. Before he joined Bilkent University in 2005, he was a Postdoctoral Fellow in the Robotics Institute, Carnegie Mellon University. His current research interests focus on the analysis and design of dynamically dexterous, legged robot platforms, as well as the development of control and planning formalisms for their autonomous deployment on complex outdoor terrain.


July 21, 2009
11:00 am - 12:00 pm
Event Category: