波戈莫洛夫，谢尔盖;前言，马塞洛;科斯蒂安·波托姆金 案例研究：统一作战指挥与控制模型中的可达性和可扩展性。 （英语） 兹伯利07368097 Schmitz，Sylvain（编辑）等人，《可达性问题》。第14届国际会议，RP 2020，法国巴黎，2020年10月19-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12448, 52-66 (2020). 摘要：可达性分析计算包含混合自动机在给定时间范围内的可达状态的包络。众所周知，这是一项计算密集型任务。在本案例研究文件中，我们考虑了可达性分析在数学模型上的应用，该数学模型统一了两个关键作战功能：作战和指挥与控制（C2）。这里的可达性意味着，在给定一系列初始作战部队和指挥与控制网络以及各种不确定性的情况下，一方是否能够在完整部队的战斗中幸存下来，而对手则被减至零。这些是军事行动研究（OR）中出现的问题。本文首次将混合自动机和可达性分析的概念应用于OR领域。我们探讨了基于泰勒模型的可达性技术在该领域的适用性和可扩展性。我们的实验证明了OR环境下可达性分析的潜力。有关整个系列，请参见[Zbl 1464.68022号]。 MSC公司： 68季度xx 计算理论 关键词：混成自动机;可达性分析;运筹学;战斗;指挥与控制 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，Lect。注释计算。科学。12448，52-66（2020；Zbl 07368097） 全文： 内政部