An Interval Technique to Check the Performance of Control Laws Applied to Wind Turbines
Résumé
In this work, we apply reachability analysis to design a set-membership algorithm to evaluate the performance of nominal controllers. The proposed algorithm allows to check the robustness of given controllers, designed from nominal models, against both nonlinearities and uncertainties of real systems. Three main tasks are carried out by this algorithm:Step 1: Transform the desired control speci cations as set-membership criteria.Step 2: Compute an outer-approximation of the reachable set of the closed-loop system.Step 3: Evaluate the set-membership criteria to check either the desired specifications are satisfied by all the possible behaviors of the closed-loop system.