Christian Schilling
Christian Schilling
In #228 we implemented the simple check for the hybrid setting.
Such an issue may even arise in non-Zeno systems. If the time step is too big, the transition may still be taken within the first time interval (and hence the...
I changed my mind here. This is probably the only way to support lazy flowpipes with lazy inputs. So it makes sense to keep it. However, it currently crashes during...
Yes, that is what I hope to do in JuliaReach/LazySets.jl#1209.
The problem came with https://github.com/JuliaReach/LazySets.jl/pull/472. We actually [mentioned this](https://github.com/JuliaReach/LazySets.jl/pull/472#issuecomment-410535564) :astonished: For the record, here are the versions to reproduce: | Package | old | new | |---|---|---| | `LazySets` |...
Continued in https://github.com/JuliaReach/LazySets.jl/pull/1037.
See [here](https://ths.rwth-aachen.de/wp-content/uploads/sites/4/hafer_bachelor.pdf) for how to apply transformations in the context of hybrid systems.
Okay, the more general way is to use `convert(VPolytope, X)` for polytopic sets `X`. You can use that instead of `tovrep`.
The zonotope has too many generators to be printed (shows `…`), so I cannot reproduce. Can you print `genmat(Z)` or, if even that is too big, print the matrix manually...
I cannot reproduce with this input. Maybe it is because the matrix printing just shows a few digits. ```julia julia> P = HPolytope( [HalfSpace([0.0, 1.0, 0.0, 0.0], -11.233049613656831), HalfSpace([0.0, 0.0,...