Optimal Coordination of Automated Vehicles at Intersections: Theory and Experiments | Synapse