Modélisation et contrôle de véhicule pour systèmes autoroutiers automatisés | Synapse