A framework for reasoning about animation systems

Eric Aaron, Dimitris Metaxas, Franjo Ivančić, Oleg Sokolsky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationIntelligent Virtual Agents - 3rd International Workshop, IVA 2001, Proceedings
EditorsAngélica de Antonio, Ruth Aylett, Daniel Ballin
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9783540425700
StatePublished - 2001
Externally publishedYes
Event3rd International Workshop on Intelligent Virtual Agents, IVA 2001 - Madrid, Spain
Duration: Sep 10 2001Sep 11 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other3rd International Workshop on Intelligent Virtual Agents, IVA 2001

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A framework for reasoning about animation systems'. Together they form a unique fingerprint.

Cite this