Within Implies

验证响应是否在所需时间内发生

库:
Simulink Design Verifier / Temporal Operators

描述

Within Implies模块通过观察 Obs 输入在第一个输入 In 的每个 true 持续时间内是否至少为 true 一步来捕获内部蕴涵。每当在特定输入真实持续时间内未检测到 Obs 时，输出将在输入 true 持续时间之后的步骤中变为一个时间步长的 false。

信号真实持续时间定义为信号为真实的连续时间步长

示例

Within Implies 模块示例

在以下示例中，考虑 1 秒的采样时间。

Obs 在 In 的第一个 true 持续时间内未观察到，因此 Out 在一个时间步长内变为 false。Obs 在 In 的第二个 true 持续时间内观察到，因此 Out 为 true。当 In 没有 true 持续时间时， Out 仍为 true 。