Marcelo Forets

Polytopic overappoximation of a taylor model

1

Let `F = (p(x₀, t), I)` be an n-dimensional TM flowpipe, `x₀ ∈ X₀`, `t ∈ [0, δ]`. Given a set of template directions `d1, ..., dr` in Rn, we...

Constraints list should return a copy

4

I think that this is an odd behavior, and that `constraints_list(::HPoly)` should return a copy: ```julia julia> using LazySets [ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v1.1/LazySets/NjrGc.ji for LazySets [b4f0291d-fe17-52bc-9479-3d1a3 43d9043]...

WIP #1954 - In-place concrete translation

1

Closes #1954. To be outsourced to smaller PRs: * [x] balls * [x] Ellipsoid * [x] EmptySet * [ ] HPolygon * [ ] HalfSpace * [ ] Hyperrectangle *...

The current implementation stores `VPolygon` as a vector of arrays. For some use cases it is preferable to store the points as a matrix (where each column is a vertex)....

https://www.mpt3.org/ is a popular library for computational geometry and optimization. it would be nice to have a table comparing function names in MPT3 and in LazySets. in fact, here's a...

Choose display format for IA.Interval

1

Should we use `setformat(:standard)`?

We have `BoxDirections(4)` to create box dirs in dimension 4; sometimes we are interested to make the template cover a *subset* and the other variables remain unconstrained. What would be...

#1846 - WIP - Make unions a LazySet

2

Closes #1846. May close: - https://github.com/JuliaReach/LazySets.jl/issues/1738 - ~~https://github.com/JuliaReach/LazySets.jl/issues/1318~~

Closes #2543. Implements the hit and run algorithm. Still WIP (reasons marked with FIXME in the code) yet it works, see notebooks [1] and [2]. [1] https://github.com/mforets/escritoire/blob/master/2021/Week5/HitAndRun.ipynb [2] https://github.com/mforets/escritoire/blob/master/2021/Week5/HitAndRun_Implementation.ipynb ![Screenshot...

Convenience constructor for several unions

1

```julia julia> Interval(0, 1) ∪ Interval(2, 3) UnionSet{Float64, Interval{Float64, IntervalArithmetic.Interval{Float64}}, Interval{Float64, IntervalArithmetic.Interval{Float64}}}(Interval{Float64, IntervalArithmetic.Interval{Float64}}([0, 1]), Interval{Float64, IntervalArithmetic.Interval{Float64}}([2, 3])) julia> Interval(0, 1) ∪ Interval(2, 3) ∪ Interval(5, 6) ERROR: MethodError: no method...