Hide/Show Apps

Analysis of dead reckoning procedures by using hybrid automata

1999-01-01
Ozutam, B.K.
Oğuztüzün, Mehmet Halit S.
Show full item record
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
2
views
0
downloads
© 1999 IEEE.Dead reckoning procedures for distributed interactive simulation are modelled as hybrid automata, and the interaction of their critical performance parameters, such as error threshold, heartbeat rate, network delay and network load, are analyzed by means of a symbolic model checking tool for hybrid automata.
Dead reckoning, Automata, Acceleration, Heart beat, Navigation, Virtual environment, Differential equations, Position measurement, Automatic control, Mathematical model
https://hdl.handle.net/11511/57495
Department of Computer Engineering, Conference / Seminar
METU IIS - Integrated Information Service IT Support Service
You can transmit your request, problems about services
provided by METU Computer Center, and follow the process.