A hybrid online scheduling mechanism with revision and progressive techniques for autonomous Earth observation satellite. (November 2017)