用CPSwarm工作台工程化网络化物理系统的群体
摘要：CPSwarm工作台的工程化群体是一个复杂的过程。我们呈现了CPSwarm工作台，它创建了一个自动化设计工作流程以简化这个过程。这种形式化的工作流程指导用户从建模、代码生成到部署，既可以在模拟环境中进行，也可以在CPS硬件平台上进行。该工作台结合了现有和新兴的工具来解决实际的CPS群体问题。作为概念验证，我们使用该工作台设计了一群无人机（UAVs）和无人地面车辆（UGVs）用于搜索和救援（SAR）用例。我们在三个层面上评估了结果群体的行为。首先，通过抽象模拟进行快速原型设计。其次，通过详细模拟测试结果的正确性。第三，通过硬件部署来证明可行性。我们以覆盖面积和被救人数来评估群体的性能。结果显示，群体的性能与其规模成正比。尽管存在一些手动步骤，提出的工作台证明了它对于简化部署CPS群体的复杂任务非常适用。
作者：Micha Sende, Melanie Schranz, Gianluca Prato, Etienne Brosse, Omar Morando, Martina Umlauft
论文ID：2102.13351
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2021-09-10