Artificial fishes: physics, locomotion, perception, behavior
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science - Special issue on hybrid systems
Reasoning about knowledge
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamically Simulated Characters in Virtual Environments
IEEE Computer Graphics and Applications
Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
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
An Approach to the Verification of the Center-TRACON Automation System
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
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Hybrid System Models of Navigation Strategies for Games and Animations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
| Hi-index | 0.00 |
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 racelike game. This hybrid systems-oriented approach could improve our ability to reason about virtual worlds, thus improving our ability to create intelligent virtual agents.