Christian Schilling
Christian Schilling
This is just a proof of concept for exact deterministic time-triggered switches without parameter variation.
Is the following expected? ```julia julia> using IntervalArithmetic julia> a = interval(-1, 1) [-1, 1] julia> a^2 # looks good [0, 1] julia> a = interval(-1//1, 1//1) [-1//1, 1//1] julia>...
The following example is a reduced version (I removed dimensions and vertices until the error vanishes) of a more complex input. ```julia using Polyhedra, JuMP, GLPK vP = [[-0.20301280791607568, 0.007131220483095747,...
I have a simple polyhedron `P` (below). The function `removevredundancy!` does not use the solver associated with `P` (as can be seen in the stack trace) and then crashes. The...
`chebyshevcenter` either calls `hchebyshevcenter` or `vchebyshevcenter` depending on the argument. However, according to the documentation, these two functions compute different things. https://github.com/JuliaPolyhedra/Polyhedra.jl/blob/00173cec89b318ec2d06b585e7b8510a91e130f6/src/center.jl#L5-L7 https://github.com/JuliaPolyhedra/Polyhedra.jl/blob/00173cec89b318ec2d06b585e7b8510a91e130f6/src/center.jl#L53-L55 According to [Wikipedia](https://en.wikipedia.org/wiki/Chebyshev_center), these two definitions are...
This shows some of the steps needed for #738. The main step that is missing is to support the new version of the `Taylor*` packages.
At least on my system the following test code crashes with a Julia bug (Unreachable reached, signal (4): Illegal instruction). https://github.com/JuliaReach/Reachability.jl/blob/6fb396dbb6f2780362e0960978492d845738517a/test/ReachSets/unit_discretization.jl#L151-L161 I tried to debug it and apparently there is...
This is just a sandbox.