Analysis of Dead Reckoning Procedures by Using Hybrid Automata

Authors:
Bahadir Kaan Ozutam;Halit Oguztuzun
Affiliations:
-;-
Venue:
DIS-RT '99 Proceedings of the 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications
Year:
1999

Citing 0
Cited 1

On Consistency and Network Latency in Distributed Interactive Applications: A Survey—Part II: Presence 2005: Eighth International Workshop I

Presence: Teleoperators and Virtual Environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.