Common Uses of Fairness Constraints

Common Uses of Fairness Constraints

• Modeling an unknown amount of wait: “ Don’t stay in ”a” forever. ” Finf !( state_var = a) 
• “It is always the case that sometime in the future an “a” is generated. ”Similarly for ”b”, ”c” and ”d”. Finf {a} & Finf {b} & Finf {c} & Finf {d}

b

a

Previous slide

Next slide

Back to the first slide

View Graphic Version