Advertisement

Hierarchical hybrid control: a case study

  • Datta N. Godbole
  • John Lygeros
  • Shankar Sastry
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 999)

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.

Keywords

Intelligent Vehicle Highway Systems Hybrid Control Systems Safety Verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 4.
    V. Borkar, M. S. Branicky, and S. K. Mitter. A unified framework for hybrid control. (preprint).Google Scholar
  5. 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. 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. 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. 8.
    J. Frankel, L. Alvarez, R. Horowitz, and P. Li. Robust platoon maneuvers for AVHS. (preprint), November 1994.Google Scholar
  9. 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. 10.
    Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel. Hybrid Systems. Springer Verlag, 1993.Google Scholar
  11. 11.
    Z. Har'El and R.P. Kurshan. Cospan User's Guide. AT&T Bell Laboratories, 1987.Google Scholar
  12. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 28.
    H. Peng and M. Tomizuka. Vehicle lateral control for highway automation. In American Control Conference, pages 788–794, 1990.Google Scholar
  29. 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. 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. 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. 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. 33.
    Lucio Tavernini. Differential automata and their simulators. Nonlinear Analysis, Theory, Methods and Applications, Vol.11(6):665–683, 1987.Google Scholar
  34. 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. 35.
    Pravin Varaiya. Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control, AC-38(2):195–207, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Datta N. Godbole
    • 1
  • John Lygeros
    • 1
  • Shankar Sastry
    • 1
  1. 1.Intelligent Machines and Robotics Laboratory Department of Electrical Engineering and Computer SciencesUniversity of California, BerkeleyBerkeley

Personalised recommendations