Dynamic coverage using receeding horizon control