Marcelo Forets

icon indicating a website link http://mforets.github.io icon indicating an email [email protected]

icon company Universidad de la República icon location Punta Ballena, Uruguay icon location Applied Mathematician | Software Engineer

Results 234 comments of Marcelo Forets

Lazy support function

Maybe ```julia struct SupportFunction{S

Zonotope overapproximation of zonotope-polyhedron intersection

somehow related reference: http://www-ljk.imag.fr/membres/Antoine.Girard/Publications/hscc2008b.pdf

Support function of lazy intersection via line search is not conservative

This issue is probably related to https://github.com/JuliaReach/LazySets.jl/issues/1348

Implement GJK algorithm

Thanks for the link! Interesting indeed.

Implement GJK algorithm

Other ref: https://swt.informatik.uni-freiburg.de/staff/bogom/resources/hscc2015-33

Implement GJK algorithm

Another reference: (contains a very nice tutorial) https://github.com/kroitor/gjk.c

Implement GJK algorithm

A Julia implementation: - https://github.com/JuliaRobotics/EnhancedGJK.jl - referenced from https://discourse.julialang.org/t/julia-interface-to-bullet-physics/12617/17

Implement GJK algorithm

That was not the end of the related packges, there is more :) - https://github.com/arlk/ConvexBodyProximityQueries.jl - https://github.com/arlk/CurveProximityQueries.jl

Implement GJK algorithm

This feature is now readily available through https://github.com/arlk/ConvexBodyProximityQueries.jl, which has LazySets as an optional dependency. Hence, i'll add the "documentation" tag for this issue so that searching for "GJK" etc...

Three-element overapproximation of the Minkowski sum of an intersection

It can be used for the overapproximation of the exact solution of the recurrence equation that appears in the discretization of `x'(t) = Ax(t) + Bu(t)` where `u(t)` is nondeterministic,...