Set Data Type of Inport Block

1 次查看(过去 30 天)
Nedra Ebdelli
Nedra Ebdelli 2015-5-30
Hi,
I want to set the data type of an inport Block with specification (Type:Num between[Min Max[). but I don't find a way to do it. Thank you for the help.
Nedra.

回答(1 个)

Nobel Mondal
Nobel Mondal 2015-5-30
You can double click on the block and change the following values:
  4 个评论
Nedra Ebdelli
Nedra Ebdelli 2015-6-2
Please can you help me with this question how can I differentiate the bounded interval and the non bounded interval for example [Min Max] and [Min..Max[.
Nedra.
It is possible With this Min and Max.
Sebastian Castro
Sebastian Castro 2015-6-2
From another one of your questions, I noticed that you are using Simulink Design Verifier. Wanted to let you know that the Min and Max specifications in the Inport block
  1. Do not limit the signal value in any way -- you want to use a Saturation block if you need to physically limit values.
  2. Are not used by Simulink Design Verifier for analysis. If you want to specify bounded vs. unbounded ranges, use Proof Assumption, Proof Objective, Test Condition , or Test Objective block (depending on whether you're doing property proving or test generation).
- Sebastian

请先登录,再进行评论。

类别

Help CenterFile Exchange 中查找有关 Model Verification 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by