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

Use support function for box approximation with HPolygon #1178

Closed
schillic opened this issue Feb 28, 2019 · 0 comments
Closed

Use support function for box approximation with HPolygon #1178

schillic opened this issue Feb 28, 2019 · 0 comments
Assignees
@schillic
Labels
performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API

Comments

@schillic
Copy link
Member

Here we hard-code the definition of the support function via support vector. Instead, we should directly call the support function, which can be more efficient for some set types.

Can this also be extended to iterative refinement? That code is more involved...
@schillic schillic added performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API labels Feb 28, 2019
@schillic schillic self-assigned this Feb 28, 2019
@schillic schillic mentioned this issue Feb 28, 2019
Merged
schillic added a commit that referenced this issue Mar 1, 2019
@schillic
Merge pull request #1180 from JuliaReach/schillic/1178
589f9d4 
#1178 - Use support function for box approximation with HPolygon
@schillic schillic mentioned this issue Mar 2, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@schillic schillic

Labels
performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@schillic