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

Lazy flowpipe construction #479

Closed
schillic opened this issue Feb 20, 2019 · 3 comments · Fixed by #540
Closed

Lazy flowpipe construction #479

schillic opened this issue Feb 20, 2019 · 3 comments · Fixed by #540
Assignees
@schillic
Labels
feature performance

Comments

@schillic
Copy link
Member

Lazy flowpipes cannot be constructed at the moment.
(The option output_function != nothing does the job, but in the end still takes a box_approximation. But this should be refactored in #468 anyway.)
The way to go is probably to pass the identity function as the overapproximate function. This is best done while or after doing #471.
@schillic schillic mentioned this issue Feb 20, 2019
Open
@schillic schillic self-assigned this Mar 15, 2019
@schillic schillic mentioned this issue Mar 15, 2019
Merged
@schillic
Copy link
Member Author

Closed by #540.

@schillic schillic mentioned this issue Mar 16, 2019
Merged
@schillic
Copy link
Member Author

schillic commented Mar 16, 2019 •
edited
Loading

#544 fixes a bug.
Furthermore, the way we handle lazy inputs does not conform with a lazy flowpipe. I suggest to keep output_function (#468) but to fix the behavior (currently it crashes in the projection).
I keep this issue open as a reminder that things are not finished yet.

@schillic schillic reopened this Mar 16, 2019
@schillic
Copy link
Member Author

#547 fixed the crash.

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

@schillic schillic

Labels
feature performance
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add no-overapproximation option JuliaReach/Reachability.jl
1 participant
@schillic