Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic

Fractional-order PID control is a landmark in the development of fractional-order control theory. It can improve the control precision and accuracy of systems and achieve more robust control results. As a theorem-proving formal verification method, it can be applied to an arbitrary system represente...

Full description

Bibliographic Details
Main Authors: Chunna Zhao, Murong Jiang, Yaqun Huang
Format: Article
Language:English
Published: MDPI AG 2022-08-01
Series:Fractal and Fractional
Subjects:
fractional-order calculus
verification
higher-order logic
theorem proving
fractional-order PID control
Online Access:https://www.mdpi.com/2504-3110/6/9/485

Internet

https://www.mdpi.com/2504-3110/6/9/485

Similar Items