Программное обеспечение Simulink® Design Verifier™ не поддерживает неличные данные (например, NaN и Inf) и связанные операции.
Во время анализа программное обеспечение обрабатывает неличные операции можно следующим образом:
В блоке Relational Operator:
Если параметром Relational operator является isFinite, вывод всегда равняется 1.
Если параметром Relational operator является isNan или isInf, вывод всегда 0.
В блоке MATLAB function:
Для функции isFinite вывод всегда равняется 1.
Для isNan и функций isInf, вывод всегда 0.