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.

中文翻译：

---

健壮性成分

鲁棒系统的一个核心特性是它们的功能对于移除它们的一些结构组件的不变性。这种直觉已经在输入-输出图的背景下形式化，从而引入了排除独立的概念。我们回顾了关于这种形式化如何允许我们推导出特征定理的工作，这些定理为鲁棒系统的设计提供了基础。