Skip to main content
SpringerLink
Log in

Considering Hierarchical Hybrid Systems for Intelligent Animated Agents

  • Conference paper
Innovative Concepts for Agent-Based Systems (WRAC 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2564))

Included in the following conference series:

Abstract

We consider potential benefits of representing intelligent animated agents as hierarchical hybrid dynamical systems (i.e., systems with both continuous and discrete dynamics). We begin by directly applying hybrid systems theory to animation, using a general-purpose hybrid system specification tool to generate multi-agent animations. This application illustrates that a hybrid system architecture can provide a systematic, modular way to incorporate low-level behavior into a design for higher-level behavioral modeling. We then apply the logical framework of hybrid systems to animation, formally stating properties that may not be readily expressed in other frameworks and mechanically checking a collision-avoidance property for a simple race-like game.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4) (April 1998)

    Google Scholar 

  2. Proceedings of the IEEE, 88 (July 2000)

    Google Scholar 

  3. Aaron, E., Sun, H., Ivančić, F., Goldenstein, S.: CHARON-generated animations and other supplementary material., Available at http://www.cis.upenn.edu/~eaaron/WRAC.html

  4. Alur, R., Belta, C., Ivančić, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, p. 19. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, p. 6. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  6. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88, 971–984 (2000)

    Article  Google Scholar 

  7. Brogan, D., Metoyer, R., Hodgins, J.: Dynamically simulated characters in virtual environments. IEEE Computer Graphics and Applications 18(5), 59–69 (1998)

    Article  Google Scholar 

  8. Dang, T., Maler, O.: Reachability analysis via face lifting. In: Henzinger, T.A., Sastry, S.S. (eds.) HSCC 1998. LNCS, vol. 1386, pp. 96–109. Springer, Heidelberg (1998)

    Google Scholar 

  9. Davoren, J., Nerode, A.: Logics for hybrid systems. Proceedings of the IEEE 88, 985–1010 (2000)

    Article  Google Scholar 

  10. Funge, J.: AI for Games and Animation. A K Peters, Wellesley (1999)

    Google Scholar 

  11. Goldenstein, S., Karavelas, M., Metaxas, D., Guibas, L., Aaron, E., Goswami, A.: Scalable nonlinear dynamical systems for agent steering and crowd simulation. Computers And Graphics 25(6), 983–998 (2001)

    Article  Google Scholar 

  12. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: A user guide to hytech. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol. 1019. Springer, Heidelberg (1995)

    Google Scholar 

  13. Large, E., Christensen, H., Bajcsy, R.: Scaling the dynamic approach to path planning and control: Competition among behavioral constraints. International Journal of Robotics Research 18(1), 37–58 (1999)

    Google Scholar 

  14. Levesque, H., Pirri, F. (eds.): Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  15. Matarić, M.J.: Integration of representation into goal-driven behaviour based robots. IEEE Trans on Robotics & Automation 8(3), 304–312 (1992)

    Article  Google Scholar 

  16. Noser, H., Renault, O., Thalmann, D., Thalmann, N.: Navigation for digital actors based on synthetic vision, memory and learning. Computer and Graphics (1995)

    Google Scholar 

  17. Pappas, G.J., Sastry, S.: Towards continuous abstractions of dynamical and control systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1996. LNCS, vol. 1273, pp. 329–341. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  18. Pepyne, D., Cassandras, C.: Hybrid systems in manufacturing. Proceedings of the IEEE 88, 1108–1123 (2000)

    Article  Google Scholar 

  19. Tomlin, C., Pappas, G.J., Sastry, S.: Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control 43(4), 509–521 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  20. Tu, X., Terzopoulos, D.: Artificial fishes: Physics, locomotion, perception, behavior. In: Proc. of SIGGRAPH 1994, pp. 43–50 (1994)

    Google Scholar 

  21. Woolridge, M.: Reasoning About Rational Agents. MIT Press, Cambridge (2000)

    Google Scholar 

  22. Zhang, Y., Mackworth, A.: Constraint nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science 138(1), 211–239 (1995)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, University Of Pennsylvania, 200 South 33rd Street, Philadelphia, PA, USA, 19104-6389

    Eric Aaron & Dimitris Metaxas

Authors
  1. Eric Aaron
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dimitris Metaxas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NASA Goddard Space Flight Center, Code 588, 20771, Greenbelt, MD, USA

    Walt Truszkowski

  2. Lero–the Irish Software Engineering Research Center, University of Limerick, Ireland

    Mike Hinchey

  3. Advanced Technology Laboratories, Lockheed Martin Corporation, VA 22203, Arlington, USA

    Chris Rouff

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aaron, E., Metaxas, D. (2003). Considering Hierarchical Hybrid Systems for Intelligent Animated Agents. In: Truszkowski, W., Hinchey, M., Rouff, C. (eds) Innovative Concepts for Agent-Based Systems. WRAC 2002. Lecture Notes in Computer Science(), vol 2564. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45173-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45173-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40725-6

  • Online ISBN: 978-3-540-45173-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation