Switching supervisory control based on controller falsification and closed-loop performance inference

The paper addresses two of the basic issues of switching supervisory control (SSC): controller falsification (CF) and inference of candidate loop behaviour (ICLB). CF is approached as a statistical fault detection problem in that the currently operating controller is falsified as soon as a divergence trend is detected. This is achieved by considering a statistic (or residual) in the form of a ratio of closed-loop variables, and the falsification test is carried out by comparing at each time the ratio statistic with a threshold. It is constructively shown that the thresholds can be fixed, irrespective of the disturbance intensity, in such a way that faults are detected with probability one while probability of false alarms can be made as small as we wish. The ICLB issue is approached by the virtual reference approach. This allows one to obtain an inference of the performance of a candidate loop via a mean-square average of suitably filtered prediction errors. It is shown how a supervisory logic can be built by combining the results on CF with those on ICLB.