MathematicalSystems.jl icon indicating copy to clipboard operation
MathematicalSystems.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Handle singleton case for IVPs macro

Open mforets opened this issue 5 years ago • 0 comments

Handle equality sign for the initial states, as in: @system(x' = -x, x(0) = x0).

Originally posted by @mforets in https://github.com/JuliaReach/MathematicalSystems.jl/pull/147

mforets avatar Feb 18 '20 01:02 mforets