TY - GEN
T1 - A framework for reasoning about animation systems
AU - Aaron, Eric
AU - Metaxas, Dimitris
AU - Ivančić, Franjo
AU - Sokolsky, Oleg
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84858545524&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84858545524&partnerID=8YFLogxK
U2 - 10.1007/3-540-44812-8_5
DO - 10.1007/3-540-44812-8_5
M3 - Conference contribution
AN - SCOPUS:84858545524
SN - 9783540425700
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 47
EP - 60
BT - Intelligent Virtual Agents - 3rd International Workshop, IVA 2001, Proceedings
A2 - de Antonio, Angélica
A2 - Aylett, Ruth
A2 - Ballin, Daniel
PB - Springer Verlag
T2 - 3rd International Workshop on Intelligent Virtual Agents, IVA 2001
Y2 - 10 September 2001 through 11 September 2001
ER -