A presentation by Marija Ilic (Carnegie Mellon) at the National CPS PI Meeting 2010 on Smart Grids as a Means of Implementing Sustainable Energy Services: The Key Role of Dynamic Monitoring and Decision Systems (DYMONDS)

The goal of this research is to identify ways to inexpensively provide detailed information about energy consumption in buildings and facilitate conservation. By relying on aggregate data, homeowners and facility managers are blind to the contribution of individual appliances and activities to the overall numbers. And while there is adequate evidence that providing real-time, appliance-specific data allows users to achieve significant energy savings, the available solutions in the market are either inadequately granular or prohibitively expensive.

This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems.  In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.