我对亚稳态故障的原则性解决方案的探索，把我带回了自稳定。最近一篇论文将这个问题与自稳定系统的组合联系起来，但文献检索没有找到任何有用的东西。分层稳定在2000年代初就已经存在，此后似乎没有添加任何根本性的新内容。

我用一个具体例子来攻克这个问题：一个重试风暴的依赖-保证TLA+模型，作为两个带有契约的组件。该模型重现了亚稳态故障，因为组合从良好状态出发可以工作，但当巨大的冲击移除了基本情况时就会失败。寻找从每个状态出发的依赖-保证组合，让我找到了一篇2017年的控制论论文，作者是Kim、Arcak和Seshia，题为“参数化假设-保证契约的小增益定理”。这篇论文大致做了我想做的事情：在两个组件之间消解循环推理，而不需要分层或阻塞。但它有严重的局限性。组件是信号上的输入-输出关系，契约将输入界限与输出界限联系起来。这种无记忆的观点无法表达从前几轮累积的积压，排除了队列。它也与稳定化没有联系。

尽管如此，其中一些片段值得借鉴，以构建自稳定和亚稳态的组合理论。下面我尝试将其推导出来……但不太成功。

在我们最初的模型中，重试者的保证是有条件的：“如果队列低于6，我不发送任何重试”。参数化假设-保证论文的核心思想是写出一族覆盖所有地方的契约。常数：S=3服务器容量，A_max=2新到达，T=2超时，延迟阈值S·T=6。这给出λ(L) = ⌊(L-6)/2⌋。旧契约是最上面一行：λ(6)=0。每一行都得到一个承诺，因此我们得到一束普通契约，每个坏度级别p一个：φ_a = ∨_p ψ_a(p)；φ_g = ∧_p (ψ_a(p) ⇒ ψ_g(λ(p)))。假设侧是析取，因为级别是替代选项。保证侧是合取；义务是累积的。条件为假的行不付出任何代价；嵌套级别意味着最紧的获胜。

关键实体：人物：Kim、Arcak、Seshia

FAQ：参数化假设-保证契约论文对自稳定的主要局限性是什么？

该论文使用组件的无记忆观点，因此无法表达从前几轮累积的积压，排除了队列。它也与稳定化或收敛推理没有联系。

FAQ Q：参数化假设-保证契约论文对自稳定的主要局限性是什么？

FAQ A：该论文使用组件的无记忆观点，因此无法表达从前几轮累积的积压，排除了队列。它也与稳定化或收敛推理没有联系。