Instructor:

• Dr. Umer Huzaifa (mhuzaifa@depaul.edu)
• Please include “[CSE 362]” in your email subject line.
• Office Hours: Mon 11 AM - 12:30 PM

Textbooks:

• Logical Foundations of Cyberphysical Systems by André Platzer, Springer. (Chapters 1 through 9)
• Principles of Cyberphysical Systems by Rajeev Alur, MIT Press.

Online Resources:

• D2L CSE 362 page
• Discord group link

Catalog Description

This course covers the modeling, design, and analysis of cyberphysical systems (CPS) that integrate computation and physical processes. It introduces formal models that support abstractions to manage the complexity of a system design and verify the system implementation correctness. Topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms.

By the end of this course, you will be able to

• model a real-world system using discrete and continuous logic
• design safety requirements for the real-world systems
• predict liveness properties for the real-world systems

Prerequisites: CSE 352 is a pre-requisite for the class

Course Components and Grading:

Course elements contribute to the overall course grade as follows:

Course Maintenance Tools – Gradescope and D2L

Gradescope will be used for grading and feedback in this term. This platform allows to provide fast and accurate feedback on your work. As soon as grades are posted, you will be notified immediately so that you can log in and see your feedback. You may also submit regrade requests if you feel we have made a mistake. You will be enrolled in this tool by the first lecture.

D2L will be used for providing all the necessary course content, communicating the course information, and grading. You are automatically enrolled in this tool as you register for the course.

If you are not enrolled in any of the above online tools by the first lecture, please contact the instructor as soon as possible.

Homework:

A nearly weekly homework will be posted on D2L. It is recommended to start the homework early and communicate with the instructor as soon as you face difficulties.

Labs/Code Challenges:

The course will be based on challenges in KayMaera X and other environments. These challenges will cover the following:

• Test the validity of specification in a CPS
• Simulate the CPS

Honor Code

• This course adheres to the DePaul University’s policy on Academic Integrity. For complete information, please see: http://academicintegrity.depaul.edu/
• Cheating is any action that violates university norms or instructor’s guidelines for the preparation and submission of assignments. This includes, but is not limited to:
  • Unauthorized access to examination materials prior to the examination itself.
  • Use or possession of unauthorized materials during the examination or quiz.
  • Having someone take an examination in one’s place.
  • Copying from another student.
  • Unauthorized assistance to another student; or acceptance of such assistance.
• Plagiarism involves the presentation of the work of another as one’s own.
• Plagiarism includes, but is not limited to the following:
  • The direct copying of any source, such as written and verbal material, computer files, audio disks, video programs or musical scores, whether published or unpublished, in whole or part, without proper acknowledgment that it is someone else’s.
  • Submitting as one’s own work a report, examination paper, computer file, lab report or other assignment that has been prepared by someone else (including research papers purchased from any other person or agency).
  • The paraphrasing of another’s work or ideas without proper acknowledgment.
  • Working so closely with another person so as to produce identical code.
• Avoid any form of or the appearance of any form of academic misconduct, which will result in a minimum penalty of zero credit for the work in question, and may result in a maximum penalty of a failing course grade.

Important: All of the course content is copyright protected by the instructor or relevant individuals/organizations. No part of the course content can be uploaded or shared to any entity. One specific example of this violation would be Chegg and Coursehero. In case this violation is discovered, strict action will be taken against the perpetrator.

Reading assignments are from the textbook. The topics schedule is tentative, and subject to change during the quarter. As the quarter progresses, you will find the relevant documents i.e. the lecture slides, video recordings, handouts etc. linked in D2L

Schedule