Autonomous robots and vehicles are becoming more and more accessible to us, thanks to the technological revolution driven by the falling price and increasing performance of sensors, processors and communications hardware. We envision many application spaces such as agriculture, environmental monitoring, security, or disaster response, where autonomous agents can help human workers. However, we still lack the tools for architecting autonomous, resilient, heterogeneous swarms of machines. The long-term goal of my research is to enable a large number of robots to work as teams to perform complex real-world tasks.
Towards this goal, we study scalable methods to analyze and synthesize multi-agent systems with three research thrusts. Click on the icon to learn about each thrust.