CS 522 - Foundations of Cyber-Physical Systems

Principles of design, specification, modeling, and analysis of cyber-physical systems and software. Topics include model-based design, formal methods for specification and verification, and control theory. Graduate standing. Credit not allowed for both CS 522 and CS 581A4.