Abstract:
In this paper, reachability analysis is used as a verification tool to evaluate the performance of nominal controllers. The proposed method allows to check the robustness...Show MoreMetadata
Abstract:
In this paper, reachability analysis is used as a verification tool to evaluate the performance of nominal controllers. The proposed method allows to check the robustness of given controllers, designed from nominal models, against both nonlinearities and uncertainties of real systems. This method is structured on three levels. In the first one, the desired control specifications are defined as set-membership criteria. Then, in the second level, an outer-approximation of the reachable set of the closed-loop system is computed. Consistency techniques are applied in the third level in order to check if the desired specifications are satisfied by all the possible behaviors of the system. To illustrate the interest of the proposed approach, a control verification issue of a linear controller applied on a simple hydraulic system is tackled.
Published in: 2016 IEEE Conference on Control Applications (CCA)
Date of Conference: 19-22 September 2016
Date Added to IEEE Xplore: 13 October 2016
ISBN Information: