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.

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

Incorrect flow for DI integrator with Affine/Sinusoidal/Piecewise approximation #198

Closed
lgeretti opened this issue Sep 19, 2018 · 2 comments
Assignees
Labels
bug Something isn't working solvers Solvers module

Comments

@lgeretti
Copy link
Member

lgeretti commented Sep 19, 2018

The Integrator interface assumes that flow_step returns the flow, which is partially evaluated to obtain the reach and evolve set. Unfortunately for a differential inclusion integrator using the Affine/Sinusoidal/Piecewise cases, we currently don't have a formula for a correct flow. Moreover, for the Piecewise case, we would need to be able to represent a piecewise continuous function.

@lgeretti lgeretti added bug Something isn't working dynamics Dynamics module solvers Solvers module labels Sep 19, 2018
@lgeretti lgeretti self-assigned this Sep 19, 2018
@lgeretti
Copy link
Member Author

For the time being, the DI evolver will rely on using a Zero or Constant approximation to return the correct reach set and eventually use the Affine/Sinusoidal/Piecewise approximation to get a more refined evolve set separately.

@lgeretti lgeretti changed the title Incorrect reach set for DI integrator with Affine/Sinusoidal/Piecewise approximation Incorrect flow for DI integrator with Affine/Sinusoidal/Piecewise approximation Sep 19, 2018
@lgeretti
Copy link
Member Author

Depends on #94

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working solvers Solvers module
Development

No branches or pull requests

1 participant