在这个例子中，Check Dynamic Upper Bound块比较来自Step块的测试输入信号的值u端口到正弦波块马克斯端口。检查动态上限块检查信号在马克斯端口大于测试输入信号的值。如果是，则块断言真正的(1)．因为断言输出信号参数选中，则块输出断言值。运行模拟以观察模型输出。

在仿真开始时，检查动态上限块输出1因为正弦波块的值大于步进块的值。在…的时候3.14，正弦波向下0，导致Step块的值超过正弦波。Check Dynamic Upper Bound块识别这个变化并输出0．

在…的时候5时，Step块输出值为０．５，它仍然大于正弦波。Step块值保持大于正弦波直到时间到达6.81．Check Dynamic Upper Bound块识别此更改并通过断言。输出保持为1直到时间到达8.90，此时正弦波低于Step块的值。