15-424 : Foundations of Cyber-Physical Systems Lecture Notes on Dynamical Systems & Dynamic Axioms