CSE 362: Foundations of Cyberphysical Computing – Spring 2020-21

Time and Location:

Instructor:

Textbooks:

Online Resources:

Catalog Description

This course covers the modeling, design, and analysis of cyberphysical systems 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

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

Course Components and Grading:

Course elements contribute to the overall course grade as follows:

Grading Category Percentage Grade
Homework 35 %
Labs and Coding Challenges 30 %
Project/Final Evaluation 35 %

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:

The 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 (Hands-on Exercises):

The course relies on TI-RSLK Max and some software tools for the hands-on exercises involved in this course. The exercises are centered around the course topics as they are covered in the class.

Honor Code

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

(to be updated as we progress in the course)

| Weeks | Topics | Homework | Labs (Exercises) | Reading and Additional Work| |–|–|–|–|–|–| | Week 1 | Introduction to CPS and Synchronous Machines | HW 0 | Exerice 1 | Chapter 1, Robot Setup, Kaymaera X | | Week 2 | Differential Equations and State Constraints | HW 1 | Exercise 2 | Chapter 2 | | Week 3 | | | |