کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5000068 1460637 2017 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Construction of parametric barrier functions for dynamical systems using interval analysis
ترجمه فارسی عنوان
ساخت توابع مانع پارامتری برای سیستم های دینامیکی با استفاده از تجزیه و تحلیل فاصله
کلمات کلیدی
تأیید رسمی، سیستم های پویا، فاصله ها، مشکل رضایتمندی محدودیت،
ترجمه چکیده
اخیرا گواهینامه های مانع برای اثبات ایمنی سیستم های پویای مداوم یا ترکیبی معرفی شده اند. یک گواهی مانع نیاز به نمایش برخی از مانع تابع، که فضای دولت را در دو زیر مجموعه پارتیشن بندی می کند: زیر مجموعه ایمن که در آن وضعیت می تواند ثابت شود و زیرمجموعه مکمل شامل برخی از نا امن منطقه است. این رویکرد نیازی به تجزیه و تحلیل قابلیت دسترسی ندارد، اما نیاز به محاسبه یک تابع مانع معتبر دارد، که در هنگام در نظر گرفتن سیستم های غیر خطی و موانع عمومی دشوار است. این مقاله یک روش جدید برای ساخت توابع مانع برای سیستم های دینامیکی غیر خطی ارائه می دهد. تکنیک پیشنهادی برای پارامترهای یک تابع مانع پارامتری با استفاده از تحلیل فاصله انجام می شود. دینامیک مجتمع با اختلالات محدود می تواند بدون نیاز به آرام کردن محدودیت هایی که توسط تابع مانع تضمین شود را در نظر بگیرد.
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش مقاله
ساخت توابع مانع پارامتری برای سیستم های دینامیکی با استفاده از تجزیه و تحلیل فاصله
چکیده انگلیسی
Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, which partitions the state space in two subsets: the safe subset in which the state can be proved to remain and the complementary subset containing some unsafe region. This approach does not require any reachability analysis, but needs the computation of a valid barrier function, which is difficult when considering general nonlinear systems and barriers. This paper presents a new approach for the construction of barrier functions for nonlinear dynamical systems. The proposed technique searches for the parameters of a parametric barrier function using interval analysis. Complex dynamics with bounded perturbations can be considered without needing any relaxation of the constraints to be satisfied by the barrier function.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Automatica - Volume 78, April 2017, Pages 287-296
نویسندگان
, , , ,