Christian Schilling
Christian Schilling
A scatter plot is easy for polytopes: ```julia julia> using LazySets, Plots julia> H = Hyperrectangle(zeros(3), ones(3)); julia> v = vertices_list(H); julia> plot([e[1] for e in v], [e[2] for e...
> In fact, as discussed in #2245, for half-spaces the interpretation is the same. ```julia julia> L = Line(ones(3), [1., 0., 1.]); julia> constrained_dimensions(L) # implementation in master 3-element Array{Int64,1}:...
A relatively straightforward solution would be to create a page in the documentation with doctests. We can pass [`hide`](https://juliadocs.github.io/Documenter.jl/dev/lib/public/#Documenter.hide) in `Documenter`'s `makedocs` command to not show this page in the...
Other possibilities, ordered by effort: * Add a new argument `normal_form::Bool` (or even `normal_form::FullDiagonal` if we want to add more normal forms later) to `cartesian_product`. * Add a dispatch on...
The problem is with the order of the operands. We choose to iterate the constraints of the second set. One option is to do it symmetrically. https://github.com/JuliaReach/LazySets.jl/blob/e46871a72fd5c9a8ee3d2d76d6d1d506fc22ffb1/src/LazyOperations/Intersection.jl#L454-L455 ```julia julia> W...
Two more papers that are cited in the paper we got our implementation from: * W. Kühn, Zonotope dynamics in numerical quality control, in Mathematical Visualization, H.-C. Hege, K. Polthier...
[A comparison of several reduction techniques](https://www.researchgate.net/profile/Xuejiao-Yang-3/publication/327372765_A_comparison_of_zonotope_order_reduction_techniques/links/5c8943a292851c1df93fee6c/A-comparison-of-zonotope-order-reduction-techniques.pdf)
What happens here is that the approximation tries to compute the intersection of two line segments that are considered identical, so the result is not a point but a line...
Yeah, I would say that we should add a new type (possibly also called `IntervalBox`). Otherwise we would have to change all implementations, because [`IntervalArithmetic.IntervalBox` represents the set as a...
> for support function computations it is better to have the center and radius representation though. I am not sure. You have to look at the sign of each dimension...