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

该奖项支持来自卡内基梅隆大学的Bruce H. Krogh博士和一名研究生与多特蒙德大学化学工程系的Sebastian Engell合作。此次合作借鉴了美国和德国研究小组在动态系统领域的最新研究成果，该系统既有连续状态，也有离散状态。他们将共同为混合系统的分析、综合和验证提供软件工具接口，以增强选定的计算机辅助建模和仿真包。该项目产生的新工具将使美国和欧洲的研究人员和工程师能够建立和交换真实世界混合系统的模型，并使用各种工具进行模型验证、分析和设计。此外，现有软件工具的接口将可扩展，以纳入未来的算法。

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.