Formalization of fractional order PD control systems in HOL4
scientific article; zbMATH DE number 6807612