课题基金 / 基金详情

Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems

Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
复杂高维系统中可达性分析和形式安全验证的几何方法
批准号：
427610-2012
负责人：
Maidens, John
金额：
$1.53万
依托单位：
University of California - Berkeley
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Doctoral
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=552269
关键词：
Geometricmethodsreachabilityanalysisformal

项目摘要

项目成果

Maidens, John的其他基金

相似基金

相关文献

中文摘要
翻译
可达性、可达集、控制理论、奇异摄动理论、微分几何、动力系统、计算方法、复杂系统、安全验证、输入和状态约束
英文摘要
reachability, attainable sets, control theory, singular perturbation theory, differential geometry, dynamical systems, computational methods, complex systems, safety verification, input and state constraints
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
  • 批准号：
    427610-2012
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2013
  • 负责人：
    Maidens, John
  • 依托单位：
    University of California - Berkeley
Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
  • 批准号：
    427610-2012
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2012
  • 负责人：
    Maidens, John
  • 依托单位：
    University of California - Berkeley
equilibria and global stability for networked dynamical systems with applications in epidemiology, ecology and control theory
  • 批准号：
    393998-2010
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
  • 资助金额：
    $1.27万
  • 财政年份：
    2010
  • 负责人：
    Maidens, John
  • 依托单位：
    University of British Columbia
mathematical modeling of infectioius diseases
  • 批准号：
    383042-2009
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.33万
  • 财政年份：
    2009
  • 负责人：
    Maidens, John
  • 依托单位：
    University of Alberta
国内基金
海外基金
复杂图像处理中的自由非连续问题及其水平集方法研究
  • 批准号：
    60872130
  • 项目类别：
    面上项目
  • 资助金额：
    28.0万元
  • 批准年份：
    2008
  • 负责人：
    刘国才
  • 依托单位：
    湖南大学
Computational Methods for Analyzing Toponome Data