将形式上的逻辑描述转换为控制方案

Question

我想在一定时间内扩展Bang-Bang控件（https://en.wikipedia.org/wiki/Bang%E2%80%93bang_control），控制器必须打开/关闭。

我想将以下分配转换为逻辑控制方案：

（BangBang是真的，控制器足够长） - ＆gt; SWITCH_ON

（BangBang是假的，控制器足够长） - ＆gt; Switch_Off

我知道如何为第一个做到这一点：

“计算BangBang假的时间”的输出是输出已经错误的时间;然后在块“更大”中将其与特定值进行比较。一旦它很好，模型“更大”的输出就变为真实。

最后，我想要一个逻辑控制方案，其中单个输出为真/假。

如果有人可以帮助我会很棒。