Engineering Autonomous Space Software
工程自主空间软件
基本信息
- 批准号:EP/F037570/1
- 负责人:
- 金额:$ 53.6万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2008
- 资助国家:英国
- 起止时间:2008 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This proposal is based on two premises: that (1) increased autonomy is essential for future space exploration; (2) that existing programming methods are tedious to apply to autonomous components that have to handle an environment with continuous state variables. For well defined discrete-event environments the above rational agent approach is well developed; for a continuous environment, however, perception processes need to be linked with abstractions forming the basis of behaviour. As the environment changes, the abstracted models may also change. Hence, agents are needed that can use these abstractions to aid their decision making processes, use these in the predictive modelling of a continuous world, and connect these abstractions to both planning and goal achievement within rational agents.This project also intends to replace the current complex programming techniques, used for autonomous spacecraft control, with simpler declarative programming. High-level, declarative agent programming languages have been investigated at Liverpool and such theories and languages will be developed further for agents that require predictive modelling capabilities. The Southampton team is experienced both in the formal handling of analytical and empirical models for control and prediction, and in developing control software for real satellites. The merging of these themes is very promising. Although the results will be transferable to ground vehicles and robots, this project will particularly illustrate the new methods in space applications, both in simulation and laboratory hardware demonstrations.
这一提议基于两个前提:(1)增强自主性对未来的太空探索至关重要;(2)现有的编程方法应用于必须处理具有连续状态变量的环境的自治组件是繁琐的。对于定义良好的离散事件环境,上述理性代理方法得到了很好的发展;然而,对于连续的环境,感知过程需要与构成行为基础的抽象联系起来。随着环境的变化,抽象模型也可能发生变化。因此,需要能够使用这些抽象来帮助其决策制定过程的代理,在连续世界的预测建模中使用这些抽象,并将这些抽象与理性代理中的计划和目标实现联系起来。该项目还打算用更简单的声明式编程取代目前用于自主航天器控制的复杂编程技术。利物浦已经研究了高级的、声明性的代理编程语言,这些理论和语言将进一步发展,用于需要预测建模能力的代理。南安普顿团队在控制和预测的分析和经验模型的正式处理以及为实际卫星开发控制软件方面经验丰富。这些主题的融合是非常有希望的。虽然结果将转移到地面车辆和机器人上,但该项目将特别说明空间应用中的新方法,包括模拟和实验室硬件演示。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Natural Language Programming of Complex Robotic BDI Agents
- DOI:10.1007/s10846-012-9779-1
- 发表时间:2012-09
- 期刊:
- 影响因子:3.3
- 作者:N. Lincoln;S. Veres
- 通讯作者:N. Lincoln;S. Veres
Declarative abstractions for agent based hybrid control systems in Revised, Selected and Invited Papers of 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010,
基于代理的混合控制系统的声明性抽象,第 8 届国际研讨会修订、精选和邀请论文,DALT 2010,加拿大多伦多,2010 年 5 月 10 日,
- DOI:
- 发表时间:2011
- 期刊:
- 影响因子:0
- 作者:Dennis, L A
- 通讯作者:Dennis, L A
Reducing Code Complexity in Hybrid Autonomous Control Systems
降低混合自主控制系统中的代码复杂性
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0
- 作者:Dennis, L
- 通讯作者:Dennis, L
Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification
- DOI:10.1080/00207179.2010.510173
- 发表时间:2010-04
- 期刊:
- 影响因子:2.1
- 作者:N. Lincoln;S. Veres
- 通讯作者:N. Lincoln;S. Veres
Autonomous Asteroid Exploration by Rational Agents
理性智能体自主小行星探索
- DOI:10.1109/mci.2013.2279559
- 发表时间:2013
- 期刊:
- 影响因子:9
- 作者:Lincoln N
- 通讯作者:Lincoln N
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Sandor Veres其他文献
Simultaneous search and monitoring by multiple aerial robots
多空中机器人同时搜索监控
- DOI:
10.1016/j.robot.2023.104544 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Haoyu Zhang;Sandor Veres;Andreas Kolling - 通讯作者:
Andreas Kolling
Sandor Veres的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Sandor Veres', 18)}}的其他基金
DISTRIBUTED SENSING, CONTROL AND DECISION MAKING IN MULTIAGENT AUTONOMOUS SYSTEMS
多智能体自治系统中的分布式传感、控制和决策
- 批准号:
EP/J011894/2 - 财政年份:2012
- 资助金额:
$ 53.6万 - 项目类别:
Research Grant
DISTRIBUTED SENSING, CONTROL AND DECISION MAKING IN MULTIAGENT AUTONOMOUS SYSTEMS
多智能体自治系统中的分布式传感、控制和决策
- 批准号:
EP/J011894/1 - 财政年份:2012
- 资助金额:
$ 53.6万 - 项目类别:
Research Grant
METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
自主水下航行器可靠性控制方法
- 批准号:
EP/E02677X/1 - 财政年份:2007
- 资助金额:
$ 53.6万 - 项目类别:
Research Grant
相似海外基金
SBIR Phase I: Autonomous System for DNA Sequencing Prep in Space and Austere Environments
SBIR 第一阶段:在太空和严峻环境中进行 DNA 测序准备的自主系统
- 批准号:
2344191 - 财政年份:2024
- 资助金额:
$ 53.6万 - 项目类别:
Standard Grant
Development of autonomous operation scenario for space smart antenna system considering uncertainties
考虑不确定性的空间智能天线系统自主运行场景开发
- 批准号:
23H01607 - 财政年份:2023
- 资助金额:
$ 53.6万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Self-driving laboratories for autonomous exploration of protein sequence space
用于自主探索蛋白质序列空间的自动驾驶实验室
- 批准号:
10717598 - 财政年份:2023
- 资助金额:
$ 53.6万 - 项目类别:
Artificial Intelligence (AI) Mode-Space Optical/Quantum Processor Design for Energy-Autonomous AI Applications
适用于能源自主 AI 应用的人工智能 (AI) 模式空间光学/量子处理器设计
- 批准号:
RGPIN-2021-03480 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
Discovery Grants Program - Individual
Autonomous Space Robotics and Mechatronics
自主空间机器人和机电一体化
- 批准号:
CRC-2018-00275 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
Canada Research Chairs
Smart Autonomous Robotic Technology for Space Exploration (SMART-ART)
太空探索智能自主机器人技术(SMART-ART)
- 批准号:
555425-2021 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
Collaborative Research and Training Experience
Autonomous Spacecraft Proximity Operations with Uncooperative Resident Space Objects
自主航天器与不合作驻留空间物体的接近操作
- 批准号:
RGPIN-2020-07243 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
Discovery Grants Program - Individual
Artificial Intelligence (AI) Mode-Space Optical/Quantum Processor Design for Energy-Autonomous AI Applications
适用于能源自主 AI 应用的人工智能 (AI) 模式空间光学/量子处理器设计
- 批准号:
DGDND-2021-03480 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
DND/NSERC Discovery Grant Supplement
Shared-space interactions between people and autonomous vehicles
人与自动驾驶车辆之间的共享空间交互
- 批准号:
DP220102019 - 财政年份:2022
- 资助金额:
$ 53.6万 - 项目类别:
Discovery Projects
Artificial Intelligence (AI) Mode-Space Optical/Quantum Processor Design for Energy-Autonomous AI Applications
适用于能源自主 AI 应用的人工智能 (AI) 模式空间光学/量子处理器设计
- 批准号:
DGDND-2021-03480 - 财政年份:2021
- 资助金额:
$ 53.6万 - 项目类别:
DND/NSERC Discovery Grant Supplement