13
Using Model Verification Blocks
• “Model Verification Blocks and the Verification Manager” on page 13-2
• “Use Check Static Lower Bound Block to Check for Out-of-Bounds Signal” on page
13-3
• “Linear System Modeling Blocks in Simulink Control Design” on page 13-6
