TMJets should check that the initial set dimension is compatible

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Closed mforets closed 4 years ago

mforets commented 4 years ago

cc: @SebastianGuadalupe

schillic commented 4 years ago

Maybe we should check this during the system normalization or in solve! (for all algorithms).