This page is for a past semester (s14) and is for archival purposes only
Cyber-Physical Systems: Computation, Control, and Communication (CSE 6359, Special Topics in Advanced Systems and Architecture)
Email Address:email@example.com (replace firstname with Taylor and lastname with Johnson)
Office Number:Engineering Research Building 559
Office Telephone Number:817-272-3610
Section Information:CSE 6359-001 (26407)
Time and Place of Class Meetings:ERB 129, Mondays/Wednesdays 1pm-2:20pm
Office Hours:ERB559, Mondays/Wednesdays 2:30pm-3:30pm and by appointment (email me to schedule appointments)
CSE Concentration Areas: Computer Systems/Architecture and Software Engineering
Course Schedule (Syllabus; note that all information appearing on this website supersedes that appearing in the syllabus PDF, that is, the website is more up-to-date):The instructor for this course reserves the right to adjust this schedule in any way that serves the educational needs of the students enrolled in this course. All readings refer to Lee and Seshia unless otherwise noted. All assignment dates are approximate at this point and will be updated on this website as the semester progresses.
- 1/13: Introduction: What Are Cyber-Physical Systems? (Reading: Chapter 1 and Example 4.7, pages 91-92) [slides]
- 1/15: CPS Modeling: Overview and Model-Based Design (Homework 1 [docx] Assigned; Reading: Chapter 2 [slides])
- 1/20: No Classes (Martin Luther King, Jr. Day)
- 1/22: CPS Modeling: Continuous Dynamics and Lyapunov Stability (Project Proposal Idea Due; Reading: Chapter 2 [notes])
- 1/27: CPS Modeling: Discrete Dynamics, Reactivity, and Termination (Homework 1 Due; Reading: Chapter 3; slides)
- 1/29: CPS Modeling: Hybrid Dynamics (Reading: Chapter 4; slides)
- 2/3: CPS Modeling: Hybrid Dynamics and Compositions (Reading: Chapter 5; slides; Homework 2 [docx] Assigned)
- 2/5: CPS Modeling: Composition and Invariants (Reading: Chapter 5; slides)
- 2/10: CPS Design: Architectural Choices (Reading: Chapters 7, 8, and 9; these concepts should generally be familiar and this should serve as a review, but read Chapter 9.2 and 9.3 in detail; slides)
- 2/12: CPS Design: Multitasking (Homework 2 Due; Homework 3 [docx] Assigned; Latex Template (.zip); Reading: Chapter 10; slides)
- 2/17: CPS Design: Real-Time Operating Systems and Scheduling (Reading: Chapter 11; slides)
- 2/19: CPS Analysis: Invariants and Temporal Logic (Reading: Chapter 12; slides)
- 2/24: CPS Analysis: Simulation and Implementation Relations (Reading: Chapter 13; slides; Homework 3 Due; Homework 4 [docx] Assigned; Latex Template (.zip))
- 2/26: CPS Analysis: Reachability Analysis and Model Checking (Reading: Chapter 14; slides)
- 3/3: CPS Analysis: Reachability Analysis and Model Checking Hybrid Automata (slides)
- 3/5: CPS Analysis: Model Checking Review and Tool Overview (UPPAAL, SpaceEx, and SPIN) (slides; Homework 4 Due)
- 3/10: No Classes (Spring Break)
- 3/12: No Classes (Spring Break)
- 3/17: CPS Review of Concepts (slides)
- 3/19: Paper Presentation (Taylor Johnson): Henzinger, T.; Horowitz, B. and Kirsch, C., "Giotto: a time-triggered language for embedded programming", Proceedings of the IEEE, 2003, 91, 84-99 (IEEE)
- 3/24: Paper Presentation (Omar Beg): Koutroulis, E.; Kalaitzakis, K.; Voulgaris, N.C., "Development of a microcontroller-based, photovoltaic maximum power point tracking control system," Power Electronics, IEEE Transactions on , vol.16, no.1, pp.46,54, Jan 2001 (IEEE)
- 3/26: Paper Presentation (Andres Fernandez): Alvaro A. Cárdenas, Saurabh Amin, Shankar Sastry, "Research Challenges for the Security of Control Systems", USENIX HotSec 2008, pdf
- 3/31: Paper Presentation (Jacob McClenny): Sridhar, S.; Hahn, A.; Govindarasu, M., "Cyber–Physical System Security for the Electric Power Grid," Proceedings of the IEEE , vol.100, no.1, pp.210,224, Jan. 2012 (IEEE)
- 4/2: Paper Presentation (Zankar Bapat): Mahony, R.; Kumar, V.; Corke, P., "Multirotor Aerial Vehicles: Modeling, Estimation, and Control of Quadrotor," Robotics and Automation Magazine, IEEE , vol.19, no.3, pp.20,32, Sept. 2012 (IEEE)
- 4/7: Paper Presentation (Brent Burns): Gomez, C.; Paradells, J., "Wireless home automation networks: A survey of architectures and technologies," Communications Magazine, IEEE , vol.48, no.6, pp.92,101, June 2010 (IEEE)
- 4/9: Project Review (Preliminary Project Report Due)
- 4/14: Paper Presentation (Amol Vengurlekar; Instructor Traveling, but presentations continue): John Stowers, Michael Hayes, and Andrew Bainbridge-Smith, "Quadrotor Helicopter Flight Control Using Hough Transform and Depth Map from a Microsoft Kinect Sensor", MVA, 352--356, 2011 (pdf)
- 4/16: Paper Presentation (Archita Parvatkar; Instructor Traveling, but presentations continue): Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi, "UPPAAL — a tool suite for automatic verification of real-time systems", Hybrid Systems III, LNCS, 1996 (Springer, pdf)
- 4/21: Paper Presentation (Ruoshi Zhang): Marieska, M.D.; Kistijantoro, A.I.; Subair, M., "Analysis and benchmarking performance of Real Time Patch Linux and Xenomai in serving a real time application," Electrical Engineering and Informatics (ICEEI), 2011 International Conference on, July 2011 (IEEE)
- 4/23: Paper Presentation (Luan Nguyen): Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo, "A step towards verification and synthesis from simulink/stateflow models", Hybrid Systems: Computation and Control (HSCC), April 2011.(ACM); also, skim part of this master's thesis (Chapter 3), which corresponds with the paper: Karthikeyan Manamcheri Sukumar, "Translation of Simulink-Stateflow models to hybrid automata", University of Illinois at Urbana-Champaign, Master's Thesis, August 2011 (thesis; pdf)
- 4/28: Course Review and Summary
- 4/30: No Class, Project Work Day (Instructor Traveling)
- 5/2: University Last Day of Classes
- 5/5, 11am to 1:30pm: Final Exam Scheduled Time (Final Project Presentations and Final Project Reports Due)
- 5/9: Last Day of Final Exams
Textbooks and Other Course Materials:
- Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011. (Main Textbook)
- Papers to be presented will be decided by the instructor and students based on interests
Description of Course Content:Cyber-physical systems (CPS) involve the coordination of cyber (software) and physical state, and are becoming prevalent due to the proliferation of devices for control (sensing / actuation), computation, and communications. This seminar course introduces CPS fundamentals, covering relevant topics on: embedded systems (real-time operating systems), control theory (control systems modeling, analysis, and design), networking (layers, protocols, and wireless), reliability, and software engineering (testing and formal analysis of CPS). The course will begin with lectures on CPS fundamentals, followed by a student-led portion with summaries and presentations of select research papers. The grading for the course will be based on a few homeworks, paper summaries and presentations, along with a semester project.
Prerequisites:Students from all branches of engineering are welcome. All students are expected to have experience programming in C. Knowledge of embedded systems design and modeling (such as real-time operating systems), will be useful, but not strictly required. If you have any questions or concerns, please email the instructor to discuss your background.
Student Learning Outcomes:The objective of this course is to introduce students to cyber-physical systems modeling, analysis, and design. Students should be able to:
- Define embedded systems and cyber-physical systems (CPS) and give examples
- Understand various modeling formalisms for CPS, such as hybrid automata, state-space methods, etc.
- Understand CPS design, modeling, and analysis
- Compare architectural design trade-offs in CPS
- Design CPS and analyze models of CPS to see if they meet their specifications and requirements
- Understand methods for verification and validation of CPS such as simulation, testing, model checking, etc.
- Understand and appreciate engineering design and analysis difficulties in CPS disciplines (computer science / embedded software engineering, electrical engineering, mechanical engineering, etc.)
- Evaluate, understand, and critique recent research papers in embedded systems, verification, and CPS
- Present research papers and verbally communicate research results effectively
- Write research project reports and communicate written research results effectively
Descriptions of major assignments and examinations:Coursework for roughly the first half of the course will include a few homeworks on materials from lectures, all of which is designed to aid projects. Students will summarize (as a document) and present papers based on their research interests that coincide with the course content. The semester project will be a major component of the grade. Since this is a research-oriented course, students are expected to actively participate in discussions and take notes to be shared. In the event that the instructor decides the class is not performing satisfactorially with the open-ended second half of the course, the instructor reserves the right to utilize additional homework assignments and an exam for grading evaluation instead of paper summaries and presentations for grading evaluation.
Attendance:Students are strongly encouraged to attend lectures and come to office hours.
Other Requirements:Students are expected to check the course website for updates to the course schedule throughout the semester.
Grading:Grade percentages will be calculated based on the following weights:
- Class Participation and Note-Taking: 5%
- Semester Project: 50%
- Paper Presentation and Summaries: 25%
- Homework: 20%
- 100 >= A >= 90
- 90 > B >= 80
- 80 > C >= 70
- 70 > D >= 60
- 60 > F >= 0
Make-Up Assignments:If you miss any course assignment (exam, quiz, presentation, homework, etc.) to unavoidable circumstances (e.g., health), you must notify the instructor in writing via email as soon as possible and request a makeup approval. If it is a planned (non-emergency) abcense, you must inform the instructor ahead of time! Do NOT ask for make-ups if you do not complete something due to travel (except when you are required to travel to represent the university or department on official business, but request at least 3 days ahead of the due date or exam time).
Grade Grievances:Any appeal of a grade in this course must follow the procedures and deadlines for grade-related grievances as published in the current undergraduate catalog (see here).
The first step is as follows. If you do not believe a grade on a particular assignment is correct, you may appeal the grade in writing (by email) within 5 days. Grade appeals must be appealed to the appropriate GTA first (if applicable), then to the instructor if necessary.