Hybrid system models of navigation strategies for games and animations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2289, Issue , 2002, Pages 7-20

  Aaron, Eric ^a   Ivančić, Franjo ^a   Metaxas, Dimitris ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTATION THEORY; COMPUTER GAMES; INTERACTIVE COMPUTER GRAPHICS; NAVIGATION; SPECIFICATIONS; VIRTUAL REALITY;

ANIMATED SIMULATION; AUTONOMOUS CHARACTERS; HYBRID SYSTEM MODELS; MODELING ASPECTS; NAVIGATION STRATEGIES; SYSTEM SPECIFICATION; VIRTUAL CHARACTER; VIRTUAL WORLDS;

HYBRID SYSTEMS;

EID: 84958181366     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_4     Document Type: Conference Paper

References (25)

1. E. Aaron, F. Ivančić, and S. Goldenstein. Supplementary material, demonstrations, and CHARON-generated animations. Available at http://www.cis.upenn.edu/˜eaaron/hscc02supplement.html.
2. E. Aaron and D. Metaxas. Considering hierarchical hybrid systems for intelligent animated agents. In Proceedings of the First Workshop on Radical Agent Concepts. Springer Verlag, 2002.
3. E. Aaron, D. Metaxas, F. Ivančić, and O. Sokolsky. A framework for reasoning about animation systems. In Proceedings of the Third International Workshop on Intelligent Virtual Agents, volume 2190 of Lecture Notes in Artificial Intelligence, pages 47–60. Springer Verlag, 2001.
4. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in CHARON. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer Verlag, 2000.
5. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 33–48. Springer Verlag, 2001.
6. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.
7. R. C. Arkin. Integrating behavioral, perceptual, and world knowledge in reactive navigation. Robotics and Autonomous Systems, 6:105–122, 1990.
8. D. Brogan, R. Metoyer, and J. Hodgins. Dynamically simulated characters in virtual environments. IEEE Computer Graphics and Applications, 18(5):59–69, Sep/Oct 1998.
9. Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, RA-2(1):14–23, 1986.
10. P. Cousot and R. Cousot. Static analysis of embedded software: Problems and perspectives, invited paper. In T.A. Henzinger and C.M. Kirsch, editors, Proc. First Int. Workshop on Embedded Software, EMSOFT 2001, volume 2211 of Lecture Notes in Computer Science, pages 97–113. Springer Verlag, 2001.
11. T. Dang and O. Maler. Reachability analysis via face lifting. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 96–109. Springer Verlag, Berlin, 1998.
12. S. Das, D. L. Dill, and S. Park. Experience with predicate abstraction. In Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pages 160–171. Springer Verlag, 1999.
13. A. Deshpande, A. Göllu, and L. Semenzato. Shift programming language and run-time systems for dynamic networks of hybrid automata. Technical report, University of California at Berkeley, 1997.
14. J. Funge. AI for Games and Animation. A K Peters, 1999.
15. S. Goldenstein, M. Karavelas, D. Metaxas, L. Guibas, E. Aaron, and A. Goswami. Scalable nonlinear dynamical systems for agent steering and crowd simulation. Computers And Graphics, 25(6):983–998, 2001.
16. S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In O. Grumberg, editor, Proc. 9th International Conference on Computer Aided Verification (CAV’97), volume 1254, pages 72–83. Springer Verlag, 1997.
17. T.A. Henzinger and P.-H. Ho. A note on abstract-interpretation strategies for hybrid automata. In P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 252–264. Springer-Verlag, 1995.
18. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to hytech. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, pages 41–71. Springer-Verlag, 1995.
19. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? Journal of Computer and System Sciences, 57:94–124, 1998.
20. E. Large, H. Christensen, and R. Bajcsy. Scaling the dynamic approach to path planning and control: Competition among behavioral constraints. International Journal of Robotics Research, 18(1):37–58, 1999.
21. J.C. Latombe. Robot Motion Planning. Kluwer Academic Publishers, 1991.
22. H. Levesque and F. Pirri, editors. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, 1999.
23. M. J. Matarić. Integration of representation into goal-driven behaviour based robots. IEEE Trans on Robotics & Automation, June 1992, 8(3):304–312, 1992.
24. G. J. Pappas and S. Sastry. Towards continuous abstractions of dynamical and control systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science, pages 329–341. Springer Verlag, Berlin, Germany, 1997.
25. X. Tu and D. Terzopoulos. Artificial fishes: Physics, locomotion, perception, behavior. In Proc. of SIGGRAPH’94, pages 43–50, 1994.