#730 - Combine linear maps in interval-matrix discretization - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

#730 - Combine linear maps in interval-matrix discretization #732

Closed schillic closed 4 years ago

schillic commented 4 years ago

Closes #730.

Further simplifications:

creation of identity interval matrix
outsourcing of common error code