... systems are live, and the GIP is finally removed when the non-blockingness of the controlled system is achieved. Meanwhile, the redundancy of monitors is also checked. Findings A typical G-system example is provided to demonstrate the applicability and effectiveness of the proposed method. Experiments...