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:
- Run test cases through your controller and check model coverage, including MC/DC coverage
- Use formal verification methods to automatically create test cases that provide 100% coverage of your control logic and prove specific model properties
- Check the real-time code for certain run-time errors and trace the origins of errors in the model