Communication protocols for a fault-tolerant automated highway system

IEEE Transactions on Control Systems Technology

Volumn 8, Issue 5, 2000, Pages 787-800

  Godbole, Datta N ^a,b   Lygeros, Jon ^c   Singh, Ekta ^c   Deshpande, A ^c   Lindsey, Antonia E ^c  

^a IEEE

^b HONEYWELL TECHNOLOGY CENTER   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; HIGHWAY TRAFFIC CONTROL; INTELLIGENT CONTROL; LARGE SCALE SYSTEMS; NETWORK PROTOCOLS; SCADA SYSTEMS;

FAULT-TOLERANT AUTOMATED HIGHWAY SYSTEMS; INTERVEHICLE COMMUNICATION PROTOCOLS;

INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

EID: 0034271025     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.865852     Document Type: Article

References (20)

1. S. Shladover, "Operation of Automated Guideway Transit Vehicles in Dynamically Reconfigured Trains and Platoons," U.S. Dept. Transport., Tech. Rep. UMTAMA-0085-79-3, 1979.
2. P. Varaiya, "Smart cars on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. 38, pp. 195-207, Feb. 1993.
3. A. Hsu, F. Eskafi, S. Sachs, and P. Varaiya, "Protocol design for an automated highway system," Discrete-Event Dyn. Syst., vol. 2, no. 1, pp. 183-206, 1994.
4. D. N. Godbole, F. Eskafi, E. Singh, and P. Varaiya, "Design of entry and exit maneuvers for AHS," in Amer. Contr. Conf., 1995, pp. 3576-3580.
5. J. Lygeros, D. N. Godbole, and M. Broucke, "A fault-tolerant control architecture for automated highway systems," IEEE Trans. Contr. Syst. Technol., vol. 8, pp. 205-219, Mar. 2000.
6. Z. Har'El and R. Kurshan, "Cospan User's Guide," AT&T Bell Laboratories, Murray Hill, NJ 1987.
7. D. N. Godbole, J. Lygeros, and S. Sastry, "Hierarchical hybrid control: An IVHS case study," in Hybrid Systems II. ser. no. 999 in LNCS, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1995, pp. 166-190.
8. A. Hitchcock, "A Specification of an Automated Freeway with Vehicle Borne Intelligence," Inst. Transport. Studies, Univ. California, Berkeley, Tech. Rep. PATH Memo 92-8, 1992.
9. F. Eskafi, D. Khorramabadi, and P. Varaiya, "An automated highway system simulator," Transport. Res. - Part C, vol. 3, no. 1, pp. 1-17, 1995.
10. M. E. Broucke and P. Varaiya, "A theory of traffic flow in automated highway systems," Transport. Res. Part C, vol. 4C, no. 4, pp. 181-210, 1996.
11. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. Lindsey, "Toward a Fault-Tolerant AHS Design, Part II: Design and Verification of Communication Protocols," Inst. Transport. Studies, Univ. California, Berkeley, Tech. Rep. UCB-ITS-PRR-96-15, 1996.
12. R. K. Douglas, J. L. Speyer, D. L. Mingori, R. H. Chen, D. P. Malladi, and W. H. Chung, "Fault Detection and Identification with Application to Advanced Vehicle Control Systems," Insti. Transport. Studies, Univ. California, Berkeley, California PATH Res. Rep. UCB-ITS-PRR-95-26, 1995.
13. V. Garg, "Fault Detection in Nonlinear Systems: An Application to Automated Highway Systems," Ph.D. dissertation, Dept. Mech. Eng., Univ. California, Berkeley, 1995.
14. A. Agogino, K. Gobel, and S. Alag, "Intelligent Sensor Validation and Sensor Fusion for Reliability and Safety Enhancement in Vehicle Control," Inst. Transport. Studies, Univ. California, Berkeley, California PATH Res. Rep. UCB-ITS-PRR-95-40, 1995.
15. M. Tomizuka, S. Patwardhan, W. B. Zhang, and P. Devlin, "Theory and experiments of tire blow-out effects and hazard reduction control for automated vehicle lateral control system," in Amer. Contr. Conf., 1994, pp. 1207-1209.
16. J. Lygeros, D. N. Godbole, and S. Sastry, "A Game Theoretic Approach to Hybrid System Design," Elect. Res. Lab., Univ. California, Berkeley, Tech. Rep. UCB/ERL-M95/77, Oct. 1995.
17. _, "Verified hybrid controllers for automated vehicles," IEEE Trans. Automat. Contr., vol. 43, pp. 522-539, Apr. 1998.
18. R. P. Kurshan, Computer-Aided Verification of Coordinating Processes; The Automata-Theoretic Approach. Princeton, NJ: Princeton Univ. Press, 1994.
19. R. Alur and D. Dill, "A theory of timed automata," Theor. Comput. Sci., vol. 126, pp. 183-235, 1994.
20. L. de Alfaro, "Formal Verification of Probabilistic Systems," Ph.D. dissertation, Dept. Comput. Sci., Stanford Univ., Stanford, CA, 1998.