关于离散系统对转移扰动的容忍度

控制系统应针对预期的建模情形以及意外的未建模环境情形都强制实施所需性质。现有方法仅关注在设计环境如预期行为时设计控制器以强制实施所需性质。然而，这些方法缺乏关于环境受扰时系统如何表现讨论。本文中，我们提出一种分析方法，用于分析控制系统对环境扰动的容忍度。当控制系统的确能在扰动下仍保证所需性质时，称其容忍特定环境扰动。每个控制器固有地具有一定程度的环境扰动容忍度。我们形式化定义了该容忍度概念，并描述了针对任意给定正则性质计算它的一般技术。我们还提出了一种更高效的计算针对不变性性质的容忍度的方法。此外，基于我们的容忍度概念，我们引入了新的控制器综合问题。我们在自主监视示例中展示了我们框架的应用。