Theory of Robustness for Cyber-Physical Systems