Verifying Control Design Through Simulation and Formal Verification Methods

MathWorks provides tools for comprehensive testing of your control systems, using desktop simulation, real-time testing, and formal verification methods.

Test Control Systems Using Desktop Simulation

Test control algorithms through desktop simulation to find design errors before building hardware and creating production software. Such Early Verification for Control Systems (6:42) reduces the need for expensive and difficult-to-access prototypes. To perform early-verification testing, you combine the plant model and control algorithm into one model and simulate the closed-loop system behavior . For this simulation, utilize the plant model used for control design or develop one with higher fidelity. One option for creating a higher fidelity plant model is to use a third-party product for your specific application or industry from the MathWorks Connections Program .

Test Control Algorithms in Real Time

If a real-time simulation or physical prototype of the system is available, you can perform real-time testing of your control algorithm by:

  • Implementing it on a hardware target and connecting the target to a prototype (often called rapid prototyping)
  • Simulating it in real time through hardware-in-the-loop (HIL) testing

You can reuse the plant model that you developed for compensator design for HIL testing.

Test Using Formal Verification Methods

MathWorks provides additional tools for verifying, validating, and testing your design that enable you to: