The electric grid in the United States has evolved over the past century from a series of small independent community-based systems to one of the largest and most complex cyber-physical systems today. However, the established conditions that made the electric grid an engineering marvel are being challenged by major changes, the most important being a worldwide effort to mitigate climate change by reducing carbon emissions. This research investigates key aspects of a computation and information foundation for future cyber-physical energy systems?the smart grids. The overall project objective is to support high penetrations of renewable energy sources, community based micro-grids, and the widespread use of electric cars and smart appliances. The research has three interconnected components that, collectively, address issues of computation architecture, information hierarchy, and experimental modeling and validation. On computation architecture, the framework based on cloud computing is investigated for the scalable, consistent, and secure operations of smart grids. The research aims to quantify fundamental design tradeoffs among scalability, data consistency, security, and trustworthiness for emerging applications of smart grids. On information hierarchy, temporal and spatial characteristics of information hierarchy are investigated with the goal of gaining a foundational understanding on how information should be partitioned, collected, distributed, compressed, and aggregated. The research also develops an open and scalable experimental platform (SmartGridLab) for empirical investigations and testing of algorithms and concepts developed in this project. SmartGridLab integrates the hardware testbed with a software simulator so that software virtual nodes can interact with physical nodes in the testbed. This research also includes a significant education component aimed at integrating frontier research with undergraduate and graduate curricula.

The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms. The approach exploits simplification strategies: develop theories, methods, and tools to assist in inter-layer decoupling. The research program has three focus areas: (1) theory of compositionality in heterogeneous systems, (2) tools and tool architectures for system integration, and (3) systems/experimental research. The project develops and deploys theories and methods for inter-layer decoupling that prevent or decrease the formation of intractable system-wide interdependences and maintain compositionality at each layer for carefully selected, essential system properties. Compositionality in tools is sought by exploring semantic foundations for model-based design. Systems/experimental research is conducted in collaboration with General Motors Global R&D (GM) and focuses on electric car platforms. The project is contributing to the cost effective development and deployment of many safety and security-critical cyber-physical systems, ranging from medical devices to transportation, to defense and avionics. The participating institutions seek to complement the conventional curriculum in systems science with one that admits computation as a primary concept. The curriculum changes will be aggressively promoted through a process of workshops and textbook preparation.

The objectives of this research are to design a heterogeneous network of embedded systems so that faults can be quickly detected and isolated and to develop on-line and off-line fault diagnosis and prognosis methods. Our approach is to develop functional dependency models between the failure modes and the concomitant monitoring mechanisms, which form the basis for failure modes, effects and criticality analysis, design for testability, diagnostic inference, and the remaining useful life estimation of (hardware) components. Over the last few years, the electronic explosion in automotive vehicles and other application domains has significantly increased the complexity, heterogeneity, and interconnectedness of embedded systems. To address the cross-subsystem malfunction phenomena in such networked systems, it is essential to develop a common methodology that: (i) identifies the potential failure modes associated with software, hardware, and hardware-software interfaces; (ii) generates functional dependencies between the failure modes and tests; (iii) provides an on-line/off-line diagnosis system; (iv) computes the remaining useful life estimates of components based on the diagnosis; and (iv) validates the diagnostic and prognostic inference methods via fault injection prior to deployment in the field. The development of functional dependency models and diagnostic inference from these models to aid in online and remote diagnosis and prognosis of embedded systems is a potentially novel aspect of this effort. This project seeks to improve the competitiveness of the U.S. automotive industry by enhancing vehicle reliability, performance and safety, and by improving customer satisfaction. Other representative applications include aerospace systems, electrification of transportation, medical equipment, and communication and power networks, to name a few.