Automatically modeling, simulating and explaining physical systems

This paper presents an interactive framework for constructing models from high-level specifications of real physical systems, deriving low-level simulations from the constructed models and then generating explanations of the simulated behavior to help engineers interpret and control the real physical systems. To demonstrate our method, we show an example of modeling river networks, which are eco-environmental engineering systems, to provide a computer-based solution to problems of simulating and controlling concentrations of water quality constituents in river networks[1].