A linear programming approach for adaptive synchronization of traffic signals | Synapse