Artificial fishes: physics, locomotion, perception, behavior
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Robot Motion Planning
Dynamically Simulated Characters in Virtual Environments
IEEE Computer Graphics and Applications
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Verification of Embedded Software: Problems and Perspectives
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Note on Abstract Interpretation Strategies for Hybrid Automata
Hybrid Systems II
Towards Continuous Abstractions of Dynamical and Control Systems
Hybrid Systems IV
Reachability Analysis via Face Lifting
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Construction of Abstract State Graphs with PVS
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Experience with Predicate Abstraction
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Integrating behavioral, perceptual, and world knowledge in reactive navigation
Robotics and Autonomous Systems
A Framework for Dynamical Intention in Hybrid Navigating Agents
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Action selection and task sequence learning for hybrid dynamical cognitive agents
Robotics and Autonomous Systems
Hybrid system reachability-based analysis of dynamical agents
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
| Hi-index | 0.00 |
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.