Analysis and Control of Boolean Networks : A Semi-tensor Product Approach, Ha...