Taxonomic Search: Carnegie Mellon University
Results 1 - 10 of 39
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.
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.