Analysis of dead reckoning procedures by using hybrid automata

Date

1999-01-01

Author

Ozutam, B.K.
Oğuztüzün, Mehmet Halit S.

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

8
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.

Subject Keywords

Dead reckoning, Automata, Acceleration, Heart beat, Navigation, Virtual environment, Differential equations, Position measurement, Automatic control, Mathematical model

URI

https://hdl.handle.net/11511/57495

DOI

https://doi.org/10.1109/disrta.1999.807722

Collections

Department of Computer Engineering, Conference / Seminar

Citation Formats

B. K. Ozutam and M. H. S. Oğuztüzün, “Analysis of dead reckoning procedures by using hybrid automata,” presented at the 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, Greenbelt, MD, USA, 1999, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/57495.