The computation of bounds for the auxiliary variables c = v_f * v_t * cos(dt) and s = vf * vt * sin(dt) had bugs. This PR uses interval arithmetic to improve the robustness of these computations and adds tests.
Legal Acknowledgement
By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:
I agree my contributions are submitted under the BSD license.
I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.
Summary/Motivation:
The computation of bounds for the auxiliary variables
c = v_f * v_t * cos(dt)
ands = vf * vt * sin(dt)
had bugs. This PR uses interval arithmetic to improve the robustness of these computations and adds tests.Legal Acknowledgement
By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution: