Week |
Date |
Topic |
Resources
|
1 |
8/20
|
- Introduction
- Motivation for Cyber-Physical Systems
- Sensors and Actuators
|
- Slides (pdf)
- Assignment 1
|
Model-Based Design
|
2 |
8/27
|
- Model-Based Design
- Continuous Dynamics
|
|
3 |
9/3
|
- Memory Architectures
- Input and Output
|
|
4 |
9/10
|
|
|
5 |
9/17
|
|
|
6 |
9/24
|
- Extended and Timed Automata
|
|
7 |
10/1
|
- Composition of State Machines
- Hierarchical State Machines
|
|
8 |
10/8
|
- Specification and Temporal Logic: Comparing State Machines
- Reachability analysis
|
|
9 |
10/15 |
Midterm Exam
|
Resource Management
|
10 |
10/22
|
|
|
11 |
10/29
|
- Operating Systems
- Microkernels
|
|
12 |
11/5
|
|
|
13 |
11/12
|
|
|
Distributed Embedded Systems
|
|
11/19 |
No Class
|
14 |
11/26
|
- Synchronous/Reactive and Dataflow Models
|
|
15 |
12/3
|
- Security for Embedded Systems
- Networked Embedded Systems
|
|