Analysis of dead reckoning procedures by using hybrid automata

Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications Pub Date : 1999-03-23 DOI:10.1109/DISRTA.1999.807722

Bahadir Kaan Ozutam, Halit Oğuztüzün

引用次数: 3

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.

查看原文本刊更多论文

基于混合自动机的航位推算程序分析

将分布式交互仿真的航位推算过程建模为混合自动机，利用混合自动机的符号模型检验工具，分析了它们的错误阈值、心跳速率、网络时延和网络负载等关键性能参数之间的相互作用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

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

自引率

0.00%

发文量