This book showcases the strengths of Linear Programming models for Cyber Physical Systems (CPS), such as the Smart Grids. Cyber-Physical Systems (CPS) consist of computational components interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. A fundamental challenge in the design and analysis of CPS is the lack of understanding in formulating constraints for complex networks. We address this challenge by employing collection of Linear programming solvers that models the constraints of sub-systems and micro grids in a...