Analysis of dead reckoning procedures by using hybrid automata

Ozutam B., Oguztuzun H.

3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, DiS-RT 1999, Maryland, Amerika Birleşik Devletleri, 22 - 23 Ekim 1999, ss.22-29 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Doi Numarası: 10.1109/disrta.1999.807722
  • Basıldığı Şehir: Maryland
  • Basıldığı Ülke: Amerika Birleşik Devletleri
  • Sayfa Sayıları: ss.22-29
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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