search

JuliaReach / Reachability.jl

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

Reachability for LTI systems with interval matrices using zonotopes #639

Closed schillic closed 4 years ago

schillic commented 5 years ago

See Algorithm 1 in Reachability Analysis of Linear Systems with Uncertain Parameters and Inputs.