课题基金 / 基金详情

Sicherheitsbewertung von (autonomen) Verhaltensentscheidungen durch Methoden der hybriden Verifikation (B07)

Sicherheitsbewertung von (autonomen) Verhaltensentscheidungen durch Methoden der hybriden Verifikation (B07)
使用混合验证方法对（自主）行为决策进行安全评估（B07）
批准号：
23118332
负责人：
金额：
$0.0万
依托单位：
Campus Süd (aufgelöst)
依托单位国家：
德国
项目类别：
CRC/Transregios
财政年份：
2006
资助国家：
德国
项目状态：
已结题
起止时间：
2005-12-31 至 2009-12-31
来源：
https://gepris.dfg.de/gepris/projekt/23118332?language=en
关键词：
SicherheitsbewertungvonautonomenVerhaltensentscheidungendurch

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Im Fokus des Teilprojekts steht die Entwicklung von Methoden bzw. eines Echtzeit-Software-Toolszur Sicherheitsbewertung von autonomen oder semi-autonomen Verhaltensentscheidungen eines KognitivenAutomobils. Ein solches Sicherheitsmodul könnte als überwachender Co-Pilot bezeichnet werden,der seine Zustimmung bei kritischen Fahrmanövern geben sollte. Als methodischer Ansatz wirdauf Verifikationsmethoden für hybride (ereignisdiskret-kontinuierliche) dynamische Systeme aufgebaut.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
半有限von Neumann代数中投影集上的Wigner定理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    钱文华
  • 依托单位：
    重庆师范大学
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
  • 批准号：
    82302106
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2023
  • 负责人：
    石伟哲
  • 依托单位：
    广州医科大学
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
  • 批准号：
    12271074
  • 项目类别：
    面上项目
  • 资助金额：
    45万元
  • 批准年份：
    2022
  • 负责人：
    石瑞
  • 依托单位：
    大连理工大学
线性保持方法在量子信息研究中的应用
  • 批准号：
    12001420
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    王美丽
  • 依托单位：
    西安科技大学