search

TUMcps / CORA

Toolbox for Reachability Analysis
GNU General Public License v3.0
108 stars 35 forks source link

Bug in linearSysDT concerning Output #13

Closed stefanbliu closed 3 years ago

stefanbliu commented 3 years ago

the output equation of a linearSysDT is y[i] = Cx[i] + Du[i], i.e., the indices of x and u are the same

The current implementation of @linearSysDT/reach.m in line 66, however, results in y[i-1] = Cx[i] + Du[i-1], i.e., the indices of x and u are different.

wetzlingerm commented 3 years ago

Thank you for catching this error! We have corrected it in the last commit.