Carnegie Mellon University
file
This position paper describes the challenge of ensuring run-time safety in cyber-physical systems. The overarching problem is ensuring that computer-based systems will maintain safe operations even in the face of design-time and run-time faults. One way to address this problem is by creating an ability to perform run-time safety checks on CPS applications that can be used to record hazards, trigger emergency shutdowns (where doing so is safe), or perform other actions to minimize the consequences of an unsafe system behavior.
file
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)
file
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.
file
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.
