刷新
{{item.name}}会员
Foundation of Safe Autonomous Systems
安全自治系统的基础
基本信息
- 批准号：RGPIN-2017-06002
- 负责人：
- 金额：$ 3.35万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Autonomous Systems; Cyber Phsyical Systems; Embedded Software; Formal Verification; Model Based Design; Safety Critical Systems
自治系统;网络物理系统;嵌入式软件;形式验证;基于模型的设计;安全关键系统
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
Lawford, Mark其他文献
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- DOI：
10.1007/s00165-019-00493-0 - 发表时间：
2019-10-22 - 期刊：
- 影响因子：1
- 作者：
Diskin, Zinovy;Koenig, Harald;Lawford, Mark - 通讯作者：
Lawford, Mark
Making the Case for Centralized Automotive E/E Architectures
- DOI：
10.1109/tvt.2021.3054934 - 发表时间：
2021-02-01 - 期刊：
- 影响因子：6.8
- 作者：
Bandur, Victor;Selim, Gehan;Lawford, Mark - 通讯作者：
Lawford, Mark
Lawford, Mark的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Lawford, Mark', 18)}}的其他基金
Safety assurance at GM and using model management to support it
通用汽车的安全保证并使用模型管理来支持它
- 批准号：
515486-2017 - 财政年份：2020
- 资助金额：
$ 3.35万 - 项目类别：
Collaborative Research and Development Grants
Foundation of Safe Autonomous Systems
安全自治系统的基础
- 批准号：
RGPIN-2017-06002 - 财政年份：2020
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Foundation of Safe Autonomous Systems
安全自治系统的基础
- 批准号：
RGPIN-2017-06002 - 财政年份：2019
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Safety assurance at GM and using model management to support it
通用汽车的安全保证并使用模型管理来支持它
- 批准号：
515486-2017 - 财政年份：2019
- 资助金额：
$ 3.35万 - 项目类别：
Collaborative Research and Development Grants
Safety assurance at GM and using model management to support it
通用汽车的安全保证并使用模型管理来支持它
- 批准号：
515486-2017 - 财政年份：2018
- 资助金额：
$ 3.35万 - 项目类别：
Collaborative Research and Development Grants
Foundation of Safe Autonomous Systems
安全自治系统的基础
- 批准号：
RGPIN-2017-06002 - 财政年份：2018
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Safety assurance at GM and using model management to support it
通用汽车的安全保证并使用模型管理来支持它
- 批准号：
515486-2017 - 财政年份：2017
- 资助金额：
$ 3.35万 - 项目类别：
Collaborative Research and Development Grants
Foundation of Safe Autonomous Systems
安全自治系统的基础
- 批准号：
RGPIN-2017-06002 - 财政年份：2017
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Certification of Safety-Critical Real-Time Systems
安全关键实时系统的认证
- 批准号：
217249-2012 - 财政年份：2016
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Certification of Safety-Critical Real-Time Systems
安全关键实时系统的认证
- 批准号：
217249-2012 - 财政年份：2015
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
叶绿体蛋白SAFE1和SAFE2介导单线态氧信号转导的机理研究
- 批准号：32170284
- 批准年份：2021
- 资助金额：60 万元
- 项目类别：面上项目
基于Safe screening的多任务稀疏学习理论与算法的研究
- 批准号：
- 批准年份：2020
- 资助金额：51 万元
- 项目类别：面上项目
醛糖还原酶（AR）激活SAFE（JAKs/STATs）通路在抵抗下颌下腺缺血再灌注损伤中的作用
- 批准号：
- 批准年份：2019
- 资助金额：10.0 万元
- 项目类别：省市级项目
基于Safe screening 的支持向量机的稀疏理论及其快速求解方法
- 批准号：11671010
- 批准年份：2016
- 资助金额：48.0 万元
- 项目类别：面上项目
Notch1与RISK/SAFE/HIF-1α信号通路整合在I-postC保护中的作用及其机制
- 批准号：81260024
- 批准年份：2012
- 资助金额：50.0 万元
- 项目类别：地区科学基金项目
氙气延迟后处理对兔脊髓缺血再灌注损伤的保护作用及SAFE细胞信号机制研究
- 批准号：81271387
- 批准年份：2012
- 资助金额：70.0 万元
- 项目类别：面上项目
相似海外基金
Cross-Layer Uncertainty-Aware Reinforcement Learning for Safe Autonomous Driving
用于安全自动驾驶的跨层不确定性感知强化学习
- 批准号：
EP/Y002644/1 - 财政年份：2024
- 资助金额：
$ 3.35万 - 项目类别：
Research Grant
Advancing the boundaries of grain sampling: A robot for the autonomous, safe and representative sampling of grain bulks
突破谷物采样的界限：用于对散装谷物进行自主、安全和代表性采样的机器人
- 批准号：
10089327 - 财政年份：2024
- 资助金额：
$ 3.35万 - 项目类别：
Collaborative R&D
SBIR Phase II: Autonomous active safety systems for verifiably safe operation of ground vehicles
SBIR 第二阶段：用于地面车辆可验证安全运行的自主主动安全系统
- 批准号：
2240322 - 财政年份：2023
- 资助金额：
$ 3.35万 - 项目类别：
Cooperative Agreement
CAREER: Towards Hierarchical and Provably Safe Control for Learning-Enabled Autonomous Systems
职业：为支持学习的自主系统实现分层且可证明安全的控制
- 批准号：
2237850 - 财政年份：2023
- 资助金额：
$ 3.35万 - 项目类别：
Standard Grant
Semantic 5G Vehicle Communication for Safe Cooperative Autonomous Driving
用于安全协同自动驾驶的语义 5G 车辆通信
- 批准号：
EP/Y027787/1 - 财政年份：2023
- 资助金额：
$ 3.35万 - 项目类别：
Fellowship
Safe, Ethical and Efficient Autonomous Vehicle Navigation Algorithms
安全、合乎道德且高效的自动驾驶汽车导航算法
- 批准号：
2885906 - 财政年份：2023
- 资助金额：
$ 3.35万 - 项目类别：
Studentship
NRI: Addressing Safe Interaction Between Autonomous and Human-Driven Vehicles
NRI：解决自动驾驶和人类驾驶车辆之间的安全交互问题
- 批准号：
2348381 - 财政年份：2023
- 资助金额：
$ 3.35万 - 项目类别：
Standard Grant
NRI: Addressing Safe Interaction Between Autonomous and Human-Driven Vehicles
NRI：解决自动驾驶和人类驾驶车辆之间的安全交互问题
- 批准号：
2219761 - 财政年份：2022
- 资助金额：
$ 3.35万 - 项目类别：
Standard Grant
Safe Interactions Between Human Drivers and Autonomous Vehicles: Predicting Driver Behaviour During Hazardous Intersection Scenarios
人类驾驶员与自动驾驶车辆之间的安全交互：预测危险路口场景中的驾驶员行为
- 批准号：
559867-2021 - 财政年份：2022
- 资助金额：
$ 3.35万 - 项目类别：
Postgraduate Scholarships - Doctoral
Safe Interactions Between Human Drivers and Autonomous Vehicles: Predicting Driver Behaviour During Hazardous Intersection Scenarios
人类驾驶员与自动驾驶车辆之间的安全交互：预测危险路口场景中的驾驶员行为
- 批准号：
559867-2021 - 财政年份：2021
- 资助金额：
$ 3.35万 - 项目类别：
Postgraduate Scholarships - Doctoral