کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5004022 1461193 2016 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal modeling and verification of fractional order linear systems
ترجمه فارسی عنوان
مدل سازی رسمی و تایید سیستم های خطی مرتب سازی خرد
کلمات کلیدی
منطق مرتبه بالا، قضیه اثبات سیستم های خطی مرتبه جزئی، تأیید رسمی،
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
چکیده انگلیسی
This paper presents a formalization of a fractional order linear system in a higher-order logic (HOL) theorem proving system. Based on the formalization of the Grünwald-Letnikov (GL) definition, we formally specify and verify the linear and superposition properties of fractional order systems. The proof provides a rigor and solid underpinnings for verifying concrete fractional order linear control systems. Our implementation in HOL demonstrates the effectiveness of our approach in practical applications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: ISA Transactions - Volume 62, May 2016, Pages 87-93
نویسندگان
, , , , ,