مشخصات پژوهش

عنوان	Verification of the control system performance using viability theory
نوع پژوهش	مقاله ارائه شده کنفرانسی
کلیدواژه‌ها	approximation theory, nonlinear control systems, set theory
چکیده	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.
پژوهشگران	مجید غنی ئی زارچ (نفر اول)، ویسنس پویگ (نفر دوم)، جواد پشتان (نفر سوم)