课题基金 / 基金详情

A Cooperative U.S.-German Research Project on Computer-Aided Analysis and Design of Hybrid Systems

A Cooperative U.S.-German Research Project on Computer-Aided Analysis and Design of Hybrid Systems
美德混合系统计算机辅助分析与设计合作研究项目
批准号:
9726527
负责人:
Bruce Krogh
金额:
$1.78万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1998
资助国家:
美国
项目状态:
已结题
起止时间:
1998-03-15 至 2000-12-31

项目摘要

项目成果

Bruce Krogh的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This award supports Dr. Bruce H. Krogh and a graduate student from Carnegie Mellon University in a collaboration with Sebastian Engell of the Department of Chemical Engineering at the University of Dortmund. The collaboration draws on recent research by the U.S. and German groups in the area of dynamic systems that have both continuous and discreet states. Together they will augment selected computer-aided modeling and simulation packages with interfaces to software tools for analysis, synthesis, and verification of hybrid systems. The new tools resulting from this project will enable U.S. and European researchers and engineers to build and exchange models of real-world hybrid systems, and to use a variety of tools for model verification, analysis, and design. Moreover, the interface to currently existing software tools will be extensible to incorporate future algorithms.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verfication of Cyber-Physical Systems
  • 批准号:
    1035800
  • 项目类别:
    Standard Grant
  • 资助金额:
    $102.5万
  • 财政年份:
    2010
  • 负责人:
    Bruce Krogh
  • 依托单位:
CSR-EHCS(CPS),TM: Architectures, Abstractions and Algorithms for Cyber-Physical Networks
  • 批准号:
    0834701
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2008
  • 负责人:
    Bruce Krogh
  • 依托单位:
Beyond Supervisory Control and Data Acquisition (SCADA) National Workshop
  • 批准号:
    0647037
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.99万
  • 财政年份:
    2006
  • 负责人:
    Bruce Krogh
  • 依托单位:
A Planning Project to Redesign the Delivery of Fundamentals in a Flexible Electrical and Computer Engineering Curriculum
  • 批准号:
    0431920
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2004
  • 负责人:
    Bruce Krogh
  • 依托单位:
海外基金