Feb 17, 2014 by
- Chapter 6 of Ptolemeaus, System Design, Modeling, and Simulation, Finite State Machines
- Chapter 5 and Section 6.2 of Lee & Seshia, Introduction to Embedded Systems
Recommended background on clock calculus:
- Colaco and Pouzet, Clocks as First Class Abstract Types, EMSOFT, 2003
- Berry and Gonthier, Hybrid Dynamical Systems Theory and the SIGNAL Language, IEEE Tr. on Automatic Control, 1990
You've already rated students with this rubric. Any major changes could affect their assessment results.