JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Normalize kwargs in solve API #624

Open mforets opened 5 years ago

mforets commented 5 years ago

Proposal: use the same convention in solve arguments for purely continuous systems and for hybrid systems with continuous dynamics, regarding argument names and keyword / positional arguments to specify the continuous/discrete post operators.