A distributed approach for space system formation operation autonomous planning and scheduling