Matrix exponential from Jordan form

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Matrix exponential from Jordan form #610

Open schillic opened 5 years ago

schillic commented 5 years ago

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.