Formation Flying Control of Multiple Spacecraft via Graphs, Matrix Inequalities, and Switching

Ideas from elementary graph theory and linear matrix inequalities are combined with logic-based switching to shed light on the various control strategies which are feasible in the leader-following framework for the formation flying of multiple spacecraft.