Verification of the control system performance using viability theory

© 2017 IEEE. Personal use of this ma terial is permitted. Permission from IEEE must be obtained for al l other uses, in any current or future media, including reprinting /republishing this material for advertising or promotional purposes, creating new collective works, f or resale or redistribution to se rvers or lists, or reuse of any copyrighted compone nt of this work in other worksThe development of efficient methods for the control system performance verification has drawn a lot of attention recently. In this paper, the use of viability theory for this purpose is investigated in case of non-linear systems. In particular, verification algorithms based on the use of the computation of invariance and viability kernels and capture basin are proposed. A Lagrangian method has been used in order to approximate these sets for nonlinear systems. Because of simplicity and efficient computations, zonotopes are adopted for set representation. An application example based on a well known control benchmark is provided in order to show the effectiveness of the proposed method.Peer Reviewe