<<< Back to Time Triggered Models      Forward to Continuous Time models >>>

Discrete-Event Systems

Lecture notes, part 1

Lecture notes, part 2

Homework

Solutions to homework exercises due this week.

Project papers due in two weeks, May 1.

Homework exercises are due three weeks, Friday, May 8.

Reading

Assigned reading:

  1. Liu, X. and E. A. Lee (2008). "CPO semantics of timed interactive actor networks." Theoretical Computer Science 409(1): 110-125.
  2. Liu, J. and E. A. Lee (2003). "Timed Multitasking for Real-Time Embedded Software." IEEE Control Systems Magazine: 65-75. (Study group paper)