EECS 149

Contents
Home
Overview
Logistics
Technology

Reading
References
Resources

Course Development
Wiki
SVN

Reading Assignments

Week 0: Lee & Seshia, Chapter 1: Introduction, also watch video "Cyber-Physical Systems: A Fundamental Intellectual Challenge," December 11, 2013, College de France, Paris, France (Introduction in French, Presentation in English).
Week 1: Lee & Seshia, Chapter 7: Sensors and Actuators, Chapter 2: Continuous Dynamics.
Week 2: Lee & Seshia, Chapter 9, Memory Architectures, Chapter 10, Input and Output
Week 3: Lee & Seshia, Chapter 10, Input and Output, Chapter 3: Discrete Dynamics
Week 4: Lee & Seshia, Chapter 3: Discrete Dynamics, Chapter 4: Hybrid Systems (Note: You may skim Sections 4.2.2 and 4.2.3 for now)
Week 5: Lee & Seshia, Chapter 5: Composition of State Machines.
Week 6: Lee & Seshia, Chapter 13: Invariants and Temporal Logic, Chapter 14: Equivalence and Refinement.
Week 7: Lee & Seshia, Chapter 15: Reachability Analysis and Model Checking.
Week 8: Lee & Seshia, Chapter 11: Multitasking.
Week 9: Lee & Seshia, Review for Midterm 1; Chapter 12: Scheduling (up to Sec. 12.3)
Week 10: Lee & Seshia, Chapter 12: Scheduling (Sec. 12.4 to the end); Chapter 16: Quantitative Analysis
Week 11: Lee & Seshia, Chapter 6: Concurrent MoCs (Sections 6.1, 6.2, 6.3.1, 6.3.2 only required; rest optional)
Week 12: Lee & Seshia, Chapter 17: Security & Privacy
Week 13 & 14: Lee & Seshia, Review all