Problem with the design verifier Simulink

13 次查看（过去 30 天）
Nedra Ebdelli
Nedra Ebdelli 2015-6-1
评论： Nedra Ebdelli 2015-6-2
I want to exract counter examples from my model but an error has encoured that I didn't understand it.
  • Model "model" is set to import initial state data from the matlab workspace.Simulink Design Verifier does not support this configuration.You must uncheck the initial state in the load from workspace area of the Data.
  • Simulink Design Verifier failed to initialize: is incompatible with simulink Design Verifier.
The problem that mymodel doesn't contain a block from workspace or from File. Please I need a help.

请先登录，再回答此问题。

回答（1 个）

Sebastian Castro
Sebastian Castro 2015-6-2
If you go to Simulation > Model Configuration Parameters, then go to the Data Import/Export section, there should be an "Initial State" checkbox (2nd option in that menu).
Unchecking that should get rid of the issue -- assuming you don't need to use that option for other simulations.
- Sebastian

类别

在 Help Center 和 File Exchange 中查找有关 Model Verification 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by