Modernized electrical grid automated to improve the efficiency, reliability, economics, and sustainability of the production and distribution of electricity.
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
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.
event
Submitted by palensky on Thu, 11/23/2017 - 9:12am
2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems: 10 April 2018, Porto, Portugal
Dear Colleagues,
It is my pleasure to invite you to the upcoming Workshop on Modeling and Simulation of Cyber-Physical Energy Systems!
http://www.palensky.org/mscpes
After Berkeley, Berlin, Seattle, Vienna, and Pittsburgh, we are this time in beautiful Porto, Portugal, again co-located with the annual Cyber-Physical Systems Week.
news
Submitted by palensky on Thu, 11/23/2017 - 9:02am
Dear Colleagues,
It is my pleasure to invite you to the upcoming Workshop on Modeling and Simulation of Cyber-Physical Energy Systems!
http://www.palensky.org/mscpes/2018
After Berkeley, Berlin, Seattle, Vienna, and Pittsburgh, we are this time in beautiful Porto, Portugal, again co-located with the annual Cyber-Physical Systems Week.
Full paper submission deadline is 4th February 2018. Accepted and presented papers will be submitted to IEEE Xplore digital library.