Topics in Computer Engineering; Introduction to Cyber-Physical Systems
Modeling, design, and verification of cyber-physical systems. Students will learn how to design embedded software algorithms that interact with physical processes to satisfy desired specifications. Topics covered include models of computation, specifications, temporal logic, reachability analysis, model checking, and execution time analysis. The course is accompanied by a set of labs and semester-long projects to give hands-on experience on the covered material.