Skip to content
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

Jump to bottom

Overapproximation of the convex hull of zonotopes #1199

Closed
mforets opened this issue Mar 5, 2019 · 0 comments
Closed

Overapproximation of the convex hull of zonotopes #1199

mforets opened this issue Mar 5, 2019 · 0 comments
Assignees
@mforets
Labels
extension ⬆️ Extension of an existing feature

Comments

@mforets
Copy link
Member

mforets commented Mar 5, 2019

In the method function overapproximate(S::ConvexHull{N, Zonotope{N}, Zonotope{N}}, ::Type{<:Zonotope})::Zonotope where {N<:Real} it is required that the order of the zonotopes is the same.

Proposal: if the order is not the same, use order reduction and proceed.
@schillic schillic added the extension ⬆️ Extension of an existing feature label Mar 5, 2019
@mforets mforets mentioned this issue Mar 6, 2019
Merged
mforets added a commit that referenced this issue Mar 6, 2019
@mforets
Merge pull request #1205 from JuliaReach/mforets/1199
8708557 
#1199 - Add order reduction in overapproximation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mforets mforets

Labels
extension ⬆️ Extension of an existing feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@schillic @mforets