• DocumentCode
    3782571
  • Title

    Analysis of dead reckoning procedures by using hybrid automata

  • Author

    B.K. Ozutam;H. Oguztuzun

  • Author_Institution
    Dept. of Comput. Eng., Middle East Tech. Univ., Ankara, Turkey
  • fYear
    1999
  • Firstpage
    22
  • Lastpage
    29
  • Abstract
    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.
  • Keywords
    "Dead reckoning","Automata","Acceleration","Heart beat","Navigation","Virtual environment","Differential equations","Position measurement","Automatic control","Mathematical model"
  • Publisher
    ieee
  • Conference_Titel
    Distributed Interactive Simulation and Real-Time Applications, 1999. Proceedings. 3rd IEEE International Workshop on
  • Print_ISBN
    0-7695-0459-0
  • Type

    conf

  • DOI
    10.1109/DISRTA.1999.807722
  • Filename
    807722
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3782571