Skip to main content

A Framework for Reasoning About Animation Systems

  • Conference paper
  • First Online:

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

Abstract

In this paper, we consider the potential for reasoning about animations in the language of 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 also illustrates that hybrid system models can provide systematic, modular ways to incorporate low-level behavior into a design for higher-level behavioral modeling.We then apply the logical framework of hybrid systems to animation: We formally state properties of animation systems that may not be readily expressed in other frameworks; and we mechanically check a collision-avoidance property for a simple race-like game. This hybrid systems-oriented approach could improve our ability to reason about virtual worlds, thus improving our ability to create intelligent virtual agents.

Keywords

  • Hybrid System
  • Modal Logic
  • Hybrid Automaton
  • Discrete Dynamic
  • Hybrid Dynamical System

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-44812-8_5
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-44812-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

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 

    Google Scholar 

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

    Google Scholar 

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

  4. R. Alur, C. Belta, F. Ivančić, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes In Computer Science. Springer Verlag, April 2001.

    Google Scholar 

  5. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.

    MATH  CrossRef  MathSciNet  Google Scholar 

  6. R. Alur and R Grosu. Modular refinement of hierarchic reactive machines. In Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, 2000.

    Google Scholar 

  7. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in CHARON. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer Verlag, 2000.

    CrossRef  Google Scholar 

  8. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 33–48. Springer Verlag, 2001.

    CrossRef  Google Scholar 

  9. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.

    CrossRef  Google Scholar 

  10. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

    Google Scholar 

  11. David Brogan, Ronald Metoyer, and Jessica Hodgins. Dynamically simulated characters in virtual environments. IEEE Computer Graphics and Applications, 18(5):59–69, Sep/Oct 1998.

    CrossRef  Google Scholar 

  12. T. Dang and O. Maler. Reachability analysis via face lifting. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 96–109. Springer Verlag, Berlin, 1998.

    Google Scholar 

  13. J. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985–1010, July 2000.

    CrossRef  Google Scholar 

  14. A. Deshpande, A. Göllu, and L. Semenzato. Shift programming language and run-time systems for dynamic networks of hybrid automata. Technical report, University of California at Berkeley, 1997.

    Google Scholar 

  15. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.

    Google Scholar 

  16. J. Funge. AI for Games and Animation. A K Peters, 1999.

    Google Scholar 

  17. S. Goldenstein, E. Large, and D. Metaxas. Non-linear dynamical system approach to behavior modeling. The Visual Computer, 15:349–369, 1999.

    CrossRef  Google Scholar 

  18. Siome Goldenstein, Menelaos Karavelas, Dimitris Metaxas, Leonidas Guibas, and Ambarish Goswami. Scalable dynamical systems for multi-agent steering and simulation. In Proceedings of the IEEE Conference in Robotics and Automation, May 2001. to appear.

    Google Scholar 

  19. T.A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278–292. IEEE Computer Society Press, 1996.

    Google Scholar 

  20. T.A. Henzinger and P.-H. Ho. A note on abstract-interpretation strategies for hybrid automata. In P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 252–264. Springer-Verlag, 1995.

    Google Scholar 

  21. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to hytech. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science 1019, pages 41–71. Springer-Verlag, 1995.

    Google Scholar 

  22. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? Journal of Computer and System Sciences, 57:94–124, 1998.

    MATH  CrossRef  MathSciNet  Google Scholar 

  23. G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Mehuen and Co., New York, 1968.

    MATH  Google Scholar 

  24. E. Large, H. Christensen, and R. Bajcsy. 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 

  25. H. Levesque and F. Pirri, editors. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, 1999.

    Google Scholar 

  26. J. Lygeros, G. J. Pappas, and S. Sastry. An approach to the verification of the Center-TRACON Automation System. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 289–304. Springer Verlag, Berlin, 1998.

    Google Scholar 

  27. N. Lynch and B. H. Krogh, editors. Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, 2000.

    MATH  Google Scholar 

  28. N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 496–510. Springer-Verlag, 1996.

    CrossRef  Google Scholar 

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

    Google Scholar 

  30. G. J. Pappas and S. Sastry. Towards continuous abstractions of dynamical and control systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science, pages 329–341. Springer Verlag, Berlin, Germany, 1997.

    CrossRef  Google Scholar 

  31. D. Pepyne and C. Cassandras. Hybrid systems in manufacturing. Proceedings of the IEEE, 88:1108–1123, July 2000.

    CrossRef  Google Scholar 

  32. O. Sokolsky, Y. Hur, R. Grosu, and E. Aaron. CHARON Language Manual, Version 0.6. University of Pennsylvania, 2000. Available at http://www.cis.upenn.edu/mobies/charon/CHARONmanual.ps.

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

    MATH  CrossRef  MathSciNet  Google Scholar 

  34. X. Tu and D. Terzopoulos. Artificial fishes: Physics, locomotion, perception, behavior. In Proc. of SIGGRAPH ‘94, pages 43–50, 1994.

    Google Scholar 

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

    MATH  CrossRef  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aaron, E., Metaxas, D., Ivančić, F., Sokolsky, O. (2001). A Framework for Reasoning About Animation Systems. In: de Antonio, A., Aylett, R., Ballin, D. (eds) Intelligent Virtual Agents. IVA 2001. Lecture Notes in Computer Science(), vol 2190. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44812-8_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-44812-8_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42570-0

  • Online ISBN: 978-3-540-44812-9

  • eBook Packages: Springer Book Archive

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.