Taught graduate-level course to master students covering topics on recent advances in cyber-physical systems while exploring the recent models, principles, and challenges associated with the dynamic interaction of the components of a system in dynamic environments. It also covers design, analysis, verification, and applications in transportation, automation, healthcare, and manufacturing.