{"title":"基于混合自动机的航位推算程序分析","authors":"Bahadir Kaan Ozutam, Halit Oğuztüzün","doi":"10.1109/DISRTA.1999.807722","DOIUrl":null,"url":null,"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.","PeriodicalId":129736,"journal":{"name":"Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Analysis of dead reckoning procedures by using hybrid automata\",\"authors\":\"Bahadir Kaan Ozutam, Halit Oğuztüzün\",\"doi\":\"10.1109/DISRTA.1999.807722\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":129736,\"journal\":{\"name\":\"Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications\",\"volume\":\"25 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-03-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DISRTA.1999.807722\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DISRTA.1999.807722","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analysis of dead reckoning procedures by using hybrid automata
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.