Skip to main content
SpringerLink
Log in

Hierarchical hybrid control: a case study

  • Conference paper
  • First Online:
Hybrid Systems II (HS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 999))

Included in the following conference series:

Abstract

A case study of the difficulties encountered in the design of hierarchical, hybrid control systems is presented. As our example we use the Intelligent Vehicle Highway System (IVHS) architecture proposed for vehicle platooning, a system that involves both continuous state and discrete event controllers. We point out that even though conventional analysis tools suggest that the proposed design should fulfill certain performance requirements, simulation results show that it does not. We consider this as an indication that the conventional tools currently in use for the design and verification of control systems may be inadequate for the design of hierarchical controllers for hybrid systems. The analysis also indicates certain shortcomings of the current IVHS design. We propose solutions to fix these problems.

Research supported by the PATH program, Institute of Transportation Studies, University of California, Berkeley, under MOU-100

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. Logic in Computer Science, pages 414–425, 1990.

    Google Scholar 

  2. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 209–229. Springer Verlag, New York, 1993.

    Google Scholar 

  3. Allen Back, John Guckenheimer, and Mark Myers. A dynamical simulation facility for hybrid systems. Technical Report 92-6, Cornell University, April 1992.

    Google Scholar 

  4. V. Borkar, M. S. Branicky, and S. K. Mitter. A unified framework for hybrid control. (preprint).

    Google Scholar 

  5. R. W. Brockett. Hybrid models for motion control systems. In H.L.Trentelman and J.C.Willems, editors, Essays on Control: Perspectives in the Theory and its Applications, pages 29–54. Birkhauser, Boston, 1993.

    Google Scholar 

  6. R. W. Brockett. Pulse driven dynamical systems. In A. Isidori and T.J. Tarn, editors, Systems, Models and Feedback: Theory and Applications, pages 73–80. Birkhauser, Boston, 1993.

    Google Scholar 

  7. Farokh Eskafi, Delnaz Khorramabadi, and Pravin Varaiya. SmartPath: An automated highway system simulator. PATH Technical Report UCB-ITS-94-4. Institute of Transportation Studies, University of California, Berkeley, 1994.

    Google Scholar 

  8. J. Frankel, L. Alvarez, R. Horowitz, and P. Li. Robust platoon maneuvers for AVHS. (preprint), November 1994.

    Google Scholar 

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

    Google Scholar 

  10. Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel. Hybrid Systems. Springer Verlag, 1993.

    Google Scholar 

  11. Z. Har'El and R.P. Kurshan. Cospan User's Guide. AT&T Bell Laboratories, 1987.

    Google Scholar 

  12. J. K. Hedrick, D.McMahon, V. Narendran, and D. Swaroop. Longitudinal vehicle controller design for IVHS system. In American Control Conference, pages 3107–3112, 1991.

    Google Scholar 

  13. A. Hitchcock. Intelligent vehicle/highway system safety: Multiple collisions in AHS systems. PATH Technical Report, Institute of Transportation Studies, University of California, Berkeley, CA, 1994.

    Google Scholar 

  14. A. Hitchcock. A specification of an automated freeway with vehicle-borne intelligence. PATH Technical Report UCB-ITS-PRR-92-18, Institute of Transportation Studies, University of California, Berkeley, 1994.

    Google Scholar 

  15. Anthony Hitchcock. Casualties in accidents occuring during split and merge maneuvers. PATH Technical Memorandum 93-9, Institute of Transportation Studies, University of California, Berkeley, 1993.

    Google Scholar 

  16. Ann Hsu, Farokh Eskafi, Sonia Sachs, and Pravin Varaiya. Protocol design for an automated highway system. Discrete Event Dynamic Systems, 2(1):183–206, 1994.

    Google Scholar 

  17. P. Ioannou, Z. Xu, S. Eckert, D. Clemons, and T. Sieja. Intelligent cruise control: Theory and experiments. In IEEE Control and Decision Conference, pages 1885–1890, 1993.

    Google Scholar 

  18. D. Koller, T. Luong, and J. Malik. Binocular stereopsis and lane marker flow for vehicle navigation: Lateral and longitudinal control. Technical Report UCB/CSD-94-804, University of California, Berkeley, 1994.

    Google Scholar 

  19. M. Lemmon, J. A. Stiver, and P. J. Antsaklis. Event identification and intelligent hybrid control. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 268–296. Springer Verlag, New York, 1993.

    Google Scholar 

  20. John Lygeros and Datta N. Godbole. An interface between continuous and discreteevent controllers for vehicle automation. In American Control Conference, pages 801–805, 1994.

    Google Scholar 

  21. John Lygeros, Datta N. Godbole, and Mireille E. Broucke. Design of an extended architecture for degraded modes of operation of IVHS. In American Control Conference, 1995. To Appear.

    Google Scholar 

  22. A. S. Morse. Supervisory control of family of linear set point controllers. In IEEE Control and Decision Conference, pages 1055–1060, 1993.

    Google Scholar 

  23. Kumpati S. Narendra and Jayendran Balakrishnan. Improving transient response of adaptive control systems using multiple models and switching. In IEEE Control and Decision Conference, pages 1067–1072, 1993.

    Google Scholar 

  24. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 317–356. Springer Verlag, New York, 1993.

    Google Scholar 

  25. A. Nerode and W. Kohn. Multiple agent hybrid control architecture. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 297–316. Springer Verlag, New York, 1993.

    Google Scholar 

  26. K. M. Passino and P. J. Antsaklis. Modeling and analysis of artificially intelligent planning systems. In Panos J. Antsaklis and Kevin M. Passino, editors, An Introduction to Intelligent and Autonomous Control, pages 191–214. Kluwer Academic Publishing, Boston, 1993.

    Google Scholar 

  27. Kevin M. Passino and Alfonsus D. Lunardhi. Stability analysis of expert control systems. In IEEE Control and Decision Conference, pages 765–770, 1993.

    Google Scholar 

  28. H. Peng and M. Tomizuka. Vehicle lateral control for highway automation. In American Control Conference, pages 788–794, 1990.

    Google Scholar 

  29. Anuj Puri and Pravin Varaiya. Decidebility of hybrid systems with rectangular differential inclusions. In Computer Aided Verification, pages 95–104, 1994.

    Google Scholar 

  30. P. J. G. Ramadge and W. M. Wonham. The control of discrete event dynamical systems. Proceedings of IEEE, Vol.77(1):81–98, 1989.

    Google Scholar 

  31. B. S. Y. Rao and Pravin Varaiya. Roadside intelligence for flow control in an IVHS. Transportation Research — C, 2(1):49–72, 1994.

    Google Scholar 

  32. Shahab Sheikholeslam and Charles A. Desoer. Longitudinal control of a platoon of vehicles. In American Control Conference, pages 291–297, 1990.

    Google Scholar 

  33. Lucio Tavernini. Differential automata and their simulators. Nonlinear Analysis, Theory, Methods and Applications, Vol.11(6):665–683, 1987.

    Google Scholar 

  34. P. Varaiya and Steven E. Shladover. Sketch of an IVHS systems architecture. Technical Report UCB-ITS-PRR-91-3, Institute of Transportation Studies, University of California, Berkeley, 1991.

    Google Scholar 

  35. Pravin Varaiya. Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control, AC-38(2):195–207, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Machines and Robotics Laboratory Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, 94720, Berkeley, CA

    Datta N. Godbole, John Lygeros & Shankar Sastry

Authors
  1. Datta N. Godbole
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Lygeros
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shankar Sastry
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Godbole, D.N., Lygeros, J., Sastry, S. (1995). Hierarchical hybrid control: a case study. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems II. HS 1994. Lecture Notes in Computer Science, vol 999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60472-3_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-60472-3_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60472-3

  • Online ISBN: 978-3-540-47519-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation