skip to main content
article

An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems

Published: 01 October 2004 Publication History

Abstract

A simulation algorithm is presented for multi-agent hybrid systems---systems consisting of many sets of nonsmooth differential equations---such as systems involving multiple rigid bodies, vehicles, or airplanes. The differential equations are partitioned into coupled subsystems, called "agents"; and the conditions which trigger the discontinuities in the derivatives, called "events", may depend on the global state vector. Such systems normally require significant computational resources to simulate because a global time step is used to ensure the discontinuity is properly handled. When the number of systems is large, forcing all system to be simulated at the same rate creates a computational bottleneck, dramatically decreasing efficiency. By using a control systems approach for selecting integration step sizes, we avoid using a global time step. Each subsystem can be simulated asynchronously when the state is away from the event. As the state approaches the event, the simulation is able to synchronize each of the local time clocks in such a way that the discontinuities are properly handled without the need for "roll back". The algorithm's operation and utility is demonstrated on an example problem inspired by autonomous highway vehicles. Using a combination of stochastic modelling and numerical experiments we show that the algorithm requires significantly less computation time when compared with traditional simulation techniques for such problems, and scales more favorably with problem size.

References

[1]
Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Rubin, H., and Schug, J., Pappas, G. 2001. Hybrid modeling of biomolecular networks. Hyb. Syst. Computation and Control.]]
[2]
Alur, R., Grosse, R., Hur, Y., Kumar, V., and Lee, I. 2000. Modular specification of hybrid systems in charon. Hybrid Systems Computation and Control: Third International Workshop 3, 6--19.]]
[3]
Ascher, U. and Petzold, L. 1998. Computer methods for ordinary differential equations and differential-algebraic equations. Society for Industrial and Applied Mathematics, Philadelphia, Pa.]]
[4]
Bahl, V. and Linninger, A. 2001. Modeling of continuous--discrete processes. In Hybrid Systems: Computation and Control, M. D. Benedetto and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science, vol. 2034. Springer-Verlag, New York, 387--402.]]
[5]
Branicky, M. 1995. Studies in hybrid systems: Modeling, analysis and control. Ph.D. dissertation. MIT, Cambridge, Mass.]]
[6]
Carothers, C., Perumalla, K., and Fujimoto, R. 1999. Efficient optimistic parallel simulation using reverse computation. ACM Transactions on Modeling and Computer Simulation 9, 3, 224--253.]]
[7]
Cellier, F. 1979. Combined discrete/ continuous system simulation by use of digital computers: techniques and tools. Ph.D. dissertation. ETH Zurich, Zurich, Switzerland.]]
[8]
Deshpande, A. G. and Semenzato, L. 1995. Shift programming language and runtime system for dynamic networks of hybrid automata. California PATH project technical report.]]
[9]
Engstler, C. and Lubich, C. 1996. Multirate extrapolation methods for differential equations with different time scales. Computing 58, 173--185.]]
[10]
Esposito, J. and Kumar, V. 2001. Efficient dynamic simulation of robotic systems with hierarchy. In IEEE International Conference on Robotics and Automation (Seoul, Korea). IEEE Computer Society Press, Los Alamitos, Calif., 2818--2823.]]
[11]
Esposito, J., Pappas, G., and Kumar, V. 2001a. Multi-agent hybrid system simulation. In IEEE Conference on Decision and Control (Orlando, Fla), IEEE Computer Society Press, Los Alamitos, Calif.]]
[12]
Esposito, J. M. 2002. Simulation and control of hybrid systems with applications to mobile robotics. Ph.D. dissertation. University of Pennsylvania, Philadelphia, Pa.]]
[13]
Esposito, J. M., Pappas, G. J., and Kumar, V. 2001b. Accurate event detection for simulating hybrid systems. In Hybrid Systems : Computation and Control, M. D. Benedetto and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science, vol. 2034. Springer-Verlag, New York, 204--217.]]
[14]
Fierro, R., Das, A., Spletzer, J., Esposito, J., Kumar, V., Ostrowski, J. P., Taylor, C. J., Hur, Y., Alur, R., Lee, I., Grudic, G., and Southold, B. 2002. A framework and architecture for multi-robot coordination. Inte. J. Robot. Automat. 21, 10-11 (Oct.--Nov.), 2407--2411.]]
[15]
Fujimoto, R. 2000. Parallel and distributed simulation systems. Wiley Interscience, Cambridge, Mass.]]
[16]
Gear, C. and Osterby, O. 1984. Solving ordinary differential equations with discontinuities. ACM Trans. Math. Softw. 10, 1, 23--44.]]
[17]
Gear, C. and Wells, D. 1984. Multirate linear multistep methods. BIT 24, 484--502.]]
[18]
Hur, Y. and Lee, I. 2002. Distributed simulation of multi-agent hybrid systems. In Proceedings of the 5th IEEE International Symposium on Object-Oriented and Real-Time Distributed Computing, (Arlington, Va.). IEEE Computer Society Press, Los Alamitos, Calif., 356--364.]]
[19]
Jefferson, D. R. 1985. Virtual time. ACM Trans. Program. Lang. Syst. 7, 3 (July), 404--425.]]
[20]
Lubachevsky, B. 1989. Efficient distributed event-driven simulations of multiple-loop networks. Commun. ACM 32, 1, 99--113.]]
[21]
Maler, O. and Pnueli, A., Eds. 2003. 6th International Workshop, Hybrid Systems: Computation and Control (Prague, Czech Republic). Lecture Notes in Computer Society, vol. 2623. Springer-Verlag, New York.]]
[22]
Mirtich, B. 2000. Timewarp rigid body simulation. In SIGGRAPH. ACM, New York.]]
[23]
Mosterman, P. 1999. An overview of hybrid simulation phenomena and their support by simulation packages. In Hybrid Systems : Computation and Control, F. Vaandrager and J. H. van Schuppen, Eds., Lecture Notes in Computer Science, vol. 1569. Springer-Verlag, New York, 163--177.]]
[24]
Nicol, D. M. and Perrone, L. F. 2000. Cost/benefit analysis of interval jumping in wireless power control simulation. In Winter Simulation Conference.]]
[25]
Park, T. and Barton, P. 1996. State event location in differential-algebraic models. ACM Trans. Model. Comput. Simulat. 6, 2, 137--165.]]
[26]
Shampine, L., Gladwell, I., and Brankin, R. 1991. Reliable solution of special event location problems for ODEs. ACM Trans. Math. Softw. 17, 1 (Mar.), 11--25.]]
[27]
Steinman, J. 1992. SPEEDED: A unified framework to parallel simulation. In Proceedings of the 6th Workshop on Parallel and Distributed Simulation. 75--83.]]
[28]
Tomlin, C., Pappas, G. J., and Sastry, S. 1998. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Trans. Automat. Cont. 43, 4.]]

Cited By

View all

Index Terms

  1. An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Transactions on Modeling and Computer Simulation
    ACM Transactions on Modeling and Computer Simulation  Volume 14, Issue 4
    October 2004
    99 pages
    ISSN:1049-3301
    EISSN:1558-1195
    DOI:10.1145/1029174
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 October 2004
    Published in TOMACS Volume 14, Issue 4

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Event detection
    2. hybrid systems
    3. multi-agent systems
    4. numerical integration

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)7
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 25 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    Login options

    Full Access

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media