Distributed Secure Platoon Control of Connected Vehicles Subject to DoS Attack: Theory and Application | Synapse