论文信息 - Fault diagnosis for intra-platoon communications

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.

S. Yovine | R. Sengupta | H.T. Simsek | F. Eskafi

[1] Raja Sengupta. Diagnosis and Communication in Distributed Systems , 1999 .

[2] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[3] Stéphane Lafortune,et al. Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[4] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[5] Chao Chen,et al. A DISCUSSION OF THE WAVELAN RADIO AS RELEVANT TO AUTOMATED VEHICLE CONTROL SYSTEMS , 1996 .

[6] Bret Foreman,et al. OUTDOOR MEASUREMENTS ON WAVELAN RADIO , 1996 .

[7] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[8] Bret Foreman. A SURVEY OF WIRELESS COMMUNICATIONS TECHNOLOGIES FOR AUTOMATED VEHICLE CONTROL , 1995 .

[9] Akash Deshpande,et al. SHIFT Reference Manual , 1997 .

[10] Rajesh Rajamani,et al. A COMPLETE FAULT DIAGNOSTIC SYSTEM FOR LONGITUDINAL CONTROL OF AUTOMATED VEHICLES , 1997 .

[11] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[12] A. E. Lindsey,et al. Design, verification and failure diagnosis of wireless communication protocols for the AHS , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[13] Sergio Yovine. VERIFICATION AND IMPLEMENTATION OF SHIFT MODELS , 1998 .