Formation flying control of multiple spacecraft via graphs

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.