Main Navigation
Apply Now Request Info


CS 522 - Foundations of Cyber-Physical Systems

  • 4 credits
  • Online

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.


CS 320 (Algorithms - Theory and Practice) or CS 420 (Introduction to Analysis of Algorithms).