Abstract

Safe planning and control of multi-robot performing complex tasks has been a challenging problem. Methods that offer guarantees on safety and mission satisfaction generally do not scale well. On the other hand, more computationally tractable approaches do not offer much in terms of safety guarantees. In this talk, I will present a family of robust and predictive motion planning and control methods that overcome these limitations for a wide variety of task objectives, represented using Signal Temporal Logic (STL). Starting from the given STL specification, we formulate a non-convex optimization problem, which can be efficiently solved to local optimality in both centralized and decentralized manners. We also formulate constraints which result in trajectories that can be tracked near perfectly by off-the-shelf lower level controllers. The performance and scalability of the methods will be demonstrated through multi-robot simulation studies and experiments on actual quadrotor aerial robots. 

Bio

Dr. Yash Vardhan Pant is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, where he leads the Control, Learning and Logic (CL2) group. He received his PhD in Electrical Engineering from the University of Pennsylvania in 2019, and was a postdoctoral fellow at the University of California at Berkeley from 2019-2021, before joining Waterloo in the summer of 2021. His research focuses on decision-making for multi-agent and autonomous systems, drawing on elements of Control Theory, Machine Learning, Formal Methods and Optimization, with application to ground robots, human-robot interaction and swarms of aerial robots. More details about Dr. Pant’s research can be found at: https://yashpant.github.io/