Marcelo Forets

Add overapproximation dispatches on lazy intersections

1

```julia overapproximate(rand(HPolygon) ∩ rand(Ball2), 1e-3) the exact support vector of an intersection is not implemented Stacktrace: [1] error(::String) at ./error.jl:33 [2] σ(::Array{Float64,1}, ::Intersection{Float64,HPolygon{Float64,Array{Float64,1}},Ball2{Float64,Array{Float64,1}}}) at /home/mforets/.julia/dev/LazySets/src/LazyOperations/Intersection.jl:217 [3] _approximate(::Intersection{Float64,HPolygon{Float64,Array{Float64,1}},Ball2{Float64,Array{Float64,1}}}, ::Float64) at /home/mforets/.julia/dev/LazySets/src/Approximations/iterative_refinement.jl:204...

Plotting an array of polytopes doesn't work out of the box: ```julia using LazySets, Polyhedra, GLMakie H = [rand(Hyperrectangle, dim=3) for _ in 1:3]; plot3d(H) # errors ``` compare to...

```julia LazySets.set_ztol(Float64, 1e-15) LazySets.set_rtol(Float64, 1e-15) LazySets.set_atol(Float64, 1e-15) julia> B = BallInf(ones(2), 1e-10) BallInf{Float64, Vector{Float64}}([1.0, 1.0], 1.0e-10) julia> v = vertices_list(B); convex_hull(v) 2-element Vector{Vector{Float64}}: [1.0000000001, 1.0000000001] [0.9999999999, 0.9999999999] julia> convex_hull(vcat(v, v))...

Concrete cartesian product of zonotopes in standard form

1

If Z is an n-dimensional zonotope of order 2, we say that it is in standard form if its generators matrix is `G = [M D]` with M and D...

see eg. def 9 in https://hal.archives-ouvertes.fr/hal-03048155/document

eg. `boundary` of a `BallInf` should return a union of line segments, or the boundary of a `Ball2` should return a level set (or a `Circle`).

#2245 - Add constrained dimensions of a line

2

Closes https://github.com/JuliaReach/LazySets.jl/issues/2245. --- Adding #2245 as i had done it already. Here the interpretation of a "constrained dimension" is that the set is bounded along the i-the dimension, otherwise it...

Documentation enhancement proposal

2

A thorough revision of the "Manual" section of the documentation is needed. There is no transition between the different sections and some important features are only found in the Library...

See ideas are in https://github.com/JuliaReach/LazySets.jl/pull/2132

You can also add `HPolygonOpt` to the `Union`. How about we define the abbreviation `Hrep` or `HRep` or `HREP` as in ```julia const HREP = Union{HPoly, HPolygon, HPolygonOpt} ``` and...