Model Verification

Verify time- and frequency-domain characteristics of linearized models against specified bounds, verify subsystems

Simulink^® Control Design™ software provides Model Verification blocks to monitor time-domain and frequency-domain characteristics of a linear system computed from a nonlinear Simulink model during simulation. You can use these blocks to define bounds on specific linear system characteristics and check whether these bounds are satisfied during simulation. For more information, see Monitor Linear System Characteristics in Simulink Models and Verifiable Linear System Characteristics.

Blocks

Check Bode Characteristics	Bode plot of linear system computed from nonlinear Simulink model
Check Gain and Phase Margins	Gain and phase margins of linear system approximated from nonlinear Simulink model
Check Linear Step Response Characteristics	Step response of linear system computed from nonlinear Simulink model
Check Nichols Characteristics	Check that gain and phase bounds on Nichols response are satisfied during simulation
Check Pole-Zero Characteristics	Check that bounds on pole locations are satisfied during simulation
Check Singular Value Characteristics	Check that singular value bounds are satisfied during simulation

Topics

Monitor Linear System Characteristics in Simulink Models
Monitor time-domain and frequency-domain characteristics of linear systems computed from nonlinear Simulink models during simulation.
Define Linear System for Model Verification Blocks
To compute a linear system for model verification, specify linearization inputs, linearization outputs, and when to linearize the model.
Verifiable Linear System Characteristics
You can specify bounds on time-domain and frequency-domain linear system characteristics, and assert that the bounds are satisfied during simulation.
Verify Model at Default Simulation Snapshot Time
Assert that bounds on the linear system characteristics of a nonlinear Simulink model are satisfied at the start of the simulation.
Verify Model at Multiple Simulation Snapshots
Assert that bounds on the linear system characteristics of a nonlinear Simulink model are satisfied at multiple snapshot times.
Verify Model Using Simulink Control Design and Simulink Verification Blocks
Assert that linear system characteristics satisfy specified bounds using a combination of Simulink Control Design and Simulink verification blocks.

Featured Examples

Verify Frequency-Domain Characteristics of an Aircraft

Simulink Control Design software provides blocks that you can add to Simulink models to check that the linear response of the model satisfies frequency-domain characteristics during simulation.

Open Script