Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Communication Protocols for a Fault-Tolerant Automated Highway System

Author(s):

D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, A. Lindsey
Conference/Journal:

IEEE Transactions on Control Systems Technology, vol. 8, pp. 787-800
Abstract:

Abstractó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 intervehicle 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.

Year:

2000
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { GodEtal:2000:IFA_2563,
    author={D. N. Godbole and J. Lygeros and E. Singh and A. Deshpande and A.
	  Lindsey},
    title={{Communication Protocols for a Fault-Tolerant Automated
	  Highway System}},
    journal={IEEE Transactions on Control Systems Technology},
    year={2000},
    volume={8},
    number={},
    pages={787--800},
    month=sep,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=2563}
}
Permanent link