CS 491/591 - Cyber-Physical Systems

Instructor:

Bardh Hoxha

Office:

Eng A409E

Office Hours:

Mondays, Wednesdays, Fridays Noon - 1PM

Email:

bhoxha@cs.siu.edu

Course Description

Modern automotive vehicles, medical-devices and aerospace systems are all typical examples of Cyber-Physical Systems (CPS). How do we develop them? What are the properties that should hold and how can we guarantee their safety?
The course will cover topics in modeling, simulation, analysis and verification of CPS.

The goal of the course is to introduce both theoretical aspects of CPS and utilize the theory into practice with tools from the industry.

Readings and Assignments

Posted on D2L.

Special Needs

If you are entitled to extra accommodation for any reason (such as a disability),
we make every reasonable attempt to accommodate you.
However, it is your responsibility to discuss this with the instructor at the beginning of the
course.

Academic Honesty

Work in this course, unless explicitly stated in writing to the contrary, is to be an effort by the
individual student. It is not acceptable to use work other than your own without full attribution
and acknowledgment. While you are welcome to discuss problems with others, it is not acceptable to
discuss solutions with them.
Depending on the severity of the infraction, penalties may include a grade of zero on the offending
item, a grade of zero on the offending item and a reduction of the final grade by one full letter
grade, a failing grade in the course with an indication of academic dishonesty. Such penalties might
result in a requirement to withdraw from the university.
If in doubt about anything related to academic integrity, see the instructor.