|
Award Abstract #0233490
US-Germany Cooperative Research: Analysis of Multi-Paradigm Moebius Models using Kronecker-Based Techniques
| NSF Org: |
OISE
Office of International Science and Engineering
|
|
|
| Initial Amendment Date: |
January 27, 2003 |
|
| Latest Amendment Date: |
February 17, 2005 |
|
| Award Number: |
0233490 |
|
| Award Instrument: |
Standard Grant |
|
| Program Manager: |
Jennifer Slimowitz Pearl
OISE Office of International Science and Engineering
O/D OFFICE OF THE DIRECTOR
|
|
| Start Date: |
February 1, 2003 |
|
| Expires: |
January 31, 2006 (Estimated) |
|
| Awarded Amount to Date: |
$20016 |
|
| Investigator(s): |
William Sanders whs@uiuc.edu (Principal Investigator)
|
|
| Sponsor: |
University of Illinois at Urbana-Champaign
SUITE A
CHAMPAIGN, IL 61820 217/333-2187
|
|
| NSF Program(s): |
WESTERN EUROPE PROGRAM
|
|
| Field Application(s): |
0000099 Other Applications NEC
|
|
| Program Reference Code(s): |
OTHR,5936,0000
|
|
| Program Element Code(s): |
5980
|
ABSTRACT
0233490
Sanders
This 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.
Please report errors in award information by writing to: awardsearch@nsf.gov.
|
