Research Info

Home /Verification of the control ...
Title Verification of the control system performance using viability theory
Type Presentation
Keywords approximation theory, nonlinear control systems, set theory
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.
Researchers Javad Poshtan (Third Researcher), Vicenc Puig (Second Researcher), Majid Ghaniee Zarch (First Researcher)