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.
|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|
Monitor time-domain and frequency-domain characteristics of linear systems computed from nonlinear Simulink models during simulation.
To compute a linear system for model verification, specify linearization inputs, linearization outputs, and when to linearize the model.
You can specify bounds on time-domain and frequency-domain linear system characteristics, and assert that the bounds are satisfied during simulation.
Assert that bounds on the linear system characteristics of a nonlinear Simulink model are satisfied at the start of the simulation.
Assert that bounds on the linear system characteristics of a nonlinear Simulink model are satisfied at multiple snapshot times.
Assert that linear system characteristics satisfy specified bounds using a combination of Simulink Control Design and Simulink verification blocks.