Input-to-Output Stability for a Coverage Controller | IEEE Journals & Magazine | IEEE Xplore