Marcelo Forets

> Why reachability? Just evaluate A^k explicitly and symbolically. True, that shows a difference, but i don't know how *much* of that difference we need to observe a meaningful consequence...

Here is code to compare between the evaluation of the symbolic matrix (without post-processing) vs. normal interval matrix multiplication (the full code is in [this notebook](https://nbviewer.jupyter.org/github/mforets/escritoire/blob/master/2020/Week5/Week5.ipynb#Symbolic-interval-matrix-power)): ```julia # self-contained example...

see also branch `schillic/matrixset` in LazySets and https://dl.acm.org/doi/10.1145/3575870.3587130

but different modes can have different state space dimension, right? seems to me that there's no unique definition of global dim, in the general case.

`HybridAutomaton` does more closely reflect the implementation, in that sense i think it is a good idea to rename +1 But i don't have other implementations in mind, so i'm...

yep, i think it is not late to rename. one big consumer of this package is within the JuliaReach ecosystem, providing an interface to simulate hybrid systems @hurak feel free...

I've updated the description of this issue, feel free to comment about the plan.

Yes, I think we could have this as an example in the docs.

Thanks for trying the package @baggepinnen. I think the short answer is that the library doesn't yet have proper support for functions with branches (I suggest we add a comment...

> Not sure, if I understand the concept and the usage of Input in MathematicalSystems, We can probably improve the docs, I've commented [here](https://github.com/JuliaReach/MathematicalSystems.jl/issues/117#issuecomment-584616178). The idea is that this type...