Formalization of fractional order PD control systems in HOL4
type: Item
instance of: scholarly article
title: Formalization of fractional order PD control systems in HOL4
zbMATH Open document ID: 1380.68342
author: Chunna Zhao
author: Shanshan Li
published in: Theoretical Computer Science
publication date: 2017-11-16T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 26A33
Mathematics Subject Classification ID: 93B52
zbMATH DE Number: 6807612
zbMATH Keywords: fractional calculus
zbMATH Keywords: Caputo definition
zbMATH Keywords: higher order logic
zbMATH Keywords: theorem proving
zbMATH Keywords: fractional order PD controller
describes a project that uses: HOL
MaRDI profile type: Publication
full work available at URL: j.tcs.2017.08.011
OpenAlex ID: W2752474264
cites work: Distributed coordination of fractional order multi-agent systems with communication delays
cites work: Fractional-order systems and PI/sup /spl lambda//D/sup /spl mu//-controllers
cites work: Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
cites work: On the formalization of gamma function in HOL
cites work: Time response analysis of fractional-order control systems: A survey on recent results
cites work: Using fractional order adjustment rules and fractional order reference models in model-reference adaptive control
cites work: Lyapunov-based fractional-order controller design to synchronize a class of fractional-order chaotic systems
DOI: 10.1016/J.TCS.2017.08.011
description: scientific article; zbMATH DE number 6807612