کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10225750 | 690902 | 2018 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Safe & robust reachability analysis of hybrid systems
ترجمه فارسی عنوان
تجزیه و تحلیل قابلیت دسترسی ایمن و ایمن سیستم های ترکیبی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سیستم های ترکیبی دسترسی پذیری، نیرومندی، نظریه دامنه
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Second, in safety analysis of hybrid and continuous systems, it is important to ensure that a reachability analysis is also robust w.r.t. small perturbations to the set of initial states and to the system itself, since discrepancies between a system and its mathematical models are unavoidable. We show that, under certain conditions, the best Scott continuous approximation of an analysis A is also its best robust approximation. Finally, we exemplify the gap between the set of reachable states and the supersets computed by safe reachability and its best robust approximation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 747, 7 November 2018, Pages 75-99
Journal: Theoretical Computer Science - Volume 747, 7 November 2018, Pages 75-99
نویسندگان
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha,