CS 522 - Foundations of Cyber-Physical Systems

  • 4 credits

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.

Prerequisite

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

Instructors

Loading...
- Footer - Landing