Dynamische parameterisatie is geen dynamische inferentie

Input-afhankelijke controllercoëfficiënten worden vaak opgevat als bewijs van dynamische inferentie of rekenbesparing, maar die interpretatie verwart drie eigenschappen — coëfficiëntvariatie, de afhankelijkheid van een bevroren model van hoe coëfficiënten aan inputs worden toegekend, en conditionele uitvoering; de auteurs richten zich op de tweede eigenschap en formuleren een algemeen principe van frozen-controller auditing, met één concrete implementatie.