Data-Driven-Reachability-Analysis icon indicating copy to clipboard operation
Data-Driven-Reachability-Analysis copied to clipboard

Published 20 hours ago • verified publisher icon aalanwar

Running error: Unrecognized function or variable 'check_tStart_tFinal'; Error using optimoptions

Open molumitu opened this issue 1 year ago • 2 comments

Hello, this work of yours is very fascinating and I would like to use this awesome tool in my real problem. However, I got the following error:

Unrecognized function or variable 'check_tStart_tFinal'. image

Error using optimoptions image

After checking, I wonder if some files are missing? It seems that a series of operations on options used in the checkOptionsReach.m file cannot be recognized? I hope you can give me some advice for fixing them. In addition, I am using CORA-2021, because it seems that CORA-2020 can no longer be downloaded. If this has an impact, can you send me a copy?

molumitu avatar Dec 13 '23 06:12 molumitu

Hello Guojian, Many thanks for your interest. Could you please try with CORA 2020 from the following link? https://tumcps.github.io/CORA/pages/archive/v2020/index.html

aalanwar avatar Dec 13 '23 06:12 aalanwar

Ok, thank you very much, you have solved all my problems, great job!

molumitu avatar Dec 13 '23 07:12 molumitu