Lab Director: Gabriel A. Wainer, Ph.D., Professor.
Our laboratory is investigating means of automatic generation of executable models derived from systems specifications. The research is based on the Discrete EVent System specification (DEVS) formalism, and will augment previous work with new theory, methodology, and supporting development tools. We are also interested in integrating the simulation results obtained with powerful 3D visualization facilities.