A framework for reasoning about animation systems

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

Volumn 2190, Issue , 2001, Pages 47-60

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; HYBRID SYSTEMS; MULTI AGENT SYSTEMS; SPECIFICATIONS;

ANIMATION SYSTEMS; BEHAVIORAL MODEL; DISCRETE DYNAMICS; HYBRID DYNAMICAL SYSTEMS; HYBRID SYSTEM MODELS; LOGICAL FRAMEWORKS; SYSTEM SPECIFICATION; VIRTUAL WORLDS;

INTELLIGENT VIRTUAL AGENTS;

EID: 84858545524     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44812-8_5     Document Type: Conference Paper

References (35)

1. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.
2. Proceedings of the IEEE, 88, July 2000.
3. E. Aaron, F. Ivančić, and S. Goldenstein. CHARON-generated animations. Available at http://www.cis.upenn.edu/˜eaaron/IVA01 animations.html.
4. R. Alur, C. Belta, F. Ivančić, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes In Computer Science. Springer Verlag, April 2001.
5. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
6. R. Alur and R Grosu. Modular refinement of hierarchic reactive machines. In Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, 2000.
7. 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.
8. 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.
9. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, July 2000.
10. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
11. David Brogan, Ronald Metoyer, and Jessica Hodgins. Dynamically simulated characters in virtual environments. IEEE Computer Graphics and Applications, 18(5):59–69, Sep/Oct 1998.
12. 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.
13. J. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985–1010, July 2000.
14. 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.
15. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
16. J. Funge. AI for Games and Animation. A K Peters, 1999.
17. S. Goldenstein, E. Large, and D. Metaxas. Non-linear dynamical system approach to behavior modeling. The Visual Computer, 15:349–369, 1999.
18. Siome Goldenstein, Menelaos Karavelas, Dimitris Metaxas, Leonidas Guibas, and Ambarish Goswami. Scalable dynamical systems for multi-agent steering and simulation. In Proceedings of the IEEE Conference in Robotics and Automation, May 2001. to appear.
19. T.A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278–292. IEEE Computer Society Press, 1996.
20. 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.
21. 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, volume 1019 of Lecture Notes in Computer Science 1019, pages 41–71. Springer-Verlag, 1995.
22. 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.
23. G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Mehuen and Co., New York, 1968.
24. 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.
25. H. Levesque and F. Pirri, editors. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, 1999.
26. J. Lygeros, G. J. Pappas, and S. Sastry. An approach to the verification of the Center-TRACON Automation System. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 289–304. Springer Verlag, Berlin, 1998.
27. N. Lynch and B. H. Krogh, editors. Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
28. N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 496–510. Springer-Verlag, 1996.
29. H. Noser, O. Renault, D. Thalmann, and N. Thalmann. Navigation for digital actors based on synthetic vision, memory and learning. Computer and Graphics, 1995.
30. 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.
31. D. Pepyne and C. Cassandras. Hybrid systems in manufacturing. Proceedings of the IEEE, 88:1108–1123, July 2000.
32. O. Sokolsky, Y. Hur, R. Grosu, and E. Aaron. CHARON Language Manual, Version 0.6. University of Pennsylvania, 2000. Available at http://www.cis.upenn.edu/mobies/charon/CHARONmanual.ps.
33. C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509–521, April 1998.
34. X. Tu and D. Terzopoulos. Artificial fishes: Physics, locomotion, perception, behavior. In Proc. of SIGGRAPH’94, pages 43–50, 1994.
35. Y. Zhang and A. Mackworth. Constraint nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138(1):211–239, 1995.