Discrete-Event Systems

Lecture notes, part 1

Lecture notes, part 2

Homework

Homework 6 due Tuesday, 11/22.

1. Exercises 1 and 2 of Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 6.
2. Exercises 1 and 2 of the (unwritten) Discrete-Event chapter of Concurrent Models of Computation: An Actor-Oriented Approach.
3. Extra Credit: Exercise 3 of the (unwritten) Discrete-Event chapter of Concurrent Models of Computation: An Actor-Oriented Approach.

Reading

Assigned reading:

1. Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 6.
2. Liu, X. and E. A. Lee (2008). "CPO semantics of timed interactive actor networks." Theoretical Computer Science 409(1): 110-125.