کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5004022 | 1461193 | 2016 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal modeling and verification of fractional order linear systems
ترجمه فارسی عنوان
مدل سازی رسمی و تایید سیستم های خطی مرتب سازی خرد
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق مرتبه بالا، قضیه اثبات سیستم های خطی مرتبه جزئی، تأیید رسمی،
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
کنترل و سیستم های مهندسی
چکیده انگلیسی
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
Journal: ISA Transactions - Volume 62, May 2016, Pages 87-93
نویسندگان
Chunna Zhao, Likun Shi, Yong Guan, Xiaojuan Li, Zhiping Shi,