Our journal paper has been accepted in the IEEE Transactions on Control of Network Systems (TCNS).