New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Underapproximating reach sets #336

Open

mforets opened this issue Jul 12, 2018 · 1 comment

Labels

Member

mforets commented Jul 12, 2018 •

edited

Loading

Reachability with underapproximation instead of overapproximation.

Linear:

Nonlinear:

Member

schillic commented Jul 13, 2018 •

edited

Loading

Nonlinear: http:https://lcs.ios.ac.cn/~znj/papers/HSCC2018b.pdf
(If I remember correctly, the approach can also be used to obtain an overapproximation.)
Generalization to systems with inputs: Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties
Taylor models: https://www.cs.colorado.edu/~xich8622/papers/fmcad14.pdf
Inner and outer approximating flowpipes for delay differential equations
Inner and outer reachability for the verification of control systems
Robust under-approximations and application to reachability of non-linear control systems with disturbances (presentation)

mforets transferred this issue from JuliaReach/Reachability.jl

mforets added the algorithm label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment