Persistification of Robotic Tasks Using Control Barrier Functions

In this letter, we consider the problem of rendering robotic tasks persistent by ensuring that the robots' energy levels are never depleted, which means that the tasks can be executed over long time horizons. This process is referred to as the persistification of the task. In particular, the state of each robot is augmented with its battery level so that the desired persistent behavior can be encoded as the forward invariance of a set such that the robots never deplete their batteries. Control barrier functions are employed to synthesize controllers that ensure that this set is forward invariant and, therefore, that the robotic task is persistent. As an application, this letter considers the persistification of a robotic sensor coverage task in which a group of robots has to cover an area of interest. The successful persistification of the coverage task is shown in simulation and on a team of mobile robots.