机构名称：
¥ 1.0
摘要。安全是自主系统的关键特征之一。安全的决策是开发此类系统的一项艰巨而艰巨的任务。为了应对这一挑战，我们提出了Vgoal，这是一种基于目标的规范语言，旨在确保安全的自主决策。在本文中，我们介绍了Vgoal的解释器，它是自主系统的基于代理的决策组件。我们的主要贡献是Vgoal解释器的设计和实施，该设计和实施自动有效地实时生成安全的决策，同时同时执行安全检查，错误和解决冲突，以解决竞争请求。由于机器人操作系统是开发机器人应用系统的流行框架，因此我们通过Rosbridge将Vgoal解释器与其集成在一起。为了证明VGOAL的有效性，我们使用了一个包括三个自动移动机器人的现实自主逻辑系统验证了其绩效。
Vgoal -Lirias
主要关键词
相关文件推荐
