AMS2006-18: Correctness Analysis and Optimality Bounds of Multi-spacecraft Formation Initialization Algorithms

Michael Schuresko and Jorge Cortes
12/31/2006 09:00 AM
Applied Mathematics & Statistics
This paper considers formation initialization for a class of autonomous spacecraft operating in deep space with arbitrary initial positions and velocities. Formation initialization is the task of getting a group of autonomous agents to obtain the relative and/or global dynamic state information necessary to begin formation control. We associate a “worst-case total angle traversed” optimality notion with the execution of any formation initialization algorithm, and present performance bounds valid for any correct algorithm. We design the SPATIAL SPACECRAFT LOCALIZATION ALGORITHM, HALF TWIST ALGORITHM and theWAIT AND CHECK ALGORITHM, analyze their correctness properties and characterize their performance in terms of worst-case optimality and execution time.