Smart cars on smart roads: problems of control | Synapse