EECS 124
Contents
Home
Overview
Logistics
Technology
Lectures
Reading
Assignments
Project
Seminar
bSpace
Reading
References
Resources
Course Development
Wiki
CVS
|
Reading Assignments
- Week 1:
Model-Based Design, Section 1.1
- Week 2:
Model-Based Design, Section 1.1
Optional reference: Lee and Varaiya, Chapters 12-14
- Week 3:
Sensors.
Optional reference: Lee and Varaiya, Chapter 11
Optional reference:
Research paper on actor models
- Week 4:
Model-Based Design, Section 1.2
Optional reference: Lee and Varaiya, Chapters 3-4
- Week 5:
Tutorial on pthreads
Alternative tutorial on pthreads
- Week 6: Prof. Claire Tomlin's lecture notes on Hybrid Systems:
Lecture 1,
Lecture 3,
Lecture 4.
Also:
Lee and Varaiya, Chapter 6.
Note that the formal representation of Hybrid Automata used in Prof. Tomlin's notes and
in Lee and Varaiya is a bit different from that used in class, but they express the same models.
- Week 7:
Reference book: Discrete-Event System Simulation by J. Banks, J. S. Carson II, B. L. Nelson,
and D. M. Nicol, Prentice-Hall, 2001. (On reserve in Engineering library.)
- Week 8 & 9:
Brief notes on Temporal Logic. Review this along with
lecture slides.
Optional reference: Paper on using temporal logic for robot motion planning.
- Week 10:
- Week 11:
Recent survey on worst-case execution time analysis.
- Week 12:
- Week 13:
Optional reading: Paper analyzing Security in some kinds of medical devices.
- Week 14:
- Week 15:
|
