Fault diagnosis for intra-platoon communications

摘要

We formalize the design and logical verification of a fault diagnosis and monitoring system for intra-platoon communication systems. A platoon is a string of automatic vehicles with distributed control strategies. Vehicles rely on real-time control data from other vehicles for correct execution of their control laws. A time-driven system is responsible for delivering the control data.