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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Collaborative Research: Embedded Control Systems for X-by-Wire Applications
-
批准号:0410568
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2004
-
负责人:Bruce Krogh
-
依托单位:
Integrated Sensing: Virtual Sensor-Actuator Arrays
-
批准号:0225449
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2002
-
负责人:Bruce Krogh
-
依托单位:
CRCD: Instructional Modules for Embedded Control System Design
-
批准号:0088064
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2001
-
负责人:Bruce Krogh
-
依托单位:
Student Travel Grant for Hybrid Systems: Computation and Control
-
批准号:0071303
-
项目类别:Standard Grant
-
资助金额:$0.98万
-
财政年份:2000
-
负责人:Bruce Krogh
-
依托单位:
Performance - Based Switching Control Systems
-
批准号:9812213
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1998
-
负责人:Bruce Krogh
-
依托单位:
GOALI: "Run-to-Run Feedback Control of Semiconductor Manufacturing Processes"
-
批准号:9510625
-
项目类别:Standard Grant
-
资助金额:$3.19万
-
财政年份:1995
-
负责人:Bruce Krogh
-
依托单位:
Conference: 11th International Conference on Analysis and Optimization of Systems. To be held June 15-17, l994 in France.
-
批准号:9414256
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1994
-
负责人:Bruce Krogh
-
依托单位:
Engineering Creativity Award: Sensor-Based Robotics and Autonomous Mobile Platforms
-
批准号:8811580
-
项目类别:Standard Grant
-
资助金额:$8.94万
-
财政年份:1988
-
负责人:Bruce Krogh
-
依托单位:
Presidential Young Investigator Award: Feedback Structures for Supervisory Control
-
批准号:8451493
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1985
-
负责人:Bruce Krogh
-
依托单位:
Research Initiation: Rate Allocation Feedback Control for aClass of Supervisory Control Problems
-
批准号:8404607
-
项目类别:Standard Grant
-
资助金额:$4.8万
-
财政年份:1984
-
负责人:Bruce Krogh
-
依托单位:
海外基金