CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
批准号:
1035199
负责人:
Nancy Lynch
金额:
$34.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-15 至 2013-08-31
中文摘要
本研究的目的是为多机器人系统开发新的计算模型。算法的执行在通信、计算和运动的循环中进行。计算与系统的物理结构有着千丝万缕的联系。目前的模型不能在一个既可管理又准确的抽象层次上描述多机器人系统。该项目将结合分布式算法、计算几何和控制理论的思想,为包含系统物理特性的多机器人系统设计新的模型。该方法侧重于在执行指定任务时探索未知环境的高级问题和保持网络连通性的子问题。要研究的关键问题将包括处理持续离散故障的算法技术,以及理解与故障率、几何假设和物理参数(如机器人移动性和通信带宽)相关的系统能力的方法。将为错误率和机器人机动性制定新的指标。智能价值来自于分布式算法、计算几何和控制理论技术的结合,以开发和分析多机器人系统的算法。该项目将开发一类新的算法和技术来进行严格的分析,不仅在理想条件下,而且在各种错误假设下。该项目将在三种不同的多机器人系统上对理论观点进行实证检验。更广泛的影响将包括机器人协调的新算法,以及对不同硬件平台能力的严格理解。机器人是一个很好的推广工具,并提供了理论在行动中的具体例子。
英文摘要
The objective of this research is to develop new models of computation for multi-robot systems. Algorithm execution proceeds in a cycle of communication, computation, and motion. Computation is inextricably linked to the physical configuration of the system. Current models cannot describe multi-robot systems at a level of abstraction that is both manageable and accurate. This project will combine ideas from distributed algorithms, computational geometry, and control theory to design new models for multi-robot systems that incorporate physical properties of the systems. The approach is to focus on the high-level problem of exploring an unknown environment while performing designated tasks, and the sub-problem of maintaining network connectivity. Key issues to be studied will include algorithmic techniques for handling ongoing discrete failures, and ways of understanding system capabilities as related to failure rates, geometric assumptions and physical parameters such as robot mobility and communication bandwidth. New metrics will be developed for error rates and robot mobility.Intellectual merit arises from the combination of techniques from distributed algorithms, computational geometry, and control theory to develop and analyze algorithms for multi-robot systems. The project will develop a new class of algorithms and techniques for their rigorous analysis, not only under ideal conditions, but under a variety of error assumptions. The project will test theoretical ideas empirically, on three different multi-robot systems.Broader impacts will include new algorithms for robot coordination, and rigorous understanding of the capabilities of different hardware platforms. Robots are an excellent outreach tool, and provide concrete examples of theory in action.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
-
批准号:2139936
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Distributed Algorithms for Dynamic, Noisy Platforms: Wireless Networks, Robot Swarms, and Insect Colonies
-
批准号:2003830
-
项目类别:Standard Grant
-
资助金额:$34.94万
-
财政年份:2020
-
负责人:Nancy Lynch
-
依托单位:
NSF-BSF: AF: Small: An Algorithmic Theory of Brain Networks
-
批准号:1810758
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Nancy Lynch
-
依托单位:
AF: Medium: Distributed Algorithms for Resource-Constrained and Dynamic Settings
-
批准号:1461559
-
项目类别:Continuing Grant
-
资助金额:$74.14万
-
财政年份:2015
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Bounded-Contention Coding for Wireless Networks
-
批准号:1217506
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Nancy Lynch
-
依托单位:
CCF-AF: Abstract Medium Access Control Layers
-
批准号:0937274
-
项目类别:Standard Grant
-
资助金额:$84.82万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
Theoretical Foundations for Reliable Computing in Unreliable Mobile ad hoc Networks
-
批准号:0726514
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
-
批准号:0715397
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
Extending the Power and Applicability of the Timed Input/Output Automata Framework
-
批准号:0702670
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR--EHS: Collaborative Research: Verification of Probabilistic Hybrid Systems: Stability and Beyond
-
批准号:0614414
-
项目类别:Continuing Grant
-
资助金额:$23.0万
-
财政年份:2006
-
负责人:Nancy Lynch
-
依托单位:
ITR/SY: Communication and Data Sharing Services for Dynamic Distributed Systems
-
批准号:0121277
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Nancy Lynch
-
依托单位:
Building Blocks for Distributed Applications: Theory and Practice
-
批准号:9909114
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems
-
批准号:9876931
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
CISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed Applications
-
批准号:9901592
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
Practical Formal Methods for the Design and Analysis of Complex Concurrent Systems
-
批准号:9804665
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1998
-
负责人:Nancy Lynch
-
依托单位:
The Topological Approach to Asynchronous Computability
-
批准号:9520298
-
项目类别:Continuing Grant
-
资助金额:$22.81万
-
财政年份:1996
-
负责人:Nancy Lynch
-
依托单位:
A Unified Framework for Verification and Complexity Analysis of Real-Time and Distributed Systems
-
批准号:9225124
-
项目类别:Continuing Grant
-
资助金额:$32.4万
-
财政年份:1993
-
负责人:Nancy Lynch
-
依托单位:
Summer Institute in Japan for U.S. Graduate Students in Science and Engineering
-
批准号:9210596
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Nancy Lynch
-
依托单位:
Distributed Algorithms
-
批准号:8915206
-
项目类别:Continuing Grant
-
资助金额:$41.83万
-
财政年份:1990
-
负责人:Nancy Lynch
-
依托单位:
Modularity of Distributed Algorithms
-
批准号:8611442
-
项目类别:Continuing Grant
-
资助金额:$51.66万
-
财政年份:1986
-
负责人:Nancy Lynch
-
依托单位:
海外基金