PuRSUE公司 swMATH ID: 38924 软件作者： 马尔塞洛·M·贝尔萨尼。；索尔多，马蒂奥；克劳迪奥·蒙吉（Claudio Menghi）；佩利奇奥内，帕特里齐奥；罗西，马蒂奥 描述： PuRSUE–从机器人环境规范到控制器合成。开发机器人应用程序是一项复杂的任务，需要通常只有高素质的机器人开发人员才能掌握的技能。虽然存在帮助开发人员创建和设计机器人应用程序的正式方法，但必须明确定制这些方法，使其在机器人领域具有影响力，并有效支持机器人市场的增长。具体来说，机器人市场需要的技术是：（i）通过高级语言实现机器人应用程序的系统和严格设计；以及（ii）实现低级控制器的自动合成，使机器人能够完成其任务。为了解决这些问题，我们提出了PuRSUE（不可控环境中机器人的规划器）方法，旨在支持开发人员严格而系统地设计机器人应用程序的高级运行时控制策略。该方法包括PuRSUE-ML，这是一种高级语言，允许对环境、部署在其中的代理及其任务进行建模。PuRSUE能够自动检查是否存在允许机器人完成任务的控制器，然后合成控制器。我们评估了PuRSUE如何帮助设计者建模机器人应用程序，其自动计算控制器的有效性，以及该方法如何支持在实际机器人上部署控制器。该评估基于文献中提出的3种不同机器人应用的13种场景。结果表明：（i）与在低级建模形式中直接编码机器人应用程序相比，PuRSUE ML在支持设计者对机器人应用程序进行形式化建模方面是有效的；（ii）PuRSUE能够自动生成难以手动创建的控制器；以及（iii）使用PuRSUE生成的计划在实际机器人上部署时确实有效。 主页： https://link.springer.com/article/10.1007/s00165-020-00509-0 源代码： https://github.com/deib-polimi/PuRSUE网站 关键词： 机器人技术；软件工程；控制器综合；形式化方法 相关软件： 长期平均价格；ROS公司；NuSMV公司；github；PRISM-游戏；辛西娅；UPPAAL TIGA公司；Uppaal公司；棱镜 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 PuRSUE–从机器人环境规范到控制器合成。 Zbl 1458.68218号马尔塞洛·贝尔萨尼。；马蒂奥·索尔多；克劳迪奥·蒙吉；帕特里齐奥·佩利奇奥内；罗西，马蒂奥 2020 5位作者引用 1 马尔塞洛·玛丽亚·贝尔萨尼 1 克劳迪奥·蒙吉 1 帕特里齐奥·佩利奇奥内 1 马泰奥·罗西。 1 马蒂奥·索尔多 连载1篇 1 计算的形式方面 在2个字段中引用 1 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文