Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
1-1-2001
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.
Recommended Citation
Eric Aaron, Dimitris Metaxas, Franjo Ivancic, and Oleg Sokolsky, "A Framework for Reasoning About Animation Systems", . January 2001.
Date Posted: 20 June 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-01-18.