Simulink Design Verifier Problem

4 次查看（过去 30 天）
Mohammad
Mohammad 2022-12-26
回答： Yatharth 2023-9-1
if trackID>0
mioState = confirmedTracks.Tracks(trackID).State;
else
mioState = inf(numStates,1,'like',confirmedTracks.Tracks(1).State);
end
while i'm doing the simulink design verifier for ACC model i'm getting this error in "find lead car" function
in this i have used inf(infinite array)
Non-finite number is used. Simulink Design Verifier does not support non-finite numbers. Function 'Tracking and Sensor Fusion/Find Lead Car' (#1689.1857.1912), line 48, column 16
can someone solve this error?

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

回答（1 个）

Yatharth
Yatharth 2023-9-1
Hi Mohammad, I understand that you are encountering the error , "Non-finite number is used" in Simulink Design Verifier.
To resolve this error, you can modify your code to use a large finite number instead of "inf". Here's an example of how you can modify the code snippet you provided:
if trackID > 0
mioState = confirmedTracks.Tracks(trackID).State;
else
mioState = ones(numStates, 1) * 1e10; % Use a large finite number instead of inf
end
I hope this helps.

类别

在 Help Center 和 File Exchange 中查找有关 Simulink Design Verifier 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by