Verify Model at Default Simulation Snapshot Time
This example shows how to assert that bounds on the linear system characteristics of a
nonlinear Simulink model, computed at the default simulation snapshot time of 0, are
satisfied during simulation.1 Open a nonlinear Simulink model. For example:watertank(^2) Open the Simulink Library Browser by selecting View > Library Browser in the
Simulink Editor.
(^3) Add a model verification block to the Simulink model.
a In the Simulink Control Design library, select Model Verification.
b Drag and drop a block, such as the Check Pole-Zero Characteristics block, into
the Simulink Editor.
The model now resembles the following figure.
(^4) Double-click the block to open the Block Parameters dialog box.
14 Model Verification