Analysis of dead reckoning procedures by using hybrid automata

Proceedings - 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, DiS-RT 1999

Volumn , Issue , 1999, Pages 22-29

  Ozutam, B K ^a   Oguztuzun, H ^a  

^a MIDDLE EAST TECHNICAL UNIVERSITY   (Turkey)

Author keywords

Dead reckoning; Distributed interactive simulation; Dybrid automata; Model checking

Indexed keywords

AUTOMATA THEORY; NAVIGATION;

CRITICAL PERFORMANCE PARAMETERS; DEAD RECKONING; DISTRIBUTED INTERACTIVE SIMULATION; DYBRID AUTOMATA; ERROR THRESHOLD; HEART BEAT RATES; HYBRID AUTOMATONS; SYMBOLIC MODEL CHECKING;

MODEL CHECKING;

EID: 33748640846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISRTA.1999.807722     Document Type: Conference Paper

References (14)

1. DIS-Java-VRML Working Group, Distributed Interactive Simulation, (see http:/A.stl.nps.navy.mil/dis-java-vrml)
2. Grosseiler R., Laferriere R., Keller M.L. and Pausch R., An introductory tutorial for developing multi-user virtual environments, Presence, December 1994,3: 4,pp.255-264.
3. Lin, K., Dead reckoning in DIS, (see http:// .ist.uctedu/labsproj/ projects/dr.htm)
4. joint Data Base Llements, DIS Data Dictionary - PDU Data, (see http:/A.siso.sc.ist.uctedu/dis/dis-dd/pdu/39.httn)
5. Alur, R., Courcoubetis, C., TIalbachs, N., Tlenzinger, I A., Tb, P., Nicollin, X., Olivero, A., Sifakis, j., and Yovine, S., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol. 138, 1995, pp. 3-34
6. Alur, R, Tbenzinger, TA. and Tb, P., Automatic symbolic verification of embedded systems, JLLL Transactions on Sojiware Lngineering, Vol. 22, 1996, pp. 181-201.
7. Tbenzinger, TA., The theoiy of hybrid automata, In Proceedings of the 11th Annual JLLL Svmposium on Logic in Computer Science (LICS 1996), pp. 278-292.
8. Tbenzinger, TA., Tb, P. and Wong-Toi, Tb., A user guide to Tbytech, In Proceedings oJ the First Workshop on Tools and Algorithms Jor the Construction and Analvsis oJ Svstems (T4c45), Lecture Notes in Computer Science 1019, Springer-Verlag, 1995, pp: 41-71.
9. Tlenzinger, TA, Tb, P. and Wong-Toi, TI., TlyTech: The next generation, In Proceedings oJ the 16th Annual JLLL Realtime Systems Symposium (RT SS 1995), pp. 56-65.
10. Tlenzinger, T.A and Tb, P., TlyTech: The Cornell hYbrid LCT Inology Tool, In Hybrid Systems II , P. Antsaklis, W. Kohn, A. Nerode, S. Sastry, eds., LNCS 999, Springer-Verlag 1995, pp: 265-294.
11. Lvans, A.B., The DIS laser PDU, In Summary Report Light Workshop on Standards Jor the Interoperability of Dejence Simulations,Vol. 1, Institute for Simulation and Training, Orlando, Florida, March 1993.
12. PATTI Project, STIIFT Team. (See http://.path.berkeley.edu/shift/publications.html)
13. Singhal, SK. and Cheriton, DR., Lxploiting position history for efficient remote rendering in netorked virtual reality, Presence, Vol. 4, No. 2, Spring 1995, pp. 169-193.
14. Puri A, Borkar V and Varaiya P ϵ-approximation of differential inclusions. In Hybrid Systems III, R. Alur, T .A. Tbenzinger and L.D. Sontag, eds. LNCS 1066, Springer-Verlag, 1996, pp. 362-376.