Constrained biogeography-based optimization for invariant set computation.