Hybrid system models of navigation strategies for games and animations

Eric Aaron, Franjo Ivančić, Dimitris Metaxas

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

10 Scopus citations


The virtual worlds of computer games and similar animated simulations may be populated by autonomous characters that intelligently navigate in virtual cities. We concretely apply hybrid system theory and tools to model navigation strategies for virtual characters. In particular, we present hybrid systems for both low-level (local) and high-level (global) navigation strategies, and we describe how we modeled these systems using the hybrid system specification tool Charon. Further, we directly employed our hybrid system models to generate animations that demonstrate these navigation strategies. Overall, our results suggest that hybrid systems may be a natural framework for modeling aspects of intelligent virtual actors. We also present a small verification example for a simple navigation strategy, and we briefly discuss obstacles to widespread practical applicability of verification in this problem domain.

Original languageEnglish (US)
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 5th International Workshop, HSCC 2002, Proceedings
EditorsClaire J. Tomlin, Mark R. Greenstreet
PublisherSpringer Verlag
Number of pages14
ISBN (Print)354043321X, 9783540433217
StatePublished - 2002
Externally publishedYes
Event5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 - Stanford, United States
Duration: Mar 25 2002Mar 27 2002

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


Other5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002
Country/TerritoryUnited States

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Hybrid system models of navigation strategies for games and animations'. Together they form a unique fingerprint.

Cite this