课题基金 / 基金详情

METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES

METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
自主水下航行器可靠性控制方法
批准号:
EP/E02727X/1
负责人:
Alessio Lomuscio
金额:
$38.9万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2007
资助国家:
英国
项目状态:
已结题
起止时间:
2007 至 --

项目摘要

项目成果

Alessio Lomuscio的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Many autonomous underwater vehicles (AUVs) have been recently developed and successfully deployed for various oceanographic, industry and defense applications. Two key concerns of AUVS are that they are expensive to produce and that they are mostly one-off products thereby disallowing quality control techniques and analysis used in mass production. This proposal aims to analyse techniques and to build a system aimed at reducing the chance of AUVs malfunctioningor becoming irrecoverably lost; hence, indirectly, the proposal aims to reduce the effective operational cost of AUVs. The project is to build on the many years of experience of designing, building and operating AUVs at the National Oceanography Centre at Southampton University. The main parts of the proposed system are and fault assessment system (IFAS), design optimization tool for overall operational reliability (DOPTOR) and human interface for daily operation (HIDO) .The cost of development and then loss of AUVs is very high relative to the design system proposed. The methodology developped in the project would pay for itself in a single vehicle and many times over should it be replicated. Collateral benefits of the proposal are that the methodology generated will largely be transferable to users other than the collaborators and also to other types of costly autonomous vehicles on land and in air.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
形式方法和软件工程 - 第十二届形式工程方法国际会议,ICFEM 2010,中国上海,2010 年 11 月 17-19 日。会议记录
DOI: 10.1007/978-3-642-16901-4_15
发表时间: 2010
期刊:
影响因子: --
作者: [Lomuscio A]
通讯作者: Lomuscio A
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
结合故障注入和模型检查来验证多代理系统中的容错能力
DOI: --
发表时间: 2009
期刊: 8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09)
影响因子: --
作者: [Jonathan E]
通讯作者: Jonathan E
DOI: 10.3233/fi-2010-298
发表时间: 2010
期刊: Fundam. Informaticae
影响因子: --
作者: [A. Lomuscio;B. Strulo;Nigel G. Walker;Peng Wu]
通讯作者: A. Lomuscio;B. Strulo;Nigel G. Walker;Peng Wu
DOI: 10.1007/s10009-015-0378-x
发表时间: 2017-02-01
期刊: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
影响因子: 1.5
作者: [Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco]
通讯作者: Raimondi, Franco
7
    SAIS: Secure AI assistantS
    • 批准号:
      EP/T026731/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $50.48万
    • 财政年份:
      2020
    • 负责人:
      Alessio Lomuscio
    • 依托单位:
    Trusted Autonomous Systems
    • 批准号:
      EP/I00520X/1
    • 项目类别:
      Fellowship
    • 资助金额:
      $135.88万
    • 财政年份:
      2010
    • 负责人:
      Alessio Lomuscio
    • 依托单位:
    Verification of security protocols: a multi-agent systems approach
    • 批准号:
      EP/E035655/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $48.76万
    • 财政年份:
      2007
    • 负责人:
      Alessio Lomuscio
    • 依托单位:
    海外基金