Before revision: Then the following are equivalent i) V is controlled invariant ii) AV is in V + Im B iii) There exist a feedback F such that (A + BF)V is in V
After revision: Then the following are equivalent : V is controlled invariant ; AV is in V + Im B ;. There exist a feedback F such that (A + BF)V is in V