Dynamical Modeling and Distributed Control of Connected and Automated Vehicles: Challenges and Opportunities | Synapse