Ramadge–Wonham 监督控制理论

Ramadge–Wonham（1987）是离散事件系统的监督控制理论。一个自主运行的被控对象（plant）G 产生事件；事件集合被划分为 Σ = Σ_c ∪ Σ_u，即可控事件与不可控事件两部分。

• 监督者只能禁用可控事件，永远不能强制被控对象。 它拥有的是否决权，而不是命令权——它可以阻止某个 Σ_c 事件发生，但不能促使任何事件发生，也完全触碰不到 Σ_u。
• 上确界可控子语言 supC(K)。 给定一个期望的 spec 语言 K，存在一个唯一的、可在多项式时间内计算出的最大可控且可观测子语言——即满足该 spec 的、限制最少的监督者。这使得监督者的综合（synthesis）变成一件机械的事：先声明性质，再计算出需要禁用的最小事件集合。
• 部分可观测性。 监督者通常只能看到事件流的一个投影（一种被遮蔽的、自然投影式的视角）。任何依赖于不可观测事件的 spec 都无法被强制满足；扩大可观测事件集合 Σ_o 会严格地扩大可被控制的范围。

该理论通过 Hennessy–Milner 定理与互模拟不变性同模态/时序逻辑相连，同基于知识的认知式程序相连（控制只能依赖于监督者知道什么），并向上游连到 Ashby 的调节理论（ashby）。