S&AS: INT: COLLAB: Autonomy as a Service

S

• 批准号: 1723943
• 负责人: Daniela Rus
• 金额: $ 23.5万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-08-15 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1723943&HistoricalAwards=false
• 关键词: S& INT; COLLAB; Autonomy; Service

How can one deploy teams of autonomous robots over long periods of time in such a way that they can be recruited and tasked by operators to perform a wide variety of tasks? Examples of such tasks include the environmental monitoring tasks encountered in biological conservation applications or in precision agriculture. This project will address this issue by letting the autonomous robots be available to the user in an on-demand manner through a novel 'Autonomy as a service' framework. To realize this idea, new tools will be developed for (i) describing the tasks in a way that can be understood by the robots, (ii) ensuring that the robots stay safe while executing the tasks, and (iii) methods for the robots to learn and improve over time in combination with the ability to assess their performance. The broader impact from the project will include implications for environmental monitoring, outreach programs for increasing STEM participation, and an integration of the research findings into the curriculum at the three participating institutions (Georgia Tech, BU, and MIT). In detail, the three main research themes are: (i) From Specification to Execution: The users must be able to recruit and task the robots with new missions, which calls for formally correct ways of going from high-level specifications, formulated as Linear Temporal Logic formulae, to coordinated control programs for the robots to execute. (ii) Resilient Autonomy: When delivering a system that can be commanded to perform tasks over long periods of time, the first concern must be to preserve the integrity of the system itself, i.e., basic functionality must be ensured even as the robot team is recruited to perform a particular set of tasks. This project will achieve this through the use of composable barrier certificates that ensure the forward invariance of the safe set, i.e., if the robots start safe, they will stay safe. (iii) Trajectory Based Learning from Massive Data Sets: The agent team must be able to assess the performance of whatever it is that they are monitoring. In this project, this will be achieved through models that can be effectively learned from massive data sets through novel tools for data compression and representation.

如何才能长期部署自主机器人团队，以便操作员可以招募和分配它们来执行各种任务？此类任务的示例包括生物保护应用或精准农业中遇到的环境监测任务。该项目将通过新颖的“自主即服务”框架让自主机器人以按需方式供用户使用，从而解决这个问题。为了实现这一想法，将开发新的工具来（i）以机器人可以理解的方式描述任务，（ii）确保机器人在执行任务时保持安全，以及（iii）机器人的方法随着时间的推移学习和改进，并结合评估他们的表现的能力。该项目的更广泛影响将包括对环境监测的影响、提高 STEM 参与的外展计划，以及将研究成果纳入三个参与机构（乔治亚理工学院、波士顿大学和麻省理工学院）的课程中。具体而言，三个主要研究主题是：（i）从规范到执行：用户必须能够招募机器人并为其分配新任务，这需要从高级规范开始的正式正确方法，将其表述为线性时间逻辑公式，用于协调机器人执行的控制程序。 (ii) 弹性自治：当交付一个可以被命令长期执行任务的系统时，首先要考虑的是保持系统本身的完整性，即即使机器人团队在运行时也必须确保基本功能。被招募来执行一组特定的任务。该项目将通过使用可组合屏障证书来实现这一目标，以确保安全集的前向不变性，即，如果机器人安全启动，它们将保持安全。 (iii) 从海量数据集中进行基于轨迹的学习：代理团队必须能够评估他们正在监控的任何内容的性能。在这个项目中，这将通过模型来实现，这些模型可以通过新的数据压缩和表示工具从海量数据集中有效地学习。

项目成果

Stochastic Dynamic Games in Belief Space

置信空间中的随机动态博弈

• DOI: 10.1109/tro.2021.3075376
• 发表时间: 2021
• 期刊: IEEE Transactions on Robotics
• 影响因子: 7.8
• 作者: Schwarting, Wilko;Pierson, Alyssa;Karaman, Sertac;Rus, Daniela
• 通讯作者: Rus, Daniela

On coresets for support vector machines

支持向量机的核心集

• DOI: 10.1016/j.tcs.2021.09.008
• 发表时间: 2021
• 期刊: Theoretical Computer Science
• 影响因子: 1.1
• 作者: Tukan, Murad;Baykal, Cenk;Feldman, Dan;Rus, Daniela
• 通讯作者: Rus, Daniela

The Logical Options Framework

逻辑选项框架

• 发表时间: 2021
• 期刊: International Conference on Machine Learning
• 作者: Brandon Araki, Xiao Li