CAD.5:7 - Conformance Checklist

• The controlled task, action time, initialization and allowed uncertainty are explicit, including the meaning of an actually executed input.
• Each observation constrains the state at its sample time; admissible sample gaps, delivery modes and resource coupling are included.
• The internal representation can be updated without discarding a control-relevant dependence; approximations enclose all compatible states.
• The control conclusion uses one action for the available information, and a continuing guarantee includes a valid error bound and continuation argument.
• Serious simpler alternatives are compared under the same demand; a changed demand is not disguised as a cheaper equivalent solution.
• A changed delay, observation or internal-state reduction returns to the affected calculation.
• An ablation, a failed sufficient bound and an information-based impossibility have different stated scopes.