There will be some abnormal working states in the process of chemical production

so the controller of the system often needs to be reconfigured in order to keep the system running normally. In view of this situation

a control strategy based on piecewise affine (PWA) model is proposed. In the strategy

a system is modeled in PWA form and an explicit model predictive control algorithm is applied to control the system. When abnormal operating points are detected

formal verification is first used to decide whether the controller needs to be reconfigured or not. By this way

it not only saves production time

but also improves the control efficiency. An application case study on CSTR system is given to illustrate the effectiveness of this strategy.