US-Germany Cooperative Research: Analysis of Multi-Paradigm Moebius Models using Kronecker-Based Techniques

0233490桑德斯这个奖项支持威廉桑德斯，一个初级教师，和两名学生从伊利诺伊大学城市尚潘在合作与彼得肯珀的信息科学系在多特蒙德，德国大学。 该项目将侧重于在Moebius框架内使用Kronecker表示和分析方法。 Moebius框架是在伊利诺伊大学开发的，通过支持许多不同的模型求解方法以及多种建模形式主义中的模型规范，可以验证大型系统模型。 Kronecker表示，由德国小组研究，区域的数学方法来处理大型模型的功能和定量分析，通过利用复杂的模型往往是由子模型的组成，并彻底改变了基于状态的模型表示和解决的方式。 联合研究将提供一个正式的语义模型组成，将允许调查使用克罗内克技术的新模型组成形式主义，并将有可能使用克罗内克方法开发与其他方法已经支持的Moebius工具。

0233490SandersThis award supports William Sanders, a junior faculty member, and two students from the University of Illinois-Urban-Champaign in a collaboration with Peter Kemper of the Department of Information Science at the University of Dortmund, Germany. The project will focus on the use of Kronecker representations and analysis methods within the Moebius framework. The Moebius framework was developed at the University of Illinois and makes validation of large systems models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms. Kronecker representations, studied by the German group, area a mathematical way to handle large models for functional and quantitative analysis by exploiting the fact that complex models are often built by composition of submodels, and have revolutionized the way state-based models are represented and solved. The joint research will provide a formal semantics for model composition that will allow for investigating the use of Kronecker techniques for new model composition formalisms, and will make it possible to use Kronecker methods developed with other methods already supported by the Moebius tool.