*banner
 

EECS 149

Contents
Home
Overview
Logistics
Technology

Schedule
Reading
Assignments
Lab & Project

bCourses
Piazza

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
You are not logged in 
©2002-2017 Chess