Abstract
The 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
