Abubakr Muhammad, Ali Jadbabaie: Dynamic Coverage Verification in Mobile Sensor Networks Via Switched Higher Order Laplacians. Robotics: Science and Systems 2007