Reading 1

Reading 1:

1. Chapter 1 of Lee, Concurrent Models of Computation, Partially Ordered Sets Download Partially Ordered Sets
2. Chapter 5 of Ptolemeaus, System Design, Modeling, and Simulation, Synchronous-Reactive Models
3. Edwards and Lee, The semantics and execution of a synchronous block-diagram language Download The semantics and execution of a synchronous block-diagram language
   , Science of Computer Programming, 2003
4. Berry and Gonthier, The Esterel Synchronous Programming Language Download The Esterel Synchronous Programming Language
   , Science of Computer Programming, 1992

Video to watch:

1. Lee, Cyber-Physical Systems: A Fundamental Intellectual Challenge Links to an external site., December 11, 2013, College de France (introduction in French, lecture in English)