CSC 5991 (CSC/ECE 5260): Introduction to Cyber-Physical Systems    (Winter 2017)



QUICK LINKS
Lectures  |  Exercises    |  Projects  |  Related resources 
Course mailing list:  general   


Announcements:



Instructor: Dr. Hongwei Zhang
                  hzhang AT cs.wayne.edu
                  +1 313 577 0731
Class timings: MW 2:30pm-3:45pm
Class webpage: http://www.cs.wayne.edu/~hzhang/courses/5260/5260.html
Office hours: MW 4:00pm-5:00pm in Suite 14101.3, Maccabees Building, or by appointment

Teaching Assistant: TBA
TA Office hours: TBA

Overview (flyer)

Tightly integrating sensing, networking, computing, and control with physical systems and processes, cyber-physical systems are expected to transform the physical world around us and the way we interact with the physical world, and they will serve as foundations for a wide range of domains such as augmented reality, transportation, industrial automation, advanced manufacturing, healthcare, power grid, and public safety. This course is designed to introduce the technology foundations of cyber-physical systems to graduate students and senior undergraduate students, and it addresses the following topics:
This course will prepare graduate and senior undergraduate students for pursuing advanced topics in areas such as connected and autonomous vehicles, Industry 4.0, Internet of Things (IoT), and smart and connected health. This is the introductory course to the WSU Cyber-Physical Systems Graduate Certificate Programs which is expected to be launched in fall 2017 for training cyber-physical systems talents for the Michigan industry and beyond.



Prerequisites

Undergraduate courses in computer architectures and algorithms (e.g., CSC 3100/ECE 4680, CSC 3110/ECE 4050, or equivalent). Or consent of instructor.

References 


Flowchart of topics



Lectures   

Part 0: Course Plan  ( 0 )
Contiki tutorial  
Part 1: Cyber-Physical Systems - an Introduction  ( 0  1 )
Part 2: Sensors and actuators   (0  1 )
Part 3a: Model Based Design   ( 0  1 )
Part 3b: Modeling (Continuous) Physical Dynamics   ( 0  1)
Part 4a: Embedded Proessors   ( 0   1  2 )
Part 4b: Memory Architectures   ( 0  1  2 )
Part 4c: Input and Out   ( 0  1 )
Part 5a: Discrete Dynamics  ( 0  1 )
Part 5b: Hybrid Systems  ( 0  1  2 )
Part 5c: Composition of State Machines   ( 0  1 )
Part 5d: Concurrent Models of Computation   ( 0  1  2 )
Part 6a: Temporal Logic   ( 0  1 )
Part 6b: Equivalence and Refinement    ( 0   1  2 )
Part 6c: Reachability Analysis and Model Checking   ( 0  1 )
Part 7: Operating Systems and Scheduling   ( 0 )





Exercises

Solution to Exercise #1
Solution to Exercise #2  
Solutions to Exercise #3
Solutions to Exercise #4  
Solutions to Exercise #5  
Solutions to Exercise #6  
Solutions to Exercise #7  
Solutions to Exercise #8
Solutions to Exercise #9  
Solutions to Exercise #10  
Solutions to Exercise #11
Solutions to Exercise #12  





Project  

Project options

Systems practice in cyber-physical systems. Detailed to be decided in class. 
Rules:
Deliverables:
Timeline:
Evaluation criteria:
Your performance in project will be evaluated based on the following metrics:
Miscl.:
Webcasting:


Related resources


Policies

Lecture: Attendance at lectures is required. If a student has to skip a lecture due to hard constraints, he/she is required to inform the instructor beforehand.

Grading: The tentative grade weighting for the semester will be:
Class participation: 10% 
TinyExams: 40%
TinyLabs: 25% 
Project: 25% 
* These weights are subject to minor adjustments.
* Letter grades will be assigned based on performance relative to other students. A tentative grading scale is as follows:
A:  93-100
A-: 90-92
B+: 85-89
B:   80-84
B-:  75-79
C+: 70-74
C:   65-69
C-:  60-64
F:    0-60

* A regrading request will cause the entire exam/homework/project to be regraded, and thereby the overall grade can increase or decrease.



Miscellaneous

I expect you to carefully read all material handed out in class. I also expect you to read the book according to the reading assignments announced in class. You are encouraged to discuss the material presented in class with other students, but definitely do not collaborate with anyone in solving the homework problems. The Wayne State University Student Code of Conduct applies. Feel free to discuss our expectations and grading criteria with the grader or me during the semester.

If you have a documented disability that requires accommodations, you will need to register with Student Disability Services (SDS) for coordination of your academic accommodations. The Student Disability Services (SDS) office is located at 1600 David Adamany Undergraduate Library in the Student Academic Success Services department. SDS telephone number is 313-577-1851 or 313-577-3365 (TDD only). Once you have your accommodations in place, I will be glad to meet with you privately during my office hours to discuss your special needs. Student Disability Services’ mission is to assist the university in creating an accessible community where students with disabilities have an equal opportunity to fully participate in their educational experience at Wayne State University. Please be aware that a delay in getting SDS accommodation letters for the current semester may hinder the availability or facilitation of those accommodations in a timely manner. Therefore, it is in your best interest to get your accommodation letters as early in the semester as possible.

Class add deadline: Effective Fall 2011, students must add classes no later than the end of the first week, including online classes. During the second week of the semester, students must personally request departmental permission in order to register. If departmental permission is granted, students must register themselves for the class in Pipeline during the second week. Receiving departmental permission is NOT the same as registering for the class! Students may continue to drop classes (with full tuition cancellation) through the first two weeks of the term.

Class withdrawal deadline: Effective Fall 2011, the withdrawal deadline becomes the end of the 10th week of classes. After the deadline, the Withdraw option will not be available in Pipeline. The Registrar’s Office does not grant exceptions to this deadline.