Decentralized optimization, with application to multiple aircraft coordination | Synapse