By Topic

Communication protocols for a fault-tolerant automated highway system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Godbole, D.N. ; Honeywell Inc., Minneapolis, MN, USA ; Lygeros, J. ; Singh, E. ; Deshpande, A.
more authors

We present the design and verification of inter-vehicle communication protocols for the operation of an automated highway system in the presence of faults. The protocols form part of a fault-tolerant control hierarchy proposed in earlier work. Our goal here is to implement discrete-event supervisory controllers to stop the faulty vehicle or take it out of the highway in a safe manner. Because these actions require cooperation among vehicles in the neighborhood of the faulty vehicle, the supervisory controllers are implemented by means of inter-vehicle communication protocols. The logical correctness of the proposed protocols is verified using automatic verification tools. We discuss the safety of the proposed design in terms of the possibility of collisions and highlight the problems associated with carrying out a complete safety analysis

Published in:

Control Systems Technology, IEEE Transactions on  (Volume:8 ,  Issue: 5 )