Проверьте, что ответ происходит в желаемой длительности
Simulink Design Verifier
True duration сигнала — Последовательные временные шаги, во время которых сигнал верен
Блок Within Implies получает в значении путем наблюдения ли Obs входом является true по крайней мере для одного шага в каждом true длительность первого входа In. Каждый раз, когда Obs не обнаруживается в конкретном входе истинная длительность, выход становится false для одного временного шага на шаге, который следует за входом true длительность.
Блок Within Implies имеет только один заданный пользователями параметр:
Задайте ли наблюдение блока за Obs может быть сброшен внешним булевым сигналом сброса.
В следующем примере рассмотрите шаг расчета 1 второй.
Obs не наблюдается в первом true длительность In, так Out становится false для одного временного шага. Obs наблюдается во втором true длительность In, так Out true. Когда нет никакого true длительность In, Out остается true.
Если Obs происходит многократно, это не влияет на выход.
