Christian Schilling
Christian Schilling
@blegat, do you generally agree or disagree?
That is exactly what I argued against. Yes, you can create a `HybridSystem` instance with mixed dimensions, but you can also create a differential equation `x' = (x < 5)...
Of course modeling can be slightly easier (although I would argue writing $\dot{x} = 0$ for unchanged dimensions is not super complicated), but the interpretation is much harder. I cannot...
Some people use these terms interchangeably. Personally I would say the `HybridAutomaton` is the mathematical model and `HybridSystem` is the real-world system, but I am not sure how accepted this...
This is about https://github.com/JuliaReach/RangeEnclosures.jl/blob/9a6d3408bd053b9448d2c3738ca17c6c7d728d6c/src/branchandbound.jl#L21
> NB: why i think that 3 is better than 2 is that you don't need to bother with small unions, `Union{Nothing, LazySet}`, since `LazySets.Universe` will take the role of...
With #189 this is not needed.
I prefer 2.
Add `ConstrainedControlMap` which can also constrain the input.
Thanks for working this out! Then there is nothing we can do for now and this should eventually get resolved when the new version is supported. I leave it to...