|
The goal of this Laboratory Directed Research and Development project is to
build the comprehensive formal basis for simulation of large heterogeneous socio-technical
systems as electric power networks, transport networks, communication networks.
The focus is on developing supporting system design and analysis for national
security oriented issues and critical infrastructures mentioned above.
To achieve our goal we are devising mathematical and computational techniques
that will allow us to formally reason about large scale simulation systems.
The basic research program consists of the following inter-related areas:
- anxiomatic mathematical and computational theory of large scale simulations:
Sequential Dynamical Systems (SDS),
- SDS-based scalable high performance computing oriented design of large scale
simulations,
- experimental design and analysis of simulation based systems,
- principles of simulation based assisted reasoning, and
- application driven development and demonstration of theoretical and
design issues using mobile communications and large n-way games as typified by
deregulated electric power markets.
Specific technical research topics include--discrete dynamical systems,
algebraic graph theory, probabilistic methods, formal languages and computational
complexity theory, approximation algorithms and random graphs and structures.
Our preliminary results provide sound mathematical and computational basis for
using simulation based approach to understand complex systems. |
