Reachability.jl
Reachability.jl copied to clipboard
Matrix exponential from Jordan form
See here. This could be fast if the matrix was already in Jordan form. Otherwise, it might suffer from numerical issues. Also note that the reals are not algebraically closed, but there is a real Jordan form.