Skip to main content
SpringerLink
Log in

Automated Highway Systems: an Example of Hierarchical Control

  • Chapter
Verification of Digital and Hybrid Systems

Part of the book series: NATO ASI Series ((NATO ASI F,volume 170))

  • 420 Accesses

Abstract

Automated Highway Systems combine control, communication and Computing technologies in ways that promise dramatic increases in safety and high-way capacity without building new roads. This paper outlines key features of one AHS proposal, presents a hierarchical control architecture, and shows the importance of verification and design of hybrid Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Antoniotti and A. Gollu. A language for hybrid systems engineering, modeling, and simulation. In Proceedings of the USENIX Conference of Domain Specific Languages, Santa Barbara, CA, October 1997.

    Google Scholar 

  2. M. Broucke and P Varaiya. Theory of traffic flow in automated highways.Transportation Research - C, 4(4):181–210, 1996.

    Article  Google Scholar 

  3. C. Chen and M. Tomizuka. Vehicle lateral control on automated highways: a backstepping approach. Submitted to IMECE, 1997.

    Google Scholar 

  4. S.-B. Choi and J.K. Hedrick. Vehicle longitudinal control using an adaptive observer for Automated Highway Systems. In Proceedings of the 1995 American Control Conference, pages 3106–3110, Seattle, WA., June 1995.

    Google Scholar 

  5. F. Eskafi. Modeling and Simulation of the Automated Highway System. PhD thesis, University of California, Berkeley, 1996.

    Google Scholar 

  6. F. Eskafi, D. Khorramabadi, and P. Varaiya.An automated highway System Simulator. Transportation Research2013C, 3(1):1–17, 1995.

    Google Scholar 

  7. R.K. Douglas et al. Fault detection and identification with applications to advanced vehicle control Systems. Technical report, PATH Research Report UCB-ITS-PRR-95-26, Institute of Transporation Studies, University of California, Berkeley, CA 94720, 1995.

    Google Scholar 

  8. J. Frankel, L. Alvarez, R. Horowitz, and P. Li. Safety-oriented maneuvers for IVHS. J. Vehicle Systems Dynamics, 26(4):271–299, 1996.

    Article  Google Scholar 

  9. V. Garg. Fault detection in nonlinear Systems: Applications to IVHS. PhD thesis, University of California, 1995.

    Google Scholar 

  10. D. N. Godbole and J. Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125–1135, 1994.

    Article  MathSciNet  Google Scholar 

  11. D. N. Godbole, J. Lygeros, and S. Sastry. Hierarchical Hybrid Control: An IVHS Case Study. In CDC, pages 1592–1597, 1994.

    Google Scholar 

  12. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, E. Lindsey, and S. Sastry. Design and Verification of Communication Protocols for Degraded Modes of Operation of AHS. In Proceedings of the IEEE Conference on Decision and Control, pages 427–432, 1995.

    Google Scholar 

  13. D.N. Godbole, F. Eskafi, E. Singh, and P. Varaiya. Design of entry and exit maneuvers of IVHS. In Proceedings of the American Control Conference, pages 3566–3570, June 1995.

    Google Scholar 

  14. D.N. Godbole, J. Lygeros, and S. Sastry. Hierarchical hybrid control: a case study. In Hybrid Systems II, pages 166–190. LNCS 999, Springer, 1995.

    Google Scholar 

  15. J. Guldner, S. Patwardhan, H2013S. Tan, and W-B. Zhang. Coding of road Information for automated highways. Available through http://www.path.berkeley.edu, 1996.

    Google Scholar 

  16. Z. Har’El and R. P. Kurshan. COSPAN User’s Guide. AT&T Bell Laboratories, Murray Hill, NJ, 1987.

    Google Scholar 

  17. J.K. Hedrick, D. McMahon, V. Narendran, and D. Swaroop. Longitudinal vehicle controller design for IVHS system. In Proceedings of the American Control Conference, pages 3107–3112, Boston, MA, June 26–28 1991.

    Google Scholar 

  18. P. Hingwe and M. Tomizuka. Robust and gain-scheduled h∞ controllers for lateral control of passenger vehicles in AHS. Submitted to IMECE, 1997.

    Google Scholar 

  19. A. Hsu, F. Eskafi, S. Sachs, and P. Varaiya. Protocol design for an automated highway system. Discrete Event Dynamic Systems, 2:183–206, 1993.

    Article  Google Scholar 

  20. J. Lygeros and D. N. Godbole and M. E. Broucke. Design of an extended architecture for degraded modes of Operation of IVHS. In Proceedings of the American Control Conference, 1995.

    Google Scholar 

  21. P. Li, R. Horowitz, L. Alvarez, J. Frankel, and A. Robertson. An AHS link layer Controller for traffic flow stabilization. Transportation Research-C, 1997. forthcoming.

    Google Scholar 

  22. J. Lygeros and D. Godbole. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4): 1125–1135, 1994.

    Article  MathSciNet  Google Scholar 

  23. D.B. Maciuca, J.C. Gerdes, and J.K. Hedrick. Automatic braking control for IVHS. In Proc. International Symposium on Advanced Vehicle Control (AVEC’94), Tsukuba, Japan, 1994.

    Google Scholar 

  24. M.Kourjanski, A.Gollu, and F.Hertschuh. Implementation of the smartahs using shift Simulation environment. Submitted to PIE Conference on Intelligent Systems and Advanced Manufacturing, 1997.

    Google Scholar 

  25. V.K. Narendran and J.K. Hedrick. Transition manoeuvres in intelligent vehicle highway systems. In Proceedings of the 32nd IEEE Conference on Decision and Control, pages 1880–4, San Antonio, TX, December 1993.

    Google Scholar 

  26. California PATH. Smartahs home page. http://www.path.Berkeley.EDU/smart2013ahs/, 1997.

    Google Scholar 

  27. H. Peng and M. Tomizuka. Preview control for vehicle lateral guidance in highway automation. Transactions of the ASME Journal of Dynamic Systems, Measurement and Control, 115:679–86, 1993.

    Article  MATH  Google Scholar 

  28. H. Pham, J.K. Hedrick, and M. Tomizuka. Combined lateral and longitudinal control of vehicles for IVHS. In Proceedings of the American Control Conference, pages 1205–6, Baltimore, MD, June 1994.

    Google Scholar 

  29. R. Rajamani, J.K. Hedrick, and A. Howell. A complete fault diagnostic system for longitudinal control of automated vehicles. Symposium on Advanced Automated Technologies, ASME International Congress, 1997. To be presented.

    Google Scholar 

  30. B.S.Y. Rao and P. Varaiya. Roadside intelligence for flow control in an IVHS. Transportation Research-C, 2(l):49–72, 1994.

    Article  Google Scholar 

  31. M.P. Singh. Multiagent systems : a theoretical framework for intentions, know-how, and communications, volume Lecture Notes in Artificial Intelligence 799. Springer-Verlag, 1994.

    Google Scholar 

  32. P. Varaiya. Towards a layered view of control. In Proceedings of the 37rd Conference on Decision and Control, San Diego, CA, December 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California, 94720, CA, USA

    Pravin Varaiya

Authors
  1. Pravin Varaiya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering and Natural Sciences , Sabanci University, Orhanli, 81474, Tuzla-Istanbul, Turkey

    M. Kemal Inan

  2. Bell Laboratories, 600 Mountain Avenue, 2A-410 Murray Hill, 07974, NJ, USA

    Robert P. Kurshan

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg New York

About this chapter

Cite this chapter

Varaiya, P. (2000). Automated Highway Systems: an Example of Hierarchical Control. In: Inan, M.K., Kurshan, R.P. (eds) Verification of Digital and Hybrid Systems. NATO ASI Series, vol 170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59615-5_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-59615-5_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-64052-0

  • Online ISBN: 978-3-642-59615-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation