Energy Sector

file

Visible to the public The Ektokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components

Submitted by Tarek Abdelzaher on Mon, 11/10/2014 - 4:16pm. Contributors:

Abstract:

The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.

file

Visible to the public Control-Theoretic Defense Strategies for Cyber-Physical Systems

Submitted by fabiopas on Mon, 11/10/2014 - 2:52pm. Contributors:

Abstract:

This project will design next--generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high--order behaviors and functions, and an intricate and large interconnection pattern.

file

Visible to the public Cognitive Green Building: A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability

Submitted by nshroff on Mon, 11/10/2014 - 2:52pm. Contributors:

Abstract:

Buildings in the U.S. contribute to 39% of energy use, consume approximately 70% of the electricity, and account for 39% of CO2 emissions. Hence, developing green building architec- tures is an extremely critical component in energy sustainability. The investigators will develop a unified analytical approach for green building design that comprehensively manages energy sustainability by taking into account the complex interactions between these systems of systems, providing a high degree of security, agility and robust to extreme events.

file

Visible to the public Coordinated Resource Management of Cyber-Physical-Social Power Systems

Submitted by ebitar on Mon, 11/10/2014 - 2:50pm. Contributors:

Abstract:

Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid.

file

Visible to the public CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings

Submitted by jianghai on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.

file

Visible to the public Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures

Submitted by shossai2 on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Trustworthy operation of next-generation complex power grid critical infrastructures requires mathematical and practical verification solutions to guarantee the correct infrastructural functionalities. This project develops the foundations of theoretical modeling, synthesis and real-world deployment of a formal and scalable controller code verifier for programmable logic controllers (PLCs) in cyber-physical settings. PLCs are widely used for control automation in industrial control systems.

file

Visible to the public Distributed Asynchronous Algorithms & Software Systems For Wide-Area Monitoring of Power Systems

Submitted by Nitin Vaidya on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

The objective of this project is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.

file

Visible to the public Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems – A Case of Smart Electric Grid

Submitted by dabhishe on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Understanding failure in protection system using Temporal Causal Diagrams Situational awareness in large electrical systems and eventual fault source identification and possibly prognostics is a very challenging problem. State of the art relies on a network of protection devices that include relays to detect anomalies and engage circuit breakers to isolate the faulty component(s) in the system.

file

Visible to the public Foundations for Understanding Volatility and Improving Operational Reliability

Submitted by mardavij on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

This project addresses the impact of the integration of renewable intermittent generation and the integration of sophisticated sensing, communication, and actuation capabilities into the grid on the system's reliability, volatility, and economic efficiency, and seeks to develop system architectures, along with associated optimization and control algorithms to balance such trade--offs. The high level goals of this project can be stated as follows: