Redundancy in Synchronization

We review now the concept of anchor redundancy in a given schedule. Further details, along with theorems and their proofs, are presented in Chapter 6. 

By using only irredundant anchors in computing the start times, the control cost can be reduced by (1) reducing the size of the anchor sets, translating to lower synchronization costs, and by (2) reducing the maximal offset values, translating to fewer numbo of states in the corresponding FSM. 

---