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