Formalization of fractional order PD control systems in HOL4
From MaRDI portal
Publication:1680557
DOI10.1016/j.tcs.2017.08.011zbMath1380.68342MaRDI QIDQ1680557
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
theorem proving; fractional calculus; Caputo definition; higher order logic; fractional order PD controller
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
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