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