滞后跳扩散系统的符号模型

在本文中，我们首次提供了一类无限维随机系统即滞后跳扩散系统的自动化、构造即正确的控制器综合方案。首先，我们构造了与非概率滞后系统近似互模拟的有限抽象，这些非概率滞后系统对应于具有某种稳定性性质（即增量输入到状态稳定性）的原始系统。然后，我们给出了在概率设定下量化所得有限抽象的输出轨迹与原始滞后跳扩散系统的输出轨迹之间距离的结果。利用该提出的结果，可以将使用有限抽象综合的控制策略精化到原始系统，同时提供满足高层需求的概率保证。此外，我们针对所提出的增量稳定性概念给出了充分条件，即存在增量 Lyapunov 函数，对于线性系统其可化为某些矩阵不等式。最后，通过综合一个调节十室建筑温度的控制器，说明了所提结果的有效性，该建筑被建模为滞后跳扩散系统。