Analysis of Dead Reckoning Procedures by Using Hybrid Automata

College Park, Maryland March 23-March 24

DOI Bookmark:

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

3rd International Workshop on Distrib ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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

	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

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.