Model Checking Knowledge and Probability in Pursuit-Evasion Games

追逃博弈中的模型检验知识和概率

• 批准号: LP0882961
• 负责人: Prof Ron van der Meyden
• 金额: $ 26.02万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2009
• 资助国家: 澳大利亚
• 起止时间: 2009-03-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP0882961
• 关键词: Model; Checking; Knowledge; Probability; Pursuit

The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will support retention of Australian intellectual property with potential for future commercialisation. It will foster linkages between Australian researchers and an international defence alliance partner. Outcomes will be available to Australian Defence through existing Defence research sharing arrangements.

该研究将产生软件，使建模人员能够更好地了解他们的模型在应用中，包括规划下的不确定性，信息流安全和系统故障诊断。本项目研究的应用是军事搜索和救援使命规划，从而提高了使命成功的信心。 这项研究也与应急反应和避免碰撞有关。 该项目将支持保留澳大利亚知识产权，并具有未来商业化的潜力。它将促进澳大利亚研究人员与国际防务联盟伙伴之间的联系。研究成果将通过现有的国防研究共享安排提供给澳大利亚国防部。