Within Implies
验证响应是否在所需持续期内发生
库:
Simulink Design Verifier /
Temporal Operators
描述
Within Implies 模块通过观测 Obs 输入是否在第一个输入 In 的每个 true 持续期的至少一个时间步中为 true 来捕获此隐含情形。只要在特定的 true 输入持续期内没有检测到 Obs，则输出在 true 输入持续期后变为 false 并保持一个时间步。
信号的 true 持续期定义为信号为 true 的连续时间步数
示例
Within Implies 模块示例
在以下示例中，假设采样时间为 1 秒。
在 In 的第一个 true 持续期内未观测到 Obs，因此，Out 变为 false 一个时间步。在 In 的第二个 true 持续期内观测到 Obs，因此 Out 为 true。当 In 没有 true 持续期时，Out 保持为 true。
如果 Obs 多次出现，它不会影响输出。
参数
版本历史记录
在 R2011a 中推出
