A core property of robust systems is given by the invariance of their function against the removal of some of their structural components. This intuition has been formalised in the context of input-output maps, thereby introducing the notion of exclusion independence. We review work on how this formalisation allows us to derive characterisation theorems that provide a basis for the design of robust systems.
Keywords: Interaction order; Knockouts; Neutrality; Robustness.