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

这个奖项支持博士布鲁斯H。克罗和一个卡内基梅隆大学的研究生 大学与化学系的塞巴斯蒂安·恩格尔合作 多特蒙德大学工程系。 这项合作利用了最近的研究成果 由美国和德国的团体在该领域的动态系统，既有连续 和谨慎的国家。 他们将共同增强选定的计算机辅助建模， 仿真软件包，带有软件工具接口，用于分析、合成和 混合系统的验证。 该项目产生的新工具将使美国 和欧洲的研究人员和工程师建立和交换现实世界的模型， 混合系统，并使用各种工具进行模型验证，分析和设计。 此外，与现有软件工具的接口将可扩展， 结合未来的算法。

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.