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
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., and Sontag, E.D., eds., Hybrid Systems III, Lecture Notes in Computer Science vol. 1066, Springer-Verlag, (1996).
Antsaklis, P., Kohn, W., Nerode, A, and Sastry, S. eds., Hybrid Systems II, Lecture Notes in Computer Science vol. 999, Springer-Verlag, (1995).
Crossley, J.N., Remmel, J.B., Shore, R.A. and Sweedler, M.E., Logical Methods Birkhauser, (1993).
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.
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.
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)
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.
Gelfand, I.M. and Fomin, S.V., Calculus of Variations, Prentice Hall, 1963.
Grossman, R.L., Nerode, A., Ravu, A. and Rischel, H. eds., Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, (1993).
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.
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.
Kohn, W., “Rational Algebras; a Constructive Approach” IR&D BE-499, Technical Document D-905-10107-2, July 7, 1989.
Kohn, W., “The Rational Tree Machine: Technical Description & Mathematical Foundations” IR&D BE-499, Technical Document D-905-10107-1, July 7, 1989.
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.
Kohn, W., “Declarative Multiplexed Rational Controllers” Proceedings of the 5th IEEE International Symposium on Intelligent Control, pp 794–803, Philadelphia, PA, Sept. 5, 1990.
Kohn, W., “Declarative Control Architecture” CACM Aug 1991,Vo134, No8.
Kohn, W., “Advanced Architectures and Methods for Knowledge-Based Planning and Declarative Control” IR&D BCS-021, ISMIS'91, Oct. 1991.
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.
Kohn W., “Multiple Agent Hybrid Control” Proc of the NASA-ARO Workshop on formal Models for Intelligent Control, MIT,sept 30-Oct2, 1193.
Kohn, W. and Murphy, A., “Multiple Agent Reactive Shop Floor Control” ISMIS'91, Oct. 1991.
Kohn, W. and Nerode, A., “Multiple Agent Declarative Control Architecture” Proc. of the workshop on Hybrid Systems, Lygby, Denmark, Oct 19–21, 1992.
Kohn, W. and Nerode, A., “Multiple Agent Hybrid Control Architecture” In [9], (1993), 297–316.
Kohn W., and Nerode, A., “Multiple-Agent Hybrid Systems” Proc. IEEE CDC 1992, 4, pp 2956–2972.
Kohn, W. and Nerode, A., “An Autonomous Systems Control Theory: An Overview” Proc. IEEE CACSD'92, March 17–19, Napa, Ca.,pp 200–220.
Kohn W. and Nerode A. “Models For Hybrid Systems: Automata, Topologies, Controllability, Observability” In [9], (1993) 317–356.
Kohn W. and Nerode, A., “Multiple Agent Autonomous Control-A Hybrid Systems Architecture” In [3], (1993) 593–623.
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.
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.
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.
Kohn, W. and Remmel, J.B., “Digital to Hybrid Program Transformations”, Proceedings of the 1996 IEEE International Symposium on Intelligent Control, 342–347.
Kohn, W., and Remmel, J.B., “Implementing Sensor Fusion Using a Cost Based Approach”, to appear in the Proceedings of ACC'97.
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.
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.
Kowalski, R., Logic for Problem Solving, North Holland, NY, 1979.
Kuich, W. and Salomaa, A., Semirings, Automata, Languages, Springer Verlag, NY., 1985.
Lloyd, J.W. Foundations of Logic Programming second extended edition, Springer Verlag, NY, 1987.
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.
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.
Padawitz, P., ‘Computing in Horn Clause Theories, Springer Verlag, NY, 1988.
Robinson, J.A., ‘Logic: Force and Function, North Holland, NY, 1979.
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.
Warner, F.W., Foundations of Differential Manifolds and Lie Groups, Scott-Foresman, Glenview, Ill.
Warga, K., ‘Optimal Control of Differential and Functional Equations, Academic Press, NY., 1977.
Witham, M., Wave Dynamics: Theory and Application, McGraw Hill, (1976).
Young, L.C., ‘Optimal Control Theory, Chelsea Publishing Co., NY, 1980.
Author information
Authors and Affiliations
Editor information
Rights 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