error-state-formulation