Distributed Formation Control of Multiple Quadrotor Aircraft Based on Nonsmooth Consensus Algorithms | Synapse