Reconfigurable Autonomy

可重构的自主性

• 批准号: EP/J011770/1
• 负责人: Michael Fisher
• 金额: $ 53.44万
• 依托单位: University of Liverpool
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2012
• 资助国家: 英国
• 起止时间: 2012 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FJ011770%2F1
• 关键词: Reconfigurable; Autonomy

As computational and engineering applications become more sophisticated, the need for autonomous systems that can act intelligently without direct human intervention increases. Yet the autonomous control at the heart of many such systems is often ad-hoc and opaque. Since the cost of failure in critical systems is high, a more reliable, understandable and consistent approach is needed. Thus, in this project we aim to provide a rational agent architecture that controls autonomous decision-making, is re-usable and generic, and can be configured for many different autonomous platforms. In partnership with the industrial collaborators we aim to show how such "reconfigurable autonomy" can be achieved in relevant applications.

随着计算和工程应用变得越来越复杂，对能够在没有直接人工干预的情况下智能行动的自主系统的需求也增加了。然而，许多此类系统的核心自主控制往往是临时的和不透明的。由于关键系统的故障成本很高，因此需要一种更可靠、更容易理解和更一致的方法。因此，在这个项目中，我们的目标是提供一个Rational代理体系结构，它控制自主决策，是可重用和通用的，并且可以配置为许多不同的自主平台。通过与行业合作者的合作，我们的目标是展示如何在相关应用中实现这种“可重构的自主性”。

项目成果

Misplaced Trust?

• DOI: 10.1049/etr.2014.0054
• 发表时间: 2015
• 作者: Michael Fisher;N. Reed;J. Savirimuthu

Adaptation of System Configuration under the Robot Operating System

机器人操作系统下系统配置的适配

• DOI: 10.3182/20140824-6-za-1003.02531
• 发表时间: 2014
• 期刊: IFAC Proceedings Volumes
• 作者: Aitken J

Safety and Certification of Unmanned Air Systems

无人机系统的安全和认证

• DOI: 10.1049/etr.2015.0009
• 发表时间: 2015
• 期刊: Engineering & Technology Reference
• 作者: Patchett C

Formal verification of ethical choices in autonomous systems

• DOI: 10.1016/j.robot.2015.11.012
• 发表时间: 2016-03-01
• 期刊: ROBOTICS AND AUTONOMOUS SYSTEMS
• 影响因子: 4.3
• 作者: Dennis, Louise;Fisher, Michael;Webster, Matt
• 通讯作者: Webster, Matt

Two-stage agent program verification

• DOI: 10.1093/logcom/exv002
• 发表时间: 2018-04
• 期刊: J. Log. Comput.
• 作者: Louise Dennis;Michael Fisher;M. Webster