Formalization of fractional order PD control systems in HOL4

DOI10.1016/j.tcs.2017.08.011zbMath1380.68342MaRDI QIDQ1680557

Shanshan Li, Chunna Zhao

Publication date: 16 November 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.08.011

zbMATH Keywords

theorem proving; fractional calculus; Caputo definition; higher order logic; fractional order PD controller

Mathematics Subject Classification ID

93B52: Feedback control

26A33: Fractional derivatives and integrals

Related Items

Asymptotical stability and asymptotic periodicity for the Lasota-Wazewska model of fractional order with infinite delays, Formalization of Euler-Lagrange equation set based on variational calculus in HOL light

Uses Software

• HOL

Cites Work

• Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
• Using fractional order adjustment rules and fractional order reference models in model-reference adaptive control
• Distributed coordination of fractional order multi-agent systems with communication delays
• On the formalization of gamma function in HOL
• Lyapunov-based fractional-order controller design to synchronize a class of fractional-order chaotic systems
• Time response analysis of fractional-order control systems: A survey on recent results
• Fractional-order systems and PI/sup /spl lambda//D/sup /spl mu//-controllers