Cyber-physical systems (CPSs) integrate computational components with physical processes, e.g., robotics, automobiles, factories. Students in this course will learn CPS concepts such as design fundamentals through hands-on development and verification, as well as red-teaming for vulnerability discovery and mitigation. Students will address issues involving design complexity, security, and safety of these systems through the application of novel embedded development techniques, languages, and formal methods. Students will learn with ground-based robots and industrial control systems.