Verifiable Autonomy
Verifiable Autonomy
可验证的自主权
批准号：
EP/L024942/1
负责人：
Sandor Veres
金额：
$56.01万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2014
资助国家：
英国
项目状态：
已结题
起止时间：
2014 至 --
关键词：
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Virtual Spring-Damper Mesh-Based Formation Control for Spacecraft Swarms in Potential Fields
势场中航天器群基于虚拟弹簧阻尼器网格的编队控制
势场中航天器群基于虚拟弹簧阻尼器网格的编队控制
DOI：
10.2514/1.g000569
发表时间：
2015-02
期刊：
Journal of Guidance, Control and Dynamics
影响因子：
--
作者：
[Qifeng Chen, S, or M Veres, Yaonan Wang, Yunhe Meng]
通讯作者：
Yunhe Meng
DOI：
10.1145/3371382.3378326
发表时间：
2020-03
期刊：
Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction
影响因子：
--
作者：
[Ayan Ghosh;S. Veres;D. A. P. Soto;James E. Clarke;J. Rossiter]
通讯作者：
Ayan Ghosh;S. Veres;D. A. P. Soto;James E. Clarke;J. Rossiter
A stochastically verifiable autonomous control architecture with reasoning
具有推理功能的随机可验证自主控制架构
具有推理功能的随机可验证自主控制架构
DOI：
10.48550/arxiv.1611.03372
发表时间：
2016
期刊：
arXiv e-prints
影响因子：
--
作者：
[Izzo Paolo]
通讯作者：
Izzo Paolo
DOI：
10.1007/s10515-014-0168-9
发表时间：
2013-10
期刊：
Automated Software Engineering
影响因子：
3.4
作者：
[Louise Dennis;Michael Fisher;N. Lincoln;A. Lisitsa;S. Veres]
通讯作者：
Louise Dennis;Michael Fisher;N. Lincoln;A. Lisitsa;S. Veres
DOI：
10.1016/j.ifacol.2020.12.2752
发表时间：
2020
期刊：
IFAC-PapersOnLine
影响因子：
--
作者：
[Ayan Ghosh;D. A. P. Soto;S. Veres;A. Rossiter]
通讯作者：
Ayan Ghosh;D. A. P. Soto;S. Veres;A. Rossiter
共 10 条
Reconfigurable Autonomy
-
批准号：EP/J011843/2
-
项目类别：Research Grant
-
资助金额：$56.56万
-
财政年份：2013
-
负责人：Sandor Veres
-
依托单位：
DISTRIBUTED SENSING, CONTROL AND DECISION MAKING IN MULTIAGENT AUTONOMOUS SYSTEMS
-
批准号：EP/J011894/2
-
项目类别：Research Grant
-
资助金额：$160.91万
-
财政年份：2012
-
负责人：Sandor Veres
-
依托单位：
DISTRIBUTED SENSING, CONTROL AND DECISION MAKING IN MULTIAGENT AUTONOMOUS SYSTEMS
-
批准号：EP/J011894/1
-
项目类别：Research Grant
-
资助金额：$170.12万
-
财政年份：2012
-
负责人：Sandor Veres
-
依托单位：
Reconfigurable Autonomy
-
批准号：EP/J011843/1
-
项目类别：Research Grant
-
资助金额：$62.34万
-
财政年份：2012
-
负责人：Sandor Veres
-
依托单位：
Engineering Autonomous Space Software
-
批准号：EP/F037570/1
-
项目类别：Research Grant
-
资助金额：$53.6万
-
财政年份：2008
-
负责人：Sandor Veres
-
依托单位：
METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
-
批准号：EP/E02677X/1
-
项目类别：Research Grant
-
资助金额：$39.15万
-
财政年份：2007
-
负责人：Sandor Veres
-
依托单位：
海外基金