拉杰夫·阿鲁尔;萨拉尔莫阿雷夫;乌富克托普库 多智能体系统反应控制器的合成综合。 （英语） Zbl 1411.68156号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。9780, 251-269 (2016). 摘要：本文考虑由一组受控和非受控智能体组成的多智能体系统的控制器综合问题。受控代理可能需要相互合作，并对非受控代理的行为作出反应，以实现其目标。此外，受控制的代理可能不完善，例如，由于其传感器的限制，仅部分观察其环境。我们提出了一个基于合成反应合成的控制器合成框架。我们象征性地实现了这些算法，并将其应用于机器人运动规划案例研究，其中多个机器人被放置在一个网格世界中，其中包含静态障碍物和其他动态、不受控和潜在敌对机器人。我们考虑了不同的目标，如避免碰撞、保持队形和有界可达性。我们表明，通过利用系统的结构，合成合成算法可以显著优于集中式合成算法从时间和内存的角度来看，综合方法可以解决集中式算法不可行的问题。我们的发现显示了符号和合成反应合成方法作为规划算法在动态变化和可能对抗的环境中的潜力。关于整个系列，请参见[兹比尔1342.68011]. 引用于三文件 MSC公司： 68T42型 Agent技术与人工智能 68T40型 机器人人工智能 93甲14 分散的系统 93亿B50 合成问题 93C85号 控制理论中的自动化系统（机器人等） PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。注释计算。科学。9780，251--269（2016；Zbl 1411.68156） 全文： 内政部