Text this: State Controllability Analysis for Irreversible Systems Using Set Theory