Christian Schilling
Christian Schilling
* Nonlinear: http://lcs.ios.ac.cn/~znj/papers/HSCC2018b.pdf (If I remember correctly, the approach can also be used to obtain an overapproximation.) * Generalization to systems with inputs: [Inner-Approximating Reachable Sets for Polynomial Systems with...
I just read the paper again. Here are some more comments: 1. The algorithm is general in a set representation that is closed under linear map and Minkowski sum (e.g.,...
I think just explain how to construct a model (both continuous and hybrid). Maybe with the option to define a matrix manually and with loading a `.mat` file. (We could...
Yes, I think we can do that and then link to that part of the manual.
If it is not too difficult, it would be good to have a "generic" algorithm that we can then also instantiate with H-rep or other set representations for comparison. Should...
Reopening since #428 got closed. Especially the `DisplayAs` should help a lot.
This can potentially be fixed by passing the argument `modules = [ReachabilityAnalysis]` to `makedocs`.
For the record, this is the problem in this issue: ```julia julia> c = [-803.4493071473623, -350.84919017994514, 16.06939562995633, 8.10268294907005, 6.020000000000004]; julia> G = [22.3666 0.000478203 0.331469 0.000542754 0.0 -0.000422096 21.9606 -0.000997406...
I keep the branch in case we want to formulate problems in MOI directly.
I guess we can close this. We also have this phenomenon in other functions (that a stored vector etc. is returned and can be accidentally modified). It would be nice...