Applications of CPS technologies involving the power generation and/or energy conservation.
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
file
The confluence of two powerful global trends -- the rapid growth of cloud computing and data centers
with skyrocketing energy consumption, and the accelerating penetration of renewable energy sources --
file
This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy- aware systems.
file
The electric power grid is a complex cyber-physical system (CPS) that forms the lifeline of modern society. Cybersecurity and resiliency of the power grid is of paramount importance to national security and economic well-being. CPS security testbeds are enabling technologies that provide realistic experimental platforms for the evaluation and validation of security technologies within controlled environments, and they also enable the exploration of robust security solutions.
file
The overarching goal is to employ a Wide-Area measurement-aided supervisory layer for correcting maloperation in relays, which can prevent system-wide blackouts. PSU's task in this project is to ensure distinction between disturbance outlier and anomalous outlier in such Wide-Area measurements. This poster presents a Principal Component Analysis (PCA)-based method for online characterization of outliers in Wide-Area synchrophasor measurements. To that end, a linearized framework is established to analyze dynamical response from a system under nominal and off-nominal (e.g.
forum
Submitted by Anonymous on Wed, 11/29/2017 - 4:36pm
CALL FOR PAPERS
IEEE Transactions on Industrial Informatics
special section on