Christian Schilling
Christian Schilling
Add an option for trying to invert the matrix in the interpolation method (instead of the 3n×3n matrix computations).
In #488 we introduced the option `:combine_invariant_guard` to control the old behavior. The implementation manually performs a polyhedron intersection. We could rather use a concrete `intersection` from `LazySets`, which would...
Findings: * The "check" mode is not as efficient as for purely continuous systems because we still need to compute the flowpipe. However, this can be done lazily. The discrete-post...
See the state before [this commit](https://github.com/JuliaReach/ReachabilityBenchmarks/pull/42/commits/eb920fd619e5c21d0952cddf61ff578eeda49554) for the error.
When running the FOM model, the discrete-system creation fails with the following message. ```julia ERROR: MethodError: Cannot `convert` an object of type Array{Float64,2} to an object of type LazySets.SparseMatrixExp{Float64} ```
For instance for [`LazyDiscretePost`](https://github.com/JuliaReach/Reachability.jl/blob/master/src/ReachSets/DiscretePost/LazyDiscretePost.jl) we have default options in the inner constructor, but the outer constructors also set default options (but *different ones*). Default options should be set in one...
Follow-up of #230, where we already discussed a way to go (but #243 did not go that way in the end). History: * [x] #464 (introduced new data structures and...
We currently have the option `:mode` which can have the value `"reach"` or `"check"`. Actually, this option is redundant in the input: * If there is a property, then we...
This is a follow-up issue of #256. See https://github.com/JuliaReach/Reachability.jl/pull/228#issuecomment-426927132 and https://github.com/JuliaReach/Reachability.jl/pull/228#issuecomment-426954466 for the discussion. To have more exact time plots for hybrid systems, we should offer an option to include...
The option `:lazy_inputs_interval` accepts integers. Internally, we only work with functions, and we convert such integers to functions. Up to now, we either use lazy inputs for the whole time,...