Feedback control of 2 queues server with setups and finite buffers

Consider a server serving two job types arriving at constant rates λ1> 0 and λ2> 0 and non-zero setup times σ12 and σ21 involved (shown in Figure 1 left). The maximum serve rate for the two types are µ1> 0 and µ2> 0 respectively