Algorithm helps robots avoid collisions with moving obstacles

Most research on decentralised algorithms has focused on making collective decision-making more reliable and has deferred the problem of avoiding obstacles in the robots' environment.

At the International Conference on Robotics and Automation in May, MIT researchers will present a new, decentralised planning algorithm for teams of robots that factors in not only stationary obstacles, but also moving obstacles.

The algorithm also requires significantly less communications bandwidth than existing decentralised algorithms, but preserves strong mathematical guarantees that the robots will avoid collisions.

In simulations involving squadrons of minihelicopters, the decentralised algorithm came up with the same flight plans that a centralised version did. The drones generally preserved an approximation of their preferred formation, a square at a fixed altitude - although to accommodate obstacles the square rotated and the distances between drones contracted.

Occasionally, however, the drones would fly single file or assume a formation in which pairs of them flew at different altitudes.

"It's a really exciting result because it combines so many challenging goals," says Daniela Rus, the Andrew and Erna Viterbi Professor in MIT's Department of Electrical Engineering and Computer Science and director of the Computer Science and Artificial Intelligence Laboratory, whose group developed the new algorithm.

Rus is joined on the paper by first author Javier Alonso-Mora, a postdoc in Rus' group; Mac Schwager, an assistant professor of aeronautics and astronautics at Stanford University who worked with Rus as an MIT PhD student in mechanical engineering; and Eduardo Montijano, a professor at Centro Universitario de la Defensa in Zaragoza, Spain.

In a typical decentralised group planning algorithm, each robot might broadcast its observations of the environment to its teammates, and all the robots would then execute the same planning algorithm, presumably on the basis of the same information.

Rus, Alonso-Mora, and their colleagues found a way to reduce both the computational and communication burdens imposed by consensual planning. The essential idea is that each robot, on the basis of its own observations, maps out an obstacle-free region in its immediate environment and passes that map only to its nearest neighbors. When a robot receives a map from a neighbor, it calculates the intersection of that map with its own and passes that on.

This keeps down both the size of the robots' communications - describing the intersection of 100 maps requires no more data than describing the intersection of two - and their number, because each robot communicates only with its neighbors. Nonetheless, each robot ends up with a map that reflects all of the obstacles detected by all the team members.

The maps have not three dimensions, however, but four - the fourth being time. This is how the algorithm accounts for moving obstacles. The four-dimensional map describes how a three-dimensional map would have to change to accommodate the obstacle's change of location, over a span of a few seconds. But it does so in a mathematically compact manner.

The algorithm does assume that moving obstacles have constant velocity, which will not always be the case in the real world. But each robot updates its map several times a second, a short enough span of time that the velocity of an accelerating object is unlikely to change dramatically.

On the basis of its latest map, each robot calculates the trajectory that will maximise both its local goal - staying in formation - and its global goal.

The researchers are also testing a version of their algorithm on wheeled robots whose goal is to collectively carry an object across a room where human beings are also moving around, as a simulation of an environment in which humans and robots work together.