aalanwar / data-driven-reachability-analysis Goto Github PK

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'.

Error using optimoptions

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?

How (if at all) is Section 2 in this code's associated preprint "Data-Driven Reachability Analysis Using Matrix Zonotopes"
related to dynamic mode decomposition with control (see references below)? The use of the X+, X- and U- looks somewhat similar.

Proctor, J.L., Brunton, S.L., Kutz, J.N.: Dynamic mode decomposition with control.
SIAM J. Appl. Dyn. Syst. 15(1), 142--161 (2016). https://doi.org/10.1137/15M1013857

Proctor, J.L., Brunton, S.L., Kutz, J.N.: Generalizing Koopman Theory to Allow for Inputs and Control.
SIAM J. Appl. Dyn. Syst. 17(1), 909--930 (2018). https://doi.org/10.1137/16M1062296