Christian Schilling
Christian Schilling
:warning: This PR should not be merged.
No, the new `Taylor*` packages are still not supported. This requires some code changes.
The FOM model uses the lazy matrix exponential during discretization. The problem here is the automatic conversion of the `B` matrix to the same type as `A`. (`B` does not...
The above was the property checking mode. The reachability mode with the same options instead takes minutes to run, and both bigger partition and lazy inputs make it slower.
> So the idea was to do lazy computations for the discretization and then transform to concrete ϕ in the iteration. Yes, this was the idea of a very naive...
These are the most obvious preconditions. 1. Define the input/output interface to `Reachability`. 2. `SetBasedRecurrences` should be independent of `Reachability`. Thus we need to break some dependencies. Here are some...
When adding this option, we should give more output feedback why the analysis terminated.
What is the difference to `N`?
The problem is that you swapped the order. It should be: ```julia check_aliases_and_add_default_value!(𝑂.dict, 𝑂copy.dict, [:lazy_R⋂I], false) ``` Sorry, I did not see this in your PR.
The problem is that `check_aliases_and_add_default_value!` was never meant to be used as a standalone function. The preferred way would be to create a new `Options` instance, merge the two instances,...