The hybrid world of virtual environments

Computer Graphics Forum

Volumn 18, Issue 3, 1999, Pages 297-308

  Smith, Shamus ^a,b   Duke, David ^b   Massink, Mieke ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

Hybrid systems; Hynet; Interaction techniques; Ve design; Virtual environments

Indexed keywords

ANTI-ALIASING; COMPUTER GRAPHICS; FINITE AUTOMATA; HUMAN COMPUTER INTERACTION; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

HYBRID SYSTEMS;

VIRTUAL REALITY;

EID: 0032678922     PISSN: 01677055     EISSN: None     Source Type: Journal    
DOI: 10.1111/1467-8659.00350     Document Type: Article

References (30)

1. R. Balakrishnan, T. Baudel, G. Kurtenbach, and G. Fitzmaurice. The Rockin'Mouse: Integral 3D manipulation on a plane. In CHI'97: Human Factors in Computing Systems, pages 311-318. ACM, 1997.
2. ColtVR. Virtual Production Planner. BBC/Colt International, 1997.
3. Distributed interactive virtual environment (DIVE). 1997. SICS, Swedish Institute of Computer Science, Sweden.
4. J-M. Flaus and G. Ollagnon. Hybrid flow nets for hybrid processes modelling and control. In Hybrid and Real-Time Systems, pages 213-227. Springer, 1997.
5. T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. In Proceedings of the Ninth International Confemece on Computer Aided verification, volume 1254 of LNCS, pages 110-122. Springer, 1997.
6. INQUISITIVE homepage, 1999. http://www.cs.york.ac.uk/~shamus/inquisitiveJ.
7. R. J. K. Jacob. A visual language for non-wimp user interfaces. In IEEE Symposium on Visual Languages, pages 231-238. IEEE Computer Society Press, 1996.
8. K. Jensen and G. Rozenberg, editors. High-level Petri Nets -Theory and Applications. Springer-Verlag, 1991.
9. H. Jifeng. From CSP to hybrid systems. In A Classical Mind: Essays on Honour of C. A. R. Hoare, pages 171189. Premise Hall, 1994.
10. S. Jones and J. Sapsford. The role of informal representations in early design. In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems, pages 117-133. Springer, 1998.
11. S. B. Kang. Hands-free navigation in VR environments by tracking the head. International Journal of HumanComputer Studies, 48:247-266, 1998.
12. P. Liggesmeyer, M. Rothfelder, M. Rettelbach, and T. Ackermann. Qualitäsicherung software-basierter technisher système - problembereiche und lösungsansätze. lnfonnatik-Specman,2\:249-25B, 1998.
13. M. Massink and D. Duke. Specification of hybrid interfaces in HyNet. Technical report, C.N.R. Ist. CNUCE, 1999.
14. GNU MAVERIK. 1999. AIG Group, University of Manchester, UK.
15. M. R. Mine. Virtual environment interaction techniques. Technical Report TR95-018, University of North Carolina, 1995.
16. M. R. Mine. Working in a virtual world: Interaction techniques used in the Chapel Hill Immersive Modeling Program. Technical Report TR96-029, University of North Carolina, 1996.
17. M. R. Mine, F. P. Brooks Jr, and C. H. Sequin. Moving objects in space: Exploiting proprioception in virtualenvironment interaction. In SIGGRAPH 97, pages 1926. ACM SIGGRAPH, 1997.
18. MR (Minimal Reality) toolkit. 1995. University of Alberta, Canada.
19. C. A. Pétri. Kommunikation mit automaten. Schriften des um nr. 2, Institut für Instrumentelle Mathematic, 1962. English translation: Technical Report RADCTR-65-377, Griffis Air Base, New York, Vol. l, Suppl. 1, 1966.
20. J. S. Pierce, A. Forsberg, M. J. Conway, S. Hong, and R. Zeleznik. Image plane interaction techniques in 3D immersive environments. In 7997 Symposium on Interactive 3D Graphics, pages 39-44, 1997.
21. I. Poupyrev, M. Billinghurst, S. Weghorst, and T. Ichikawa. The Go-Go interaction technique: Nonlinear mapping for direct manipulation in VR. In UIST 96, pages 79-80, 1996.
22. J. Rushby. Using model checking to help discover mode confusions and other automation surprises. In Draft for comments. Computer Science Laboratory, SRI International, Menlo Park, USA, 1998.
23. J. K. Salisbury and M. A. Srinivasan. Proceedings of the second PHANToM users group workshop. Technical report, AI Technical Report 1617, MIT, 1997.
24. S. Schöf, M. Sonnenschein, and R. Wieting. Efficient simulation of THOR nets. In G. De Michelis and M.Diaz, editors, Applications and Theory ofPetri Nets, 16th International Conference, volume 935 of LNCS. Springer, 1995.
25. S. Smith and D. Duke. Virtual environments as hybrid systems. lnEG-UK'99, 1999. Eurographics UK Chapter.
26. I. Sommerville. Sofavare Engineering. AddisonWesley, fifth edition, 1996.
27. TACIT homepage, 1999. http://kazan.cnuce.cnr.it/TACITJ.
28. R. Wieting. Hybrid high-level nets. In Winter Simulation Conference, pages 848-855, 1996. Coronado, California.
29. R. Wieting and M. Sonnenschein. Extending high-level petri nets for modeling hybrid systems. In A. Sydow, editor, Proceedings of the IMACS Symposium on Systems Analysis and Simulation, pages 259-262. Gordon and Breach Publishers, 1995. Berlin, Germany.
30. Y. Y. Yang, D. A. Linkens, and S. P. Banks. Modelling of hybrid systems based on extended coloured petri nets. In Hybrid Systems II, pages 509-528. Springer, 1995.