# Verification of fixed-point digital controllers using direct and delta forms realizations

> Research article (Design Automation for Embedded Systems, 2016) · cited 21× · AI/ML

**Wikidata**: [openalex:W2293790689](https://www.wikidata.org/wiki/openalex:W2293790689)  
**Source**: https://4ort.xyz/entity/verification-of-fixed-point-digital-controllers-using-direct-and-delta-forms-realizations