IKCEST

ISA Transactions® | Vol.62, Issue.0 | | Pages 87-93

Formal modeling and verification of fractional order linear systems

Zhiping Shi Yong Guan Likun Shi Xiaojuan Li Chunna Zhao

Abstract

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.

Original Text (This is the original text for your reference.)

Formal modeling and verification of fractional order linear systems

+More

Keywords

linear and superposition properties of fractional order higherorder logic hol theorem proving

Cite this article

APA

MLA

Chicago

Zhiping Shi, Yong Guan, Likun Shi, Xiaojuan Li,Chunna Zhao,.Formal modeling and verification of fractional order linear systems. 62 (0),87-93.

Disclaimer: The translated content is provided by third-party translation service providers, and IKCEST shall not assume any responsibility for the accuracy and legality of the content.