Analysis of Dead Reckoning Procedures by Using Hybrid Automata

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Bahadir Kaan Ozutam Articles by Halit Oguztuzun

3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications

College Park, Maryland

March 23-March 24

ISBN: 0-7695-0459-0

	ASCII Text	x
	Bahadir Kaan Ozutam, Halit Oguztuzun, "Analysis of Dead Reckoning Procedures by Using Hybrid Automata," Distributed Interactive Simulation and Real-Time Applications, International Workshop on, pp. 22, 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications, 1999.

	BibTex	x
	@article{ 10.1109/DISRTA.1999.807722, author = {Bahadir Kaan Ozutam and Halit Oguztuzun}, title = {Analysis of Dead Reckoning Procedures by Using Hybrid Automata}, journal ={Distributed Interactive Simulation and Real-Time Applications, International Workshop on}, volume = {0}, year = {1999}, issn = {1530-1990}, pages = {22}, doi = {http://doi.ieeecomputersociety.org/10.1109/DISRTA.1999.807722}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Distributed Interactive Simulation and Real-Time Applications, International Workshop on TI - Analysis of Dead Reckoning Procedures by Using Hybrid Automata SN - 1530-1990 SP EP A1 - Bahadir Kaan Ozutam, A1 - Halit Oguztuzun, PY - 1999 KW - dead reckoning KW - distributed interactive simulation KW - hybrid automata KW - model checking VL - 0 JA - Distributed Interactive Simulation and Real-Time Applications, International Workshop on ER -

Bahadir Kaan Ozutam, Middle East Technical University

Halit Oguztuzun, Middle East Technical University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DISRTA.1999.807722

Dead reckoning procedures for distributed interactive simulation are modeled 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.

Index Terms:

dead reckoning, distributed interactive simulation, hybrid automata, model checking

Citation:

Bahadir Kaan Ozutam, Halit Oguztuzun, "Analysis of Dead Reckoning Procedures by Using Hybrid Automata," dis-rt, pp.22, 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications, 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.