CS 8803 Cyber-Physical Design and Analysis

 
Eric Feron
Creator, Instructor

For more information about the Spring 2018 offering of this course, visit this page.

Overview

Cyber-physical systems are systems comprising both a physical part and a software part, whereby the physical part of the system sends information about itself to the software part, and the software sends information, usually in the form of commands, to the physical part. The development of cyber-physical systems, therefore, requires knowing a mix of competencies relative to physical systems, on the one hand, and software systems, on the other hand. Because physical systems have "a life of their own", and they can often harm operators (think airplanes, medical devices, or cars) and/or cost a fortune to repair (think power grid and centrifuges), the development of programs that control these systems cannot rely much on "trial and error". This course introduces the tools and models that will allow attendees to develop high confidence in the resulting system's proper operation prior to any operational test. Included are tools for model-based systems engineering, and cyber-physical system verification and validation currently in use by the CPS industry. Numerous examples will be considered, from aerospace, automotive, medical devices etc. The frequent presence of human operators is also acknowledged and discussed in-depth. Various verification and validation formalisms (formal methods) are described and applied to simple examples.

Grading

This course will be primarily driven by homework and projects. A take-home final exam will help everyone test their ability to solve specific, simple problems. 

Approximate grade distribution:

- Class participation as measured on Piazza: 5%

- Homework: 40%

- Projects: 40%

- Final: 15%

Grading scale: 

Letter Grade

Percentage

 

A

90-100

 

B

80-89

 

C

70-79

 

D

60-69

 

F

0-59

 

Required Course Readings

There is no required textbook. Students will rely on side material, such as journal and conference papers as well as other publications.

Other Info

Academic Honesty 

All Georgia Tech students are expected to uphold the Georgia Tech Academic Honor Code.