Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
12
views
0
downloads
Cite This
© 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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.
