CPS: Medium: Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
CPS: Medium: Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
批准号:
1932074
负责人:
Ryan Williams
金额:
$119.77万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2024-09-30
中文摘要
我们正在进入一个前所未有的信息获取时代,在这个时代,变革的方法正在展示一个清晰的愿景,即自主驱动的未来。自动驾驶汽车、精准农业、机器人监控和基础设施检查只是经历自动驾驶革命的几个领域。为了在这个充满希望的方向上继续前进,我们必须促进各种网络物理系统(CPS)的安全可靠协调。不幸的是,目前我们对这一目标的理解存在很大的差距:决策、传感和运动算法与底层计算资源之间存在明显的鸿沟。因此,本项目试图通过回答以下问题来定义计算感知自主性:(1)环境如何影响计算?(2)自治应该如何适应提高计算意识?(3)如何在运行时优化计算资源以支持自治?(4)自治软件是如何适应错误的?该项目旨在通过优化、计算资源管理和软件弹性来回答这些问题,并在室外机器人试验台进行评估。最后,这项工作的更广泛的影响包括:(1)与弗吉尼亚理工大学工程多样性增强中心合作,为代表性不足的学生提供K-12学术经验;(2)自主课程与设计项目;(3)通过国际无人驾驶车辆系统协会的山脊和山谷分会参加一系列研讨会。本项目主要研究:(1)基于运行时资源优化和软件可靠性约束的多智能体任务分配和运动规划的统一理论和可扩展算法;(2)时间关键型CPS运行时资源优化的高效分析与优化技术;(3)在自治计算核中实现软错误弹性的轻量级和灵活方法;(4)针对目标跟踪和基础设施映射任务的异构多智能体测试平台。该项目将在计算和可靠性感知任务分配、运动规划、运行时资源优化和灵活软件可靠性等大量未开发领域推进知识。新的统一方法完成了鲁棒任务分配和运动规划的循环,因为它作为一种基本工具,在动态环境中日益复杂的多代理任务中,提高CPS的可扩展性、适应性、弹性、安全性、安全性和可用性,并具有可证明的行为。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
We are entering an age of unprecedented access to information, where transformational methodologies are demonstrating a clear vision of an autonomy-driven future. Self-driving cars, precision agriculture, robotic monitoring, and infrastructure inspection are but a few areas experiencing an autonomy revolution. To continue in this promising direction, it is critical that we facilitate the safe and reliable coordination of diverse cyber-physical systems (CPS).Unfortunately, at present there is a wide gap in our understanding that limits this goal: a stark divide exists between algorithms for decision-making, sensing, and motion, and underlying computational resources. This project therefore seeks to define computation-aware autonomy by answering the following questions: (1) How does an environment impact computation? (2) How should autonomy adapt to improve computational awareness? (3) How are computational resources optimized at run-time in support of autonomy? and (4) How is autonomy software rendered resilient to errors? This project aims to answer these questions through optimization, computational resource management, and software resilience, with evaluation in an outdoor robotic testbed. Finally, the broader impacts of this work include: (1) K-12 academic experiences for underrepresented students in collaboration with Virginia Tech's Center for Enhancement of Engineering Diversity; (2) autonomy curriculum and design projects; and (3) participation in a series of symposiums through the Ridge and Valley chapter of the Association for Unmanned Vehicle Systems International.This project focuses on the investigation of: (1) a unified theory and scalable algorithms for multi-agent task allocation and motion planning with constraints on run-time resource optimization and software reliability; (2) efficient analysis and optimization techniques for run-time resource optimization in time-critical CPS; (3) lightweight and flexible methodologies for achieving soft error resilience in computational kernels for autonomy; and (4) a heterogeneous multi-agent testbed for target tracking and infrastructure mapping missions. This project will advance knowledge in the largely unexplored areas of computation and reliability-aware task allocation and motion planning, run-time resource optimization, and flexible software reliability. The new unified approach closes the loop for robust task allocation and motion planning as it acts as a fundamental tool to advance scalability, adaptability, resiliency, safety, security, and usability of CPS with provable behaviors in increasingly complex multi-agent missions across dynamic environments.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
S-Bottleneck Scheduling with Safety-Performance Trade-offs in Stochastic Conditional DAG Models
随机条件 DAG 模型中具有安全性能权衡的 S 瓶颈调度
DOI:
--
发表时间:
2021
期刊:
Industry Challenge
影响因子:
--
作者:
[Ashrarul Haq Sifat, Xuanliang Deng]
通讯作者:
Ashrarul Haq Sifat, Xuanliang Deng
DOI:
10.1007/s40747-023-01059-7
发表时间:
2021-12
期刊:
Complex & Intelligent Systems
影响因子:
5.8
作者:
[Ashrarul H. Sifat;Burhanuddin Bharmal;Haibo Zeng;Jiabin Huang;Changhee Jung;Ryan K. Williams]
通讯作者:
Ashrarul H. Sifat;Burhanuddin Bharmal;Haibo Zeng;Jiabin Huang;Changhee Jung;Ryan K. Williams
DOI:
10.1109/rtas58335.2023.00017
发表时间:
2023-05
期刊:
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)
影响因子:
--
作者:
[Sen Wang;Ryan K. Williams;Haibo Zeng]
通讯作者:
Sen Wang;Ryan K. Williams;Haibo Zeng
DOI:
--
发表时间:
2021
期刊:
Industry Challenge
影响因子:
--
作者:
[Sen Wang, Ashrarul Haq]
通讯作者:
Sen Wang, Ashrarul Haq
DOI:
10.1109/lra.2023.3300251
发表时间:
2023-09
期刊:
IEEE Robotics and Automation Letters
影响因子:
5.2
作者:
[Ashrarul H. Sifat;Xuanliang Deng;Burhanuddin Bharmal;Sen Wang;Shao-Yu Huang;Jiabin Huang;Chang-Rae Jung;Haibo Zeng;Ryan K. Williams]
通讯作者:
Ashrarul H. Sifat;Xuanliang Deng;Burhanuddin Bharmal;Sen Wang;Shao-Yu Huang;Jiabin Huang;Chang-Rae Jung;Haibo Zeng;Ryan K. Williams
Examining relationships among teacher professional learning and associated teacher and student outcomes in math and science: A meta-analytic approach to mediation and moderation
-
批准号:2300544
-
项目类别:Continuing Grant
-
资助金额:$130.97万
-
财政年份:2023
-
负责人:Ryan Williams
-
依托单位:
CAREER: Robots that Plan Interactions, Come and Go, and Build Trust
-
批准号:2046770
-
项目类别:Continuing Grant
-
资助金额:$56.99万
-
财政年份:2021
-
负责人:Ryan Williams
-
依托单位:
AF: Small: Lower Bounds in Complexity Theory Via Algorithms
-
批准号:2127597
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2021
-
负责人:Ryan Williams
-
依托单位:
NRI: INT: Balancing Collaboration and Autonomy for Multi-Robot Multi-Human Search and Rescue
-
批准号:1830414
-
项目类别:Standard Grant
-
资助金额:$147.47万
-
财政年份:2018
-
负责人:Ryan Williams
-
依托单位:
CAREER: Common Links in Algorithms and Complexity
-
批准号:1741615
-
项目类别:Continuing Grant
-
资助金额:$50.33万
-
财政年份:2017
-
负责人:Ryan Williams
-
依托单位:
CRII: RI: Distributed, Stable and Robust Topology Control: New Methods for Asymmetrically Interacting Multi-Robot Teams
-
批准号:1657235
-
项目类别:Standard Grant
-
资助金额:$17.43万
-
财政年份:2017
-
负责人:Ryan Williams
-
依托单位:
AF:Small:Limitations on Algebraic Methods via Boolean Complexity Theory
-
批准号:1741638
-
项目类别:Standard Grant
-
资助金额:$7.06万
-
财政年份:2017
-
负责人:Ryan Williams
-
依托单位:
NRI: Coordinated Detection and Tracking of Hazardous Agents with Aerial and Aquatic Robots to Inform Emergency Responders
-
批准号:1637915
-
项目类别:Standard Grant
-
资助金额:$90.08万
-
财政年份:2016
-
负责人:Ryan Williams
-
依托单位:
AF:Small:Limitations on Algebraic Methods via Boolean Complexity Theory
-
批准号:1617580
-
项目类别:Standard Grant
-
资助金额:$10.99万
-
财政年份:2016
-
负责人:Ryan Williams
-
依托单位:
CAREER: Common Links in Algorithms and Complexity
-
批准号:1552651
-
项目类别:Continuing Grant
-
资助金额:$55.0万
-
财政年份:2015
-
负责人:Ryan Williams
-
依托单位:
AF: Large: Collaborative Research: Exploiting Duality between Algorithms and Complexity
-
批准号:1212372
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2012
-
负责人:Ryan Williams
-
依托单位:
海外基金