CS 7639 Cyber-Physical Design and Analysis

Not started

Georgia Tech OMSCS CS 7639

Modeling, design, and verification of cyber-physical and embedded systems.

Practice in the Flight Lab: Continuous or discrete · Rate monotonic

Prerequisites

Programming and basic discrete math/systems background.

Subareas

CPS modeling (continuous, discrete, hybrid)Timing & schedulingFormal verification & model checkingSafety and requirementsController design for embedded systems

Main topics / syllabus areas

CPS modeling (continuous, discrete, hybrid)
Timing & scheduling
Formal verification & model checking
Safety and requirements
Controller design for embedded systems

Resources

OMSCS course page ↗omscs.gatech.edu
OMSCentral reviews ↗omscentral.com