{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T22:40:59Z","timestamp":1776811259366,"version":"3.51.2"},"reference-count":20,"publisher":"European Society of Computational Methods in Sciences and Engineering","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCM"],"published-print":{"date-parts":[[2020,4,10]]},"DOI":"10.3233\/jcm-193629","type":"journal-article","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T12:48:37Z","timestamp":1559652517000},"page":"113-119","source":"Crossref","is-referenced-by-count":1,"title":["Formalization of fractional calculus and fractional order PI controller"],"prefix":"10.66113","volume":"20","author":[{"given":"Chunna","family":"Zhao","sequence":"first","affiliation":[{"name":"School of Information Science and Engineering, Yunnan University, Kunming, Yunnan 650091, China"}]},{"given":"Murong","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yunnan University, Kunming, Yunnan 650091, China"}]},{"given":"Yaqun","family":"Huan","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yunnan University, Kunming, Yunnan 650091, China"}]},{"given":"Dali","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Information Science and Engineering, Northeastern University, Shenyang, Liaoning 110819, China"}]}],"member":"55691","reference":[{"issue":"1","key":"10.3233\/JCM-193629_ref2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.3233\/JCM-180780","article-title":"Time-fractional diffusion model on dynamical effect of dendritic cells on HIV pathogenesis","volume":"18","author":"Shikaa","year":"2018","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"issue":"3","key":"10.3233\/JCM-193629_ref3","doi-asserted-by":"crossref","first-page":"359","DOI":"10.3233\/JCM-150548","article-title":"Computational examples of a class of fractional order nonlinear evolution equations using modified extended direct algebraic method","volume":"15","author":"Muhammad","year":"2015","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"issue":"1","key":"10.3233\/JCM-193629_ref4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.2478\/s13540-014-0153-9","article-title":"Distributed coordination of fractional order multi-agent systems with communication delays","volume":"17","author":"Yang","year":"2014","journal-title":"Fractional Calculus and Applied Analysis"},{"key":"10.3233\/JCM-193629_ref5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.automatica.2016.12.017","article-title":"Non-asymptotic fractional order differentiator for a class of fractional order linear systems","volume":"78","author":"Liu","year":"2017","journal-title":"Automatica"},{"key":"10.3233\/JCM-193629_ref6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.physa.2018.01.019","article-title":"On the adaptive sliding mode controller for a hyperchaotic fractional-order financial system","volume":"497","author":"Hajipour","year":"2018","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"key":"10.3233\/JCM-193629_ref7","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.aeue.2017.09.013","article-title":"Fractional order disturbance observer based adaptive sliding mode synchronization of commensurate fractional order Genesio-Tesi system","volume":"82","author":"Khan","year":"2017","journal-title":"AEU \u2013 International Journal of Electronics and Communications"},{"issue":"4","key":"10.3233\/JCM-193629_ref8","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.3233\/JCM-180852","article-title":"Two-temperature generalized thermoelasticity with fractional order strain of an infinite body with a spherical cavity","volume":"18","author":"Lehaibi","year":"2018","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"issue":"13","key":"10.3233\/JCM-193629_ref9","first-page":"1361","article-title":"Investigation on the viscoelastic behavior of an fe-base bulk amorphous alloys based on the fractional order rheological model","volume":"64","author":"Liao","year":"2015","journal-title":"Acta Physica Sinica"},{"issue":"9","key":"10.3233\/JCM-193629_ref10","first-page":"260","article-title":"Transmission lines modeling method based on fractional order calculus theory","volume":"29","author":"Yan","year":"2014","journal-title":"Transactions of China Electrotechnical Socirty"},{"key":"10.3233\/JCM-193629_ref11","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.neucom.2015.06.035","article-title":"Fractional differential and variational method for image fusion and super-resolution","volume":"171","author":"Li","year":"2016","journal-title":"Neurocomputing"},{"key":"10.3233\/JCM-193629_ref12","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.jag.2015.09.007","article-title":"The effect of imposing \u2018fractional abundance constraints\u2019 onto the multilayer perceptron for sub-pixel land cover classification","volume":"44","author":"Heremans","year":"2016","journal-title":"International Journal of Applied Earth Observation and Geoinformation"},{"key":"10.3233\/JCM-193629_ref15","first-page":"163","article-title":"Formal analysis of fractional order systems in HOL","author":"Siddique","year":"2011","journal-title":"Formal Methods in Computer-Aided Design"},{"issue":"2","key":"10.3233\/JCM-193629_ref16","first-page":"15","article-title":"Formalization of real binomial coefficient in HOL4","volume":"41","author":"Shi","year":"2014","journal-title":"Computer Science"},{"issue":"9","key":"10.3233\/JCM-193629_ref17","first-page":"248","article-title":"Research on the higher-order logic formalization of fractance element","volume":"13","author":"Li","year":"2016","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"key":"10.3233\/JCM-193629_ref19","first-page":"73","article-title":"A new definition of fractional derivative without singular kernel","volume":"1","author":"Caputo","year":"2015","journal-title":"Progress on Fractional Differentiation and Applications"},{"key":"10.3233\/JCM-193629_ref20","first-page":"87","article-title":"Properties of a new fractional derivative without singular kernel","volume":"1","author":"Losada","year":"2015","journal-title":"Progress on Fractional Differentiation and Applications"},{"key":"10.3233\/JCM-193629_ref21","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.jcp.2015.04.048","article-title":"Efficient computation of the Gr\u00fcnwald-Letnikov fractional diffusion derivative using adaptive time step memory","volume":"297","author":"MacDonald","year":"2015","journal-title":"Journal of Computational Physics"},{"key":"10.3233\/JCM-193629_ref24","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.isatra.2015.07.015","article-title":"Formal modeling and verification of fractional order linear systems","volume":"62","author":"Zhao","year":"2016","journal-title":"ISA Transactions"},{"key":"10.3233\/JCM-193629_ref25","first-page":"1","article-title":"GA PID control research in inverter motor speed governing system","author":"Wang","year":"2018","journal-title":"Journal of Computational Methods in Sciences and Engineering"},{"key":"10.3233\/JCM-193629_ref26","first-page":"57","article-title":"The study of fractional order controller with SLAM in the humanoid robot","volume":"4","author":"Wen","year":"2014","journal-title":"Advances in Mathematical Physics"}],"container-title":["Journal of Computational Methods in Sciences and Engineering"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/JCM-193629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T22:05:54Z","timestamp":1776809154000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/JCM-193629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,10]]},"references-count":20,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/jcm-193629","relation":{},"ISSN":["1472-7978","1875-8983"],"issn-type":[{"value":"1472-7978","type":"print"},{"value":"1875-8983","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,10]]}}}