Cyber-Attack Detection Methodologies for Cyber-Physical Systems: A System Theoretic Approach