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.