Formalization of fractional order PD control systems in HOL4
Under an Elsevier user license
open archive
Keywords
Fractional calculus
Caputo definition
Higher order logic
Theorem proving
Fractional order PD controller
Cited by (0)
© 2017 Elsevier B.V.