Marcelo Forets

It crashes with an assertion error (radius must be nonnegative).

https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/hybrid/

As a first step we can try plotting the box overapproximation of the flowpipe. cc @dpsanders ideas: https://gist.github.com/mforets/e219588cf406b7eecb5ec920ad380a0a

See Lemma 2 in [1]. [1] http://stanleybak.com/papers/li2020formats.pdf

From `TransmissionLine.jl`: ```julia # ## Parametric uncertainties #md # !!! note "TODO" #md # Add results with ASB07 and interval parametric uncertainties. ```

Requires https://github.com/JuliaReach/LazySets.jl/issues/1453

The idea is to use the special structure of order 2 zonotopes with a block of 1-n generators that are arbitrary and another block of (n+1):2n generators that form a...

we can `concretize(...)` and convert to Singleton. requires https://github.com/JuliaReach/LazySets.jl/pull/2622