Simulink Reference

Model Verification

Acknowledgement.   The Model Verification blocks were developed in conjunction with the Control System Design team of the Advanced Chassis SystemDevelopment group of DaimlerChrysler AG, Stuttgart, Germany.

The Model Verification library contains blocks that enable you to create self-validating models.

Block Name	Purpose
Assertion	Assert that the input signal is nonzero.
Check Discrete Gradient	Check that the absolute value of the difference between successive samples of a discrete signal is less than an upper bound.
Check Dynamic Gap	Check that a gap of varying width occurs in the range of a signal's amplitudes.
Check Dynamic Lower Bound	Check that a signal is always greater than a value that can vary at each time step.
Check Dynamic Range	Check that a signal alway lies in a varying range of amplitudes.
Check Dynamic Upper Bound	Check that a signal is always less than a value that can vary at each time step.
Check Input Resolution	Check that a signal has a specified resolution.
Check Static Gap	Check that a fixed-width gap occurs in the range of a signal's amplitudes
Check Static Lower Bound	Check that a signal is greater than (or optionally equal to) a lower bound that does not vary with time.
Check Static Range	Check that the input signal falls in a fixed range of amplitudes.
Check Static Upper Bound	Check that a signal is less than (or optionally equal to) an upper bound that does not vary with time.

Math Operations

Model-Wide Utilities