Simulink® Control Design™ software provides Model Verification blocks to monitor time- and frequency-domain characteristics of a linear system computed from a nonlinear Simulink model during simulation.
Use these blocks to:
Verify that the linear system characteristics of any nonlinear Simulink model, including the following, remain within specified bounds during simulation:
Continuous- or discrete-time models
Models with time delays, represented using exact delay or Padé approximation
Discretized linear models computed from continuous-time models
Continuous-time models computed from discrete-time models
Resampled discrete-time models
The linear system can be Single-Input Single-Output (SISO) or Multi-Input Multi-Output (MIMO).
View specified bounds and bound violations on linear analysis plots.
Save the computed linear system to the MATLAB® workspace.
The verification blocks assert when the linear system characteristic does not satisfy a specified bound, i.e., assertion fails. A warning message, reporting the assertion failure, appears at the MATLAB prompt. When assertion fails, you can:
Stop the simulation and bring that block into focus.
Evaluate a MATLAB expression.
You can use these blocks with the Simulink Model Verification blocks to design complex logic for assertion. For an example, see Model Verification Using Simulink Control Design and Simulink Verification Blocks.
If you have Simulink Verification and Validation software, you can use the Verification Manager tool in the Signal Builder to construct simulation tests for your model. For an example, see Verifying Frequency-Domain Characteristics of an AircraftVerifying Frequency-Domain Characteristics of an Aircraft.