ترجمه فارسی عنوان مقاله
سنتز قرارداد تایید و زمانبندی پایداری برای سیستمهای تحرک خطی با استفاده از تجزیه و تحلیل قابلیت دسترسی
عنوان انگلیسی
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
---|---|---|
113032 | 2017 | 16 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Nonlinear Analysis: Hybrid Systems, Volume 25, August 2017, Pages 211-226
ترجمه کلمات کلیدی
تجزیه و تحلیل ثبات، سنتز پارامتر، سیستم های تحرک خطی، تفاوت شامل، تجزیه و تحلیل قابل دستیابی،
کلمات کلیدی انگلیسی
Stability analysis; Parameter synthesis; Linear impulsive systems; Difference inclusions; Reachability analysis;