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

> Research article (Fractal and Fractional, 2022) · cited 17× · AI/ML

**Wikidata**: [openalex:W4293777110](https://www.wikidata.org/wiki/openalex:W4293777110)  
**Source**: https://4ort.xyz/entity/formal-verification-of-fractional-order-pid-control-systems-using-higher-order-logic