S&AS: INT: COLLAB: Composable and Verifiable Design for Autonomous Humanoid Robots in Space Missions

S

• 批准号: 1724070
• 负责人: Hai Lin
• 金额: $ 45.95万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-09-01 至 2021-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1724070&HistoricalAwards=false
• 关键词: S& INT; COLLAB; Composable; Verifiable

Future space missions will increasingly rely on autonomous robots like the NASA Valkyrie human-centered robot for deploying equipment, assisting astronauts, and maintaining facilities in real world partially-observable and cluttered environments. Despite significant progress in robotic mobility, manipulation, and perception, there has been relatively little progress on providing formal performance guarantees for these integrated systems. Formal guarantees are critical for achieving long term autonomy, particularly for robots performing complex tasks requiring successful execution of multiple component subtasks. Thus, the goal of this project is to develop performance guarantees for space robots operating in unstructured real world environments. Although robots are used as design examples, the project is of a basic research nature and the results can have impacts on other fields, such as sensor/actuator networks, manufacturing and transportation systems. The multidisciplinary approach taken for this project will help broaden participation of underrepresented groups and positively impact engineering and computer science education.The objective of this project is to develop new methods to synthesize coordinated manipulation and locomotion plans and control policies that verifiably adhere to formal mission specifications. There are two major thrusts. First, the PIs plan to develop manipulation, locomotion, and motion primitives that can provide performance guarantees in unstructured, partially observable, and dynamic environments. The focus will be on using methods from perception and planning under uncertainty to provide guarantees in cluttered and partially observable environments. The PIs will also leverage new tools from hybrid systems and sampling based methods to achieve controllers with verifiable guarantees through contact mode switches. Second, the PIs plan to devise methods to automatically synthesize mission plans in a way that can guarantee the accomplishment of high-level mission goals or bound the probability of failure. The focus will be on automatic and learning-based design, enabling the system to adapt to changing environments, uncertain faults and potential adversaries. Most of the work performed under this project will be demonstrated in the context of complex space tasks inspired by NASA scenarios.

未来的太空任务将越来越多地依赖自主机器人，如NASA的Valkyrie以人为中心的机器人，用于部署设备，协助宇航员，并在真实的世界部分可观察和混乱的环境中维护设施。尽管在机器人的机动性，操纵和感知方面取得了重大进展，但在为这些集成系统提供正式的性能保证方面进展相对较小。正式的保证是实现长期自主性的关键，特别是对于执行复杂任务的机器人，需要成功执行多个组件子任务。因此，该项目的目标是为在非结构化真实的世界环境中运行的空间机器人开发性能保证。虽然机器人被用作设计示例，但该项目属于基础研究性质，其结果可能会对其他领域产生影响，例如传感器/执行器网络，制造和运输系统。该项目采用的多学科方法将有助于扩大代表性不足的群体的参与，并对工程和计算机科学教育产生积极影响。该项目的目标是开发新的方法来综合协调的操纵和运动计划以及可验证地遵守正式使命规范的控制策略。有两个主要的推力。首先，PI计划开发操纵，运动和运动原语，可以在非结构化，部分可观察和动态环境中提供性能保证。重点将是在不确定性下使用感知和规划方法，以在混乱和部分可观察的环境中提供保证。PI还将利用来自混合系统和基于采样的方法的新工具，通过接触模式开关实现具有可验证保证的控制器。第二，PI计划设计自动综合使命计划的方法，以保证高级使命目标的完成或限制失败的概率。重点将放在自动化和基于学习的设计上，使系统能够适应不断变化的环境，不确定的故障和潜在的对手。在该项目下开展的大部分工作将在受美国航天局设想启发的复杂空间任务的背景下进行演示。