Decentralized symbolic control of interconnected systems with application to vehicle platooning