Bisimulation-based stabilization of probabilisticBoolean control networkswith state feedback control