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
-
依托单位:
海外基金