Reachability.jl

Reachability.jl copied to clipboard

WIP #738 - Fix dev build

3

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.

schillic

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...

schillic

Remove option n

1

mforets

Dispatch on solve! for BFFPSV18

1

mforets

Add numeric type to Property types

1

schillic

LazySets now has concrete set types for the linear constraint array in the common polyhedral types. Also, the zonotope has type parameters for its center and generators matrix. In consequence,...

mforets

In https://github.com/JuliaReach/Reachability.jl/issues/516 we added discretization of a linear system using the matrix interval remainder for the case when `A` is an interval matrix. The same method applies if `A` is...

mforets

This is just a sandbox.

schillic

```julia ERROR: Unsatisfiable requirements detected for package TaylorIntegration [92b13dbe]: TaylorIntegration [92b13dbe] log: ├─possible versions are: [0.4.0-0.4.1, 0.5.0-0.5.1, 0.6.0-0.6.1, 0.7.0-0.7.1] or uninstalled ├─restricted to versions 0.7.0-0.7 by TaylorModels [314ce334], leaving only...

schillic

MethodError in hybrid system flowpipe construction

2

MWE: ```julia using TaylorIntegration, MathematicalSystems, HybridSystems, SparseArrays using Revise, Reachability function EMBrake_hibrid() # the state variables are: # [I, x, T, xe, xc] # model's constants L = 1.e-3; KP...

mforets