Decentralized optimal merging control for Connected and Automated Vehicles with safety constraint guarantees.