Add distillation model#159
Conversation
| x6' == -0.2259 * x6 + 0.0021 * x7 - 0.0457 * x8 + 0.3132 * u1 - 0.2249 * u2 & | ||
| x7' == -0.0052 * x7 + 0.0024 * x8 + 0.7117 * u1 - 0.6994 * u2 & | ||
| x8' == -0.0755 * x8 + 0.0599 * u1 - 0.3014 * u2 & | ||
| u1' == 0 * x1 & |
There was a problem hiding this comment.
Here it seems that the SpaceEx model is taking u1 and u2 as constants over the full time horizon, while in the JuliaReach model they are allowed to vary.
There was a problem hiding this comment.
Good finding! I found this model on my disk and just copied it here.
There was a problem hiding this comment.
as time-varying u(t) is also an interesting setting, we can add constant u(t) to the JuliaReach model and keep both settings.
There was a problem hiding this comment.
@schillic i can take care of making the suggested changes.
There was a problem hiding this comment.
as time-varying u(t) is also an interesting setting, we can add constant u(t) to the JuliaReach model and keep both settings.
I rather think that the SpaceEx model is wrong. I might have created it myself some years ago.
i can take care of making the suggested changes.
Sure, go ahead!
2 participants
No description provided.