Skip to main content
SpringerLink
Log in

Agent based velocity control of highway systems

  • Conference paper
  • First Online:
Hybrid Systems IV (HS 1996)

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

Included in the following conference series:

Abstract

In this paper we present a hybrid systems approach to freeway traffic control. We introduce a model of traffic which includes both vehicles and voids, where a void is a unit of space greater than the normal following distance between vehicles. The introduction of voids allows us to successfully model traffic flow via a wave model. We discuss the fundamentals of the Multiple Agent Hybrid Control Architecture which was used to implement our control of freeway traffic and the results of a simulation of our control. The main conclusion of our simulation is that one can significantly increase traffic throughput by controlling only 5–9% of the vehicles.

Research supported by Dept. of Commerce Agreement 70-NANB5H1164.

Research supported by ARO under the MURI program “Integrated Approach to Intelligent Systems”, grant no. DAAH04-96-1-0341.

Research supported by Dept. of Commerce Agreement 70-NANB5H1164.

HyBrithms Corp was formerly know as Sagent Corporation

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. Alur, R., Henzinger, T.A., and Sontag, E.D., eds., Hybrid Systems III, Lecture Notes in Computer Science vol. 1066, Springer-Verlag, (1996).

    Google Scholar 

  2. Antsaklis, P., Kohn, W., Nerode, A, and Sastry, S. eds., Hybrid Systems II, Lecture Notes in Computer Science vol. 999, Springer-Verlag, (1995).

    Google Scholar 

  3. Crossley, J.N., Remmel, J.B., Shore, R.A. and Sweedler, M.E., Logical Methods Birkhauser, (1993).

    Google Scholar 

  4. Dodhiawala, R.T., V. Jagoenathan and L.S. Baum, “Erasmus System Design: Performance Issues” Proceedings of Workshop on Blackboard Systems Implementation Issues, AAAI, Seattle, WA., July 1987.

    Google Scholar 

  5. Garcia, H.E. and A. Ray “Nonlinear Reinforcement Schemes for Learning Automata” Proceedings of the 29th IEEE CDC Conference, Vol. 4, pp 2204–2207, Honolulu, HA, Dec. 5–7, 1990.

    Google Scholar 

  6. Ge, X., Kohn, W., Nerode, A. and Remmel, J.B., “Algorithms for Chattering Approximations to Relaxed Optimal Control. MSI Tech. Report 95-1, Cornell University. (1995)

    Google Scholar 

  7. Ge, X., Kohn, W., Nerode, A. and Remmel, J.B.,“Hybrid Systems: Chattering Approximations to Relaxed Control,” Hybrid Systems III, (R. Alur, T.A. Henzinger, E.D. Sontag, eds.) Lecture Notes in Computer Science 1066, Springer, (1996), 76–100.

    Google Scholar 

  8. Gelfand, I.M. and Fomin, S.V., Calculus of Variations, Prentice Hall, 1963.

    Google Scholar 

  9. Grossman, R.L., Nerode, A., Ravu, A. and Rischel, H. eds., Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, (1993).

    Google Scholar 

  10. Kohn, W., “A Declarative Theory for Rational Controllers” Proceedings of the 27th IEEE CDC, Vol. 1, pp 131–136, Dec. 7–9, 1988, Austin, TX.

    Google Scholar 

  11. Kohn, W., “Application of Declarative Hierarchical Methodology for the Flight Telerobotic Servicer” Boeing Document G-6630-061, Final Report of NASA-Ames research service request 2072, Job Order T1988, Jan. 15, 1988.

    Google Scholar 

  12. Kohn, W., “Rational Algebras; a Constructive Approach” IR&D BE-499, Technical Document D-905-10107-2, July 7, 1989.

    Google Scholar 

  13. Kohn, W., “The Rational Tree Machine: Technical Description & Mathematical Foundations” IR&D BE-499, Technical Document D-905-10107-1, July 7, 1989.

    Google Scholar 

  14. Kohn, W., “Declarative Hierarchical Controllers” Proceedings of the Workshop on Software Tools for Distributed Intelligent Control Systems, pp 141–163, Pacifica, CA, July 17–19, 1990.

    Google Scholar 

  15. Kohn, W., “Declarative Multiplexed Rational Controllers” Proceedings of the 5th IEEE International Symposium on Intelligent Control, pp 794–803, Philadelphia, PA, Sept. 5, 1990.

    Google Scholar 

  16. Kohn, W., “Declarative Control Architecture” CACM Aug 1991,Vo134, No8.

    Google Scholar 

  17. Kohn, W., “Advanced Architectures and Methods for Knowledge-Based Planning and Declarative Control” IR&D BCS-021, ISMIS'91, Oct. 1991.

    Google Scholar 

  18. Kohn W., “Multiple Agent Inference in Equational Domains Via Infinitesimal Operators” Proc. Application Specific Symbolic Techniques in High Performance Computing Environment. The Fields Institute, Oct 17–20 1993.

    Google Scholar 

  19. Kohn W., “Multiple Agent Hybrid Control” Proc of the NASA-ARO Workshop on formal Models for Intelligent Control, MIT,sept 30-Oct2, 1193.

    Google Scholar 

  20. Kohn, W. and Murphy, A., “Multiple Agent Reactive Shop Floor Control” ISMIS'91, Oct. 1991.

    Google Scholar 

  21. Kohn, W. and Nerode, A., “Multiple Agent Declarative Control Architecture” Proc. of the workshop on Hybrid Systems, Lygby, Denmark, Oct 19–21, 1992.

    Google Scholar 

  22. Kohn, W. and Nerode, A., “Multiple Agent Hybrid Control Architecture” In [9], (1993), 297–316.

    Google Scholar 

  23. Kohn W., and Nerode, A., “Multiple-Agent Hybrid Systems” Proc. IEEE CDC 1992, 4, pp 2956–2972.

    Google Scholar 

  24. Kohn, W. and Nerode, A., “An Autonomous Systems Control Theory: An Overview” Proc. IEEE CACSD'92, March 17–19, Napa, Ca.,pp 200–220.

    Google Scholar 

  25. Kohn W. and Nerode A. “Models For Hybrid Systems: Automata, Topologies, Controllability, Observability” In [9], (1993) 317–356.

    Google Scholar 

  26. Kohn W. and Nerode, A., “Multiple Agent Autonomous Control-A Hybrid Systems Architecture” In [3], (1993) 593–623.

    Google Scholar 

  27. Kohn, W., Nerode, A. and Remmel, J.B., “Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections”, In (2], (1995), 294–321.

    Google Scholar 

  28. Kohn, W., Nerode, A. and Remmel, J.B., “Feedback Derivations: Near Optimal Controls for Hybrid Systems”, Proceedings of CESA'96 IMACS Multiconference, Vol 2. 517–521.

    Google Scholar 

  29. Kohn, W., Nerode, A. and Remmel, J.B., “Continualization: A Hybrid Systems Control Technique for Computing”, Proceedings of CESA'96 IMACS Multiconference, Vol 2. 507–511.

    Google Scholar 

  30. Kohn, W. and Remmel, J.B., “Digital to Hybrid Program Transformations”, Proceedings of the 1996 IEEE International Symposium on Intelligent Control, 342–347.

    Google Scholar 

  31. Kohn, W., and Remmel, J.B., “Implementing Sensor Fusion Using a Cost Based Approach”, to appear in the Proceedings of ACC'97.

    Google Scholar 

  32. Kohn,W., Remmel, J.B., and Nerode, A. Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems, submitted to IEEE Transactions on Automatic Control.

    Google Scholar 

  33. Kohn, W. and T. Skillman, “Hierarchical Control Systems for Autonomous Space Robots” Proceedings of AIAA Conference in Guidance, Navigation and Control, Vol. 1, pp 382–390, Minneapolis, MN, Aug. 15–18, 1988.

    Google Scholar 

  34. Kowalski, R., Logic for Problem Solving, North Holland, NY, 1979.

    Google Scholar 

  35. Kuich, W. and Salomaa, A., Semirings, Automata, Languages, Springer Verlag, NY., 1985.

    Google Scholar 

  36. Lloyd, J.W. Foundations of Logic Programming second extended edition, Springer Verlag, NY, 1987.

    Google Scholar 

  37. Liu, J.W.S., “Real-Time Responsiveness in Distributed Operating Systems and Databases” proceedings of the Workshop on Software Tools for Distributed Intelligent Control Systems, Pacifica, CA., July 17–19, 1990, pp 185–192.

    Google Scholar 

  38. Nii, P.H., “Blackboard Systems: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures” the AI Magazine, Vol. 7, No. 2, Summer 1986, pp 38–53.

    Google Scholar 

  39. Padawitz, P., ‘Computing in Horn Clause Theories, Springer Verlag, NY, 1988.

    Google Scholar 

  40. Robinson, J.A., ‘Logic: Force and Function, North Holland, NY, 1979.

    Google Scholar 

  41. Skillman, T. and Kohn, W., et.al., “Class of Hierarchical Controllers and their Black board Implementations” Journal of Guidance Control & Dynamics, Vol. 13, N1, pp 176–182, Jan.-Feb., 1990.

    Google Scholar 

  42. Warner, F.W., Foundations of Differential Manifolds and Lie Groups, Scott-Foresman, Glenview, Ill.

    Google Scholar 

  43. Warga, K., ‘Optimal Control of Differential and Functional Equations, Academic Press, NY., 1977.

    Google Scholar 

  44. Witham, M., Wave Dynamics: Theory and Application, McGraw Hill, (1976).

    Google Scholar 

  45. Young, L.C., ‘Optimal Control Theory, Chelsea Publishing Co., NY, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. HyBrithms Corp., S.E. 8th Street, Bldg. J, Suite 140, 11201, Bellevue, Washington

    Wolf Kohn

  2. Mathematical Sciences Institute, Cornell University, 14853, Ithaca, NY

    Anil Nerode

  3. HyBrithms Corp. and Department of Mathematics, University of California at San Diego, 92093, San Diego, CA

    B. Jeffrey Remmel

Authors
  1. Wolf Kohn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anil Nerode
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. B. Jeffrey Remmel
    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

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kohn, W., Nerode, A., Remmel, B.J. (1997). Agent based velocity control of highway systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031561

Download citation

  • DOI: https://doi.org/10.1007/BFb0031561

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63358-7

  • Online ISBN: 978-3-540-69523-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation