Cyber-Physical System Foundations
The rapid growth in technology has resulted in the evolution of components into systems of systems, forming complex Cyber-Physical Systems (CPS). As society becomes dependent on these networks, it is important to comprehensively understand not just the engineering of such networks, but also the science behind their behavior, especially with respect to robustness. As a step toward understanding the Foundations of CPS, this project is motivated by understanding the robustness properties of a vital class of CPSs, that can be termed as large scale Physical Networks (PhyNet). Examples of PhyNets are several types of utility networks, such as Electric, Water, Gas, Sewage networks, that virtually define modern life, along with smaller versions of these, as well as possible future sensor network deployments. A PhyNet is a large scale CPS that is representable as a graph, whose variables have a concrete physical interpretation, such as voltage, pressure, temperature, etc. Known physical laws, such as Kirchoff laws, Newton’s laws, thermodynamic laws, etc. determine the interaction of these state variables. The project aims to develop methods to monitor and ensure the robustness of such PhyNets, in the presence of contingencies. This project is funded under NSF's Cyber-Physical Systems (CPS) program.
Faculty participating in this project: Rohit Negi, Franz Franchetti, Marija Ilic, and Ole Mengshoel.
Contact: Ole Mengshoel