search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Use exact quadratic expansion in discretization of interval matrix #677

Open mforets opened 4 years ago

mforets commented 4 years ago

The paper suggests to adapt Lemma 1 to be used in the construction of the discretized operator.

However it is not straightforward; see this comment.