Paparazzi UAS  v5.12_stable-4-g9b43e9b
Paparazzi is a free software Unmanned Aircraft System.
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
pprz_algebra_float.c
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2008-2014 The Paparazzi Team
3  *
4  * This file is part of paparazzi.
5  *
6  * paparazzi is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2, or (at your option)
9  * any later version.
10  *
11  * paparazzi is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with paparazzi; see the file COPYING. If not, see
18  * <http://www.gnu.org/licenses/>.
19  */
20 
27 #include "pprz_algebra_float.h"
28 
30 void float_vect3_integrate_fi(struct FloatVect3 *vec, struct FloatVect3 *dv, float dt)
31 {
32  vec->x += dv->x * dt;
33  vec->y += dv->y * dt;
34  vec->z += dv->z * dt;
35 }
36 
38 void float_rates_integrate_fi(struct FloatRates *r, struct FloatRates *dr, float dt)
39 {
40  r->p += dr->p * dt;
41  r->q += dr->q * dt;
42  r->r += dr->r * dt;
43 }
44 
45 void float_rates_of_euler_dot(struct FloatRates *r, struct FloatEulers *e, struct FloatEulers *edot)
46 {
47  r->p = edot->phi - sinf(e->theta) * edot->psi;
48  r->q = cosf(e->phi) * edot->theta + sinf(e->phi) * cosf(e->theta) * edot->psi;
49  r->r = -sinf(e->phi) * edot->theta + cosf(e->phi) * cosf(e->theta) * edot->psi;
50 }
51 
52 
53 
54 
55 void float_rmat_inv(struct FloatRMat *m_b2a, struct FloatRMat *m_a2b)
56 {
57  RMAT_ELMT(*m_b2a, 0, 0) = RMAT_ELMT(*m_a2b, 0, 0);
58  RMAT_ELMT(*m_b2a, 0, 1) = RMAT_ELMT(*m_a2b, 1, 0);
59  RMAT_ELMT(*m_b2a, 0, 2) = RMAT_ELMT(*m_a2b, 2, 0);
60  RMAT_ELMT(*m_b2a, 1, 0) = RMAT_ELMT(*m_a2b, 0, 1);
61  RMAT_ELMT(*m_b2a, 1, 1) = RMAT_ELMT(*m_a2b, 1, 1);
62  RMAT_ELMT(*m_b2a, 1, 2) = RMAT_ELMT(*m_a2b, 2, 1);
63  RMAT_ELMT(*m_b2a, 2, 0) = RMAT_ELMT(*m_a2b, 0, 2);
64  RMAT_ELMT(*m_b2a, 2, 1) = RMAT_ELMT(*m_a2b, 1, 2);
65  RMAT_ELMT(*m_b2a, 2, 2) = RMAT_ELMT(*m_a2b, 2, 2);
66 }
67 
68 float float_rmat_norm(struct FloatRMat *rm)
69 {
70  return sqrtf(SQUARE(rm->m[0]) + SQUARE(rm->m[1]) + SQUARE(rm->m[2]) +
71  SQUARE(rm->m[3]) + SQUARE(rm->m[4]) + SQUARE(rm->m[5]) +
72  SQUARE(rm->m[6]) + SQUARE(rm->m[7]) + SQUARE(rm->m[8]));
73 }
74 
78 void float_rmat_comp(struct FloatRMat *m_a2c, struct FloatRMat *m_a2b, struct FloatRMat *m_b2c)
79 {
80  m_a2c->m[0] = m_b2c->m[0] * m_a2b->m[0] + m_b2c->m[1] * m_a2b->m[3] + m_b2c->m[2] * m_a2b->m[6];
81  m_a2c->m[1] = m_b2c->m[0] * m_a2b->m[1] + m_b2c->m[1] * m_a2b->m[4] + m_b2c->m[2] * m_a2b->m[7];
82  m_a2c->m[2] = m_b2c->m[0] * m_a2b->m[2] + m_b2c->m[1] * m_a2b->m[5] + m_b2c->m[2] * m_a2b->m[8];
83  m_a2c->m[3] = m_b2c->m[3] * m_a2b->m[0] + m_b2c->m[4] * m_a2b->m[3] + m_b2c->m[5] * m_a2b->m[6];
84  m_a2c->m[4] = m_b2c->m[3] * m_a2b->m[1] + m_b2c->m[4] * m_a2b->m[4] + m_b2c->m[5] * m_a2b->m[7];
85  m_a2c->m[5] = m_b2c->m[3] * m_a2b->m[2] + m_b2c->m[4] * m_a2b->m[5] + m_b2c->m[5] * m_a2b->m[8];
86  m_a2c->m[6] = m_b2c->m[6] * m_a2b->m[0] + m_b2c->m[7] * m_a2b->m[3] + m_b2c->m[8] * m_a2b->m[6];
87  m_a2c->m[7] = m_b2c->m[6] * m_a2b->m[1] + m_b2c->m[7] * m_a2b->m[4] + m_b2c->m[8] * m_a2b->m[7];
88  m_a2c->m[8] = m_b2c->m[6] * m_a2b->m[2] + m_b2c->m[7] * m_a2b->m[5] + m_b2c->m[8] * m_a2b->m[8];
89 }
90 
94 void float_rmat_comp_inv(struct FloatRMat *m_a2b, struct FloatRMat *m_a2c, struct FloatRMat *m_b2c)
95 {
96  m_a2b->m[0] = m_b2c->m[0] * m_a2c->m[0] + m_b2c->m[3] * m_a2c->m[3] + m_b2c->m[6] * m_a2c->m[6];
97  m_a2b->m[1] = m_b2c->m[0] * m_a2c->m[1] + m_b2c->m[3] * m_a2c->m[4] + m_b2c->m[6] * m_a2c->m[7];
98  m_a2b->m[2] = m_b2c->m[0] * m_a2c->m[2] + m_b2c->m[3] * m_a2c->m[5] + m_b2c->m[6] * m_a2c->m[8];
99  m_a2b->m[3] = m_b2c->m[1] * m_a2c->m[0] + m_b2c->m[4] * m_a2c->m[3] + m_b2c->m[7] * m_a2c->m[6];
100  m_a2b->m[4] = m_b2c->m[1] * m_a2c->m[1] + m_b2c->m[4] * m_a2c->m[4] + m_b2c->m[7] * m_a2c->m[7];
101  m_a2b->m[5] = m_b2c->m[1] * m_a2c->m[2] + m_b2c->m[4] * m_a2c->m[5] + m_b2c->m[7] * m_a2c->m[8];
102  m_a2b->m[6] = m_b2c->m[2] * m_a2c->m[0] + m_b2c->m[5] * m_a2c->m[3] + m_b2c->m[8] * m_a2c->m[6];
103  m_a2b->m[7] = m_b2c->m[2] * m_a2c->m[1] + m_b2c->m[5] * m_a2c->m[4] + m_b2c->m[8] * m_a2c->m[7];
104  m_a2b->m[8] = m_b2c->m[2] * m_a2c->m[2] + m_b2c->m[5] * m_a2c->m[5] + m_b2c->m[8] * m_a2c->m[8];
105 }
106 
110 void float_rmat_vmult(struct FloatVect3 *vb, struct FloatRMat *m_a2b, struct FloatVect3 *va)
111 {
112  vb->x = m_a2b->m[0] * va->x + m_a2b->m[1] * va->y + m_a2b->m[2] * va->z;
113  vb->y = m_a2b->m[3] * va->x + m_a2b->m[4] * va->y + m_a2b->m[5] * va->z;
114  vb->z = m_a2b->m[6] * va->x + m_a2b->m[7] * va->y + m_a2b->m[8] * va->z;
115 }
116 
120 void float_rmat_transp_vmult(struct FloatVect3 *vb, struct FloatRMat *m_b2a, struct FloatVect3 *va)
121 {
122  vb->x = m_b2a->m[0] * va->x + m_b2a->m[3] * va->y + m_b2a->m[6] * va->z;
123  vb->y = m_b2a->m[1] * va->x + m_b2a->m[4] * va->y + m_b2a->m[7] * va->z;
124  vb->z = m_b2a->m[2] * va->x + m_b2a->m[5] * va->y + m_b2a->m[8] * va->z;
125 }
126 
130 void float_rmat_mult(struct FloatEulers *rb, struct FloatRMat *m_a2b, struct FloatEulers *ra)
131 {
132  rb->phi = m_a2b->m[0] * ra->phi + m_a2b->m[1] * ra->theta + m_a2b->m[2] * ra->psi;
133  rb->theta = m_a2b->m[3] * ra->phi + m_a2b->m[4] * ra->theta + m_a2b->m[5] * ra->psi;
134  rb->psi = m_a2b->m[6] * ra->phi + m_a2b->m[7] * ra->theta + m_a2b->m[8] * ra->psi;
135 }
136 
140 void float_rmat_transp_mult(struct FloatEulers *rb, struct FloatRMat *m_b2a, struct FloatEulers *ra)
141 {
142  rb->phi = m_b2a->m[0] * ra->phi + m_b2a->m[3] * ra->theta + m_b2a->m[6] * ra->psi;
143  rb->theta = m_b2a->m[1] * ra->phi + m_b2a->m[4] * ra->theta + m_b2a->m[7] * ra->psi;
144  rb->psi = m_b2a->m[2] * ra->phi + m_b2a->m[5] * ra->theta + m_b2a->m[8] * ra->psi;
145 }
146 
150 void float_rmat_ratemult(struct FloatRates *rb, struct FloatRMat *m_a2b, struct FloatRates *ra)
151 {
152  rb->p = m_a2b->m[0] * ra->p + m_a2b->m[1] * ra->q + m_a2b->m[2] * ra->r;
153  rb->q = m_a2b->m[3] * ra->p + m_a2b->m[4] * ra->q + m_a2b->m[5] * ra->r;
154  rb->r = m_a2b->m[6] * ra->p + m_a2b->m[7] * ra->q + m_a2b->m[8] * ra->r;
155 }
156 
160 void float_rmat_transp_ratemult(struct FloatRates *rb, struct FloatRMat *m_b2a, struct FloatRates *ra)
161 {
162  rb->p = m_b2a->m[0] * ra->p + m_b2a->m[3] * ra->q + m_b2a->m[6] * ra->r;
163  rb->q = m_b2a->m[1] * ra->p + m_b2a->m[4] * ra->q + m_b2a->m[7] * ra->r;
164  rb->r = m_b2a->m[2] * ra->p + m_b2a->m[5] * ra->q + m_b2a->m[8] * ra->r;
165 }
166 
167 
169 void float_rmat_of_axis_angle(struct FloatRMat *rm, struct FloatVect3 *uv, float angle)
170 {
171  const float ux2 = uv->x * uv->x;
172  const float uy2 = uv->y * uv->y;
173  const float uz2 = uv->z * uv->z;
174  const float uxuy = uv->x * uv->y;
175  const float uyuz = uv->y * uv->z;
176  const float uxuz = uv->x * uv->z;
177  const float can = cosf(angle);
178  const float san = sinf(angle);
179  const float one_m_can = (1. - can);
180 
181  RMAT_ELMT(*rm, 0, 0) = ux2 + (1. - ux2) * can;
182  RMAT_ELMT(*rm, 0, 1) = uxuy * one_m_can + uv->z * san;
183  RMAT_ELMT(*rm, 0, 2) = uxuz * one_m_can - uv->y * san;
184  RMAT_ELMT(*rm, 1, 0) = RMAT_ELMT(*rm, 0, 1);
185  RMAT_ELMT(*rm, 1, 1) = uy2 + (1. - uy2) * can;
186  RMAT_ELMT(*rm, 1, 2) = uyuz * one_m_can + uv->x * san;
187  RMAT_ELMT(*rm, 2, 0) = RMAT_ELMT(*rm, 0, 2);
188  RMAT_ELMT(*rm, 2, 1) = RMAT_ELMT(*rm, 1, 2);
189  RMAT_ELMT(*rm, 2, 2) = uz2 + (1. - uz2) * can;
190 }
191 
192 
193 /* C n->b rotation matrix */
194 void float_rmat_of_eulers_321(struct FloatRMat *rm, struct FloatEulers *e)
195 {
196  const float sphi = sinf(e->phi);
197  const float cphi = cosf(e->phi);
198  const float stheta = sinf(e->theta);
199  const float ctheta = cosf(e->theta);
200  const float spsi = sinf(e->psi);
201  const float cpsi = cosf(e->psi);
202 
203  RMAT_ELMT(*rm, 0, 0) = ctheta * cpsi;
204  RMAT_ELMT(*rm, 0, 1) = ctheta * spsi;
205  RMAT_ELMT(*rm, 0, 2) = -stheta;
206  RMAT_ELMT(*rm, 1, 0) = sphi * stheta * cpsi - cphi * spsi;
207  RMAT_ELMT(*rm, 1, 1) = sphi * stheta * spsi + cphi * cpsi;
208  RMAT_ELMT(*rm, 1, 2) = sphi * ctheta;
209  RMAT_ELMT(*rm, 2, 0) = cphi * stheta * cpsi + sphi * spsi;
210  RMAT_ELMT(*rm, 2, 1) = cphi * stheta * spsi - sphi * cpsi;
211  RMAT_ELMT(*rm, 2, 2) = cphi * ctheta;
212 }
213 
214 void float_rmat_of_eulers_312(struct FloatRMat *rm, struct FloatEulers *e)
215 {
216  const float sphi = sinf(e->phi);
217  const float cphi = cosf(e->phi);
218  const float stheta = sinf(e->theta);
219  const float ctheta = cosf(e->theta);
220  const float spsi = sinf(e->psi);
221  const float cpsi = cosf(e->psi);
222 
223  RMAT_ELMT(*rm, 0, 0) = ctheta * cpsi - sphi * stheta * spsi;
224  RMAT_ELMT(*rm, 0, 1) = ctheta * spsi + sphi * stheta * cpsi;
225  RMAT_ELMT(*rm, 0, 2) = -cphi * stheta;
226  RMAT_ELMT(*rm, 1, 0) = -cphi * spsi;
227  RMAT_ELMT(*rm, 1, 1) = cphi * cpsi;
228  RMAT_ELMT(*rm, 1, 2) = sphi;
229  RMAT_ELMT(*rm, 2, 0) = stheta * cpsi + sphi * ctheta * spsi;
230  RMAT_ELMT(*rm, 2, 1) = stheta * spsi - sphi * ctheta * cpsi;
231  RMAT_ELMT(*rm, 2, 2) = cphi * ctheta;
232 }
233 
234 
235 /* C n->b rotation matrix */
236 void float_rmat_of_quat(struct FloatRMat *rm, struct FloatQuat *q)
237 {
238  const float _a = M_SQRT2 * q->qi;
239  const float _b = M_SQRT2 * q->qx;
240  const float _c = M_SQRT2 * q->qy;
241  const float _d = M_SQRT2 * q->qz;
242  const float a2_1 = _a * _a - 1;
243  const float ab = _a * _b;
244  const float ac = _a * _c;
245  const float ad = _a * _d;
246  const float bc = _b * _c;
247  const float bd = _b * _d;
248  const float cd = _c * _d;
249  RMAT_ELMT(*rm, 0, 0) = a2_1 + _b * _b;
250  RMAT_ELMT(*rm, 0, 1) = bc + ad;
251  RMAT_ELMT(*rm, 0, 2) = bd - ac;
252  RMAT_ELMT(*rm, 1, 0) = bc - ad;
253  RMAT_ELMT(*rm, 1, 1) = a2_1 + _c * _c;
254  RMAT_ELMT(*rm, 1, 2) = cd + ab;
255  RMAT_ELMT(*rm, 2, 0) = bd + ac;
256  RMAT_ELMT(*rm, 2, 1) = cd - ab;
257  RMAT_ELMT(*rm, 2, 2) = a2_1 + _d * _d;
258 }
259 
261 void float_rmat_integrate_fi(struct FloatRMat *rm, struct FloatRates *omega, float dt)
262 {
263  struct FloatRMat exp_omega_dt = {
264  {
265  1. , dt *omega->r, -dt *omega->q,
266  -dt *omega->r, 1. , dt *omega->p,
267  dt *omega->q, -dt *omega->p, 1.
268  }
269  };
270  struct FloatRMat R_tdt;
271  float_rmat_comp(&R_tdt, rm, &exp_omega_dt);
272  memcpy(rm, &R_tdt, sizeof(R_tdt));
273 }
274 
275 static inline float renorm_factor(float n)
276 {
277  if (n < 1.5625f && n > 0.64f) {
278  return .5 * (3 - n);
279  } else if (n < 100.0f && n > 0.01f) {
280  return 1. / sqrtf(n);
281  } else {
282  return 0.;
283  }
284 }
285 
287 {
288  const struct FloatVect3 r0 = {RMAT_ELMT(*rm, 0, 0),
289  RMAT_ELMT(*rm, 0, 1),
290  RMAT_ELMT(*rm, 0, 2)
291  };
292  const struct FloatVect3 r1 = {RMAT_ELMT(*rm, 1, 0),
293  RMAT_ELMT(*rm, 1, 1),
294  RMAT_ELMT(*rm, 1, 2)
295  };
296  float _err = -0.5 * VECT3_DOT_PRODUCT(r0, r1);
297  struct FloatVect3 r0_t;
298  VECT3_SUM_SCALED(r0_t, r0, r1, _err);
299  struct FloatVect3 r1_t;
300  VECT3_SUM_SCALED(r1_t, r1, r0, _err);
301  struct FloatVect3 r2_t;
302  VECT3_CROSS_PRODUCT(r2_t, r0_t, r1_t);
303  float s = renorm_factor(VECT3_NORM2(r0_t));
304  MAT33_ROW_VECT3_SMUL(*rm, 0, r0_t, s);
305  s = renorm_factor(VECT3_NORM2(r1_t));
306  MAT33_ROW_VECT3_SMUL(*rm, 1, r1_t, s);
307  s = renorm_factor(VECT3_NORM2(r2_t));
308  MAT33_ROW_VECT3_SMUL(*rm, 2, r2_t, s);
309 
310  return _err;
311 }
312 
313 
314 /*
315  *
316  * Quaternion functions.
317  *
318  */
319 
320 void float_quat_comp(struct FloatQuat *a2c, struct FloatQuat *a2b, struct FloatQuat *b2c)
321 {
322  a2c->qi = a2b->qi * b2c->qi - a2b->qx * b2c->qx - a2b->qy * b2c->qy - a2b->qz * b2c->qz;
323  a2c->qx = a2b->qi * b2c->qx + a2b->qx * b2c->qi + a2b->qy * b2c->qz - a2b->qz * b2c->qy;
324  a2c->qy = a2b->qi * b2c->qy - a2b->qx * b2c->qz + a2b->qy * b2c->qi + a2b->qz * b2c->qx;
325  a2c->qz = a2b->qi * b2c->qz + a2b->qx * b2c->qy - a2b->qy * b2c->qx + a2b->qz * b2c->qi;
326 }
327 
328 void float_quat_comp_inv(struct FloatQuat *a2b, struct FloatQuat *a2c, struct FloatQuat *b2c)
329 {
330  a2b->qi = a2c->qi * b2c->qi + a2c->qx * b2c->qx + a2c->qy * b2c->qy + a2c->qz * b2c->qz;
331  a2b->qx = -a2c->qi * b2c->qx + a2c->qx * b2c->qi - a2c->qy * b2c->qz + a2c->qz * b2c->qy;
332  a2b->qy = -a2c->qi * b2c->qy + a2c->qx * b2c->qz + a2c->qy * b2c->qi - a2c->qz * b2c->qx;
333  a2b->qz = -a2c->qi * b2c->qz - a2c->qx * b2c->qy + a2c->qy * b2c->qx + a2c->qz * b2c->qi;
334 }
335 
336 void float_quat_inv_comp(struct FloatQuat *b2c, struct FloatQuat *a2b, struct FloatQuat *a2c)
337 {
338  b2c->qi = a2b->qi * a2c->qi + a2b->qx * a2c->qx + a2b->qy * a2c->qy + a2b->qz * a2c->qz;
339  b2c->qx = a2b->qi * a2c->qx - a2b->qx * a2c->qi - a2b->qy * a2c->qz + a2b->qz * a2c->qy;
340  b2c->qy = a2b->qi * a2c->qy + a2b->qx * a2c->qz - a2b->qy * a2c->qi - a2b->qz * a2c->qx;
341  b2c->qz = a2b->qi * a2c->qz - a2b->qx * a2c->qy + a2b->qy * a2c->qx - a2b->qz * a2c->qi;
342 }
343 
344 void float_quat_comp_norm_shortest(struct FloatQuat *a2c, struct FloatQuat *a2b, struct FloatQuat *b2c)
345 {
346  float_quat_comp(a2c, a2b, b2c);
349 }
350 
351 void float_quat_comp_inv_norm_shortest(struct FloatQuat *a2b, struct FloatQuat *a2c, struct FloatQuat *b2c)
352 {
353  float_quat_comp_inv(a2b, a2c, b2c);
356 }
357 
358 void float_quat_inv_comp_norm_shortest(struct FloatQuat *b2c, struct FloatQuat *a2b, struct FloatQuat *a2c)
359 {
360  float_quat_inv_comp(b2c, a2b, a2c);
363 }
364 
365 void float_quat_differential(struct FloatQuat *q_out, struct FloatRates *w, float dt)
366 {
367  const float v_norm = sqrtf(w->p * w->p + w->q * w->q + w->r * w->r);
368  const float c2 = cos(dt * v_norm / 2.0);
369  const float s2 = sin(dt * v_norm / 2.0);
370  if (v_norm < 1e-8) {
371  q_out->qi = 1;
372  q_out->qx = 0;
373  q_out->qy = 0;
374  q_out->qz = 0;
375  } else {
376  q_out->qi = c2;
377  q_out->qx = w->p / v_norm * s2;
378  q_out->qy = w->q / v_norm * s2;
379  q_out->qz = w->r / v_norm * s2;
380  }
381 }
382 
384 void float_quat_integrate_fi(struct FloatQuat *q, struct FloatRates *omega, float dt)
385 {
386  const float qi = q->qi;
387  const float qx = q->qx;
388  const float qy = q->qy;
389  const float qz = q->qz;
390  const float dp = 0.5 * dt * omega->p;
391  const float dq = 0.5 * dt * omega->q;
392  const float dr = 0.5 * dt * omega->r;
393  q->qi = qi - dp * qx - dq * qy - dr * qz;
394  q->qx = dp * qi + qx + dr * qy - dq * qz;
395  q->qy = dq * qi - dr * qx + qy + dp * qz;
396  q->qz = dr * qi + dq * qx - dp * qy + qz;
397 }
398 
400 void float_quat_integrate(struct FloatQuat *q, struct FloatRates *omega, float dt)
401 {
402  const float no = FLOAT_RATES_NORM(*omega);
403  if (no > FLT_MIN) {
404  const float a = 0.5 * no * dt;
405  const float ca = cosf(a);
406  const float sa_ov_no = sinf(a) / no;
407  const float dp = sa_ov_no * omega->p;
408  const float dq = sa_ov_no * omega->q;
409  const float dr = sa_ov_no * omega->r;
410  const float qi = q->qi;
411  const float qx = q->qx;
412  const float qy = q->qy;
413  const float qz = q->qz;
414  q->qi = ca * qi - dp * qx - dq * qy - dr * qz;
415  q->qx = dp * qi + ca * qx + dr * qy - dq * qz;
416  q->qy = dq * qi - dr * qx + ca * qy + dp * qz;
417  q->qz = dr * qi + dq * qx - dp * qy + ca * qz;
418  }
419 }
420 
421 void float_quat_vmult(struct FloatVect3 *v_out, struct FloatQuat *q, const struct FloatVect3 *v_in)
422 {
423  const float qi2_M1_2 = q->qi * q->qi - 0.5;
424  const float qiqx = q->qi * q->qx;
425  const float qiqy = q->qi * q->qy;
426  const float qiqz = q->qi * q->qz;
427  float m01 = q->qx * q->qy; /* aka qxqy */
428  float m02 = q->qx * q->qz; /* aka qxqz */
429  float m12 = q->qy * q->qz; /* aka qyqz */
430 
431  const float m00 = qi2_M1_2 + q->qx * q->qx;
432  const float m10 = m01 - qiqz;
433  const float m20 = m02 + qiqy;
434  const float m21 = m12 - qiqx;
435  m01 += qiqz;
436  m02 -= qiqy;
437  m12 += qiqx;
438  const float m11 = qi2_M1_2 + q->qy * q->qy;
439  const float m22 = qi2_M1_2 + q->qz * q->qz;
440  v_out->x = 2 * (m00 * v_in->x + m01 * v_in->y + m02 * v_in->z);
441  v_out->y = 2 * (m10 * v_in->x + m11 * v_in->y + m12 * v_in->z);
442  v_out->z = 2 * (m20 * v_in->x + m21 * v_in->y + m22 * v_in->z);
443 }
444 
450 void float_quat_derivative(struct FloatQuat *qd, struct FloatRates *r, struct FloatQuat *q)
451 {
452  qd->qi = -0.5 * (r->p * q->qx + r->q * q->qy + r->r * q->qz);
453  qd->qx = -0.5 * (-r->p * q->qi - r->r * q->qy + r->q * q->qz);
454  qd->qy = -0.5 * (-r->q * q->qi + r->r * q->qx - r->p * q->qz);
455  qd->qz = -0.5 * (-r->r * q->qi - r->q * q->qx + r->p * q->qy);
456 }
457 
461 void float_quat_derivative_lagrange(struct FloatQuat *qd, struct FloatRates *r, struct FloatQuat *q)
462 {
463  const float K_LAGRANGE = 1.;
464  const float c = K_LAGRANGE * (1 - float_quat_norm(q)) / -0.5;
465  qd->qi = -0.5 * (c * q->qi + r->p * q->qx + r->q * q->qy + r->r * q->qz);
466  qd->qx = -0.5 * (-r->p * q->qi + c * q->qx - r->r * q->qy + r->q * q->qz);
467  qd->qy = -0.5 * (-r->q * q->qi + r->r * q->qx + c * q->qy - r->p * q->qz);
468  qd->qz = -0.5 * (-r->r * q->qi - r->q * q->qx + r->p * q->qy + c * q->qz);
469 }
470 
471 void float_quat_of_eulers(struct FloatQuat *q, struct FloatEulers *e)
472 {
473 
474  const float phi2 = e->phi / 2.0;
475  const float theta2 = e->theta / 2.0;
476  const float psi2 = e->psi / 2.0;
477 
478  const float s_phi2 = sinf(phi2);
479  const float c_phi2 = cosf(phi2);
480  const float s_theta2 = sinf(theta2);
481  const float c_theta2 = cosf(theta2);
482  const float s_psi2 = sinf(psi2);
483  const float c_psi2 = cosf(psi2);
484 
485  q->qi = c_phi2 * c_theta2 * c_psi2 + s_phi2 * s_theta2 * s_psi2;
486  q->qx = -c_phi2 * s_theta2 * s_psi2 + s_phi2 * c_theta2 * c_psi2;
487  q->qy = c_phi2 * s_theta2 * c_psi2 + s_phi2 * c_theta2 * s_psi2;
488  q->qz = c_phi2 * c_theta2 * s_psi2 - s_phi2 * s_theta2 * c_psi2;
489 }
490 
491 void float_quat_of_axis_angle(struct FloatQuat *q, const struct FloatVect3 *uv, float angle)
492 {
493  const float san = sinf(angle / 2.);
494  q->qi = cosf(angle / 2.);
495  q->qx = san * uv->x;
496  q->qy = san * uv->y;
497  q->qz = san * uv->z;
498 }
499 
500 void float_quat_of_orientation_vect(struct FloatQuat *q, const struct FloatVect3 *ov)
501 {
502  const float ov_norm = sqrtf(ov->x * ov->x + ov->y * ov->y + ov->z * ov->z);
503  if (ov_norm < 1e-8) {
504  q->qi = 1;
505  q->qx = 0;
506  q->qy = 0;
507  q->qz = 0;
508  } else {
509  const float s2_normalized = sinf(ov_norm / 2.0) / ov_norm;
510  q->qi = cosf(ov_norm / 2.0);
511  q->qx = ov->x * s2_normalized;
512  q->qy = ov->y * s2_normalized;
513  q->qz = ov->z * s2_normalized;
514  }
515 }
516 
517 void float_quat_of_rmat(struct FloatQuat *q, struct FloatRMat *rm)
518 {
519  const float tr = RMAT_TRACE(*rm);
520  if (tr > 0) {
521  const float two_qi = sqrtf(1. + tr);
522  const float four_qi = 2. * two_qi;
523  q->qi = 0.5 * two_qi;
524  q->qx = (RMAT_ELMT(*rm, 1, 2) - RMAT_ELMT(*rm, 2, 1)) / four_qi;
525  q->qy = (RMAT_ELMT(*rm, 2, 0) - RMAT_ELMT(*rm, 0, 2)) / four_qi;
526  q->qz = (RMAT_ELMT(*rm, 0, 1) - RMAT_ELMT(*rm, 1, 0)) / four_qi;
527  /*printf("tr > 0\n");*/
528  } else {
529  if (RMAT_ELMT(*rm, 0, 0) > RMAT_ELMT(*rm, 1, 1) &&
530  RMAT_ELMT(*rm, 0, 0) > RMAT_ELMT(*rm, 2, 2)) {
531  const float two_qx = sqrtf(RMAT_ELMT(*rm, 0, 0) - RMAT_ELMT(*rm, 1, 1)
532  - RMAT_ELMT(*rm, 2, 2) + 1);
533  const float four_qx = 2. * two_qx;
534  q->qi = (RMAT_ELMT(*rm, 1, 2) - RMAT_ELMT(*rm, 2, 1)) / four_qx;
535  q->qx = 0.5 * two_qx;
536  q->qy = (RMAT_ELMT(*rm, 0, 1) + RMAT_ELMT(*rm, 1, 0)) / four_qx;
537  q->qz = (RMAT_ELMT(*rm, 2, 0) + RMAT_ELMT(*rm, 0, 2)) / four_qx;
538  /*printf("m00 largest\n");*/
539  } else if (RMAT_ELMT(*rm, 1, 1) > RMAT_ELMT(*rm, 2, 2)) {
540  const float two_qy =
541  sqrtf(RMAT_ELMT(*rm, 1, 1) - RMAT_ELMT(*rm, 0, 0) - RMAT_ELMT(*rm, 2, 2) + 1);
542  const float four_qy = 2. * two_qy;
543  q->qi = (RMAT_ELMT(*rm, 2, 0) - RMAT_ELMT(*rm, 0, 2)) / four_qy;
544  q->qx = (RMAT_ELMT(*rm, 0, 1) + RMAT_ELMT(*rm, 1, 0)) / four_qy;
545  q->qy = 0.5 * two_qy;
546  q->qz = (RMAT_ELMT(*rm, 1, 2) + RMAT_ELMT(*rm, 2, 1)) / four_qy;
547  /*printf("m11 largest\n");*/
548  } else {
549  const float two_qz =
550  sqrtf(RMAT_ELMT(*rm, 2, 2) - RMAT_ELMT(*rm, 0, 0) - RMAT_ELMT(*rm, 1, 1) + 1);
551  const float four_qz = 2. * two_qz;
552  q->qi = (RMAT_ELMT(*rm, 0, 1) - RMAT_ELMT(*rm, 1, 0)) / four_qz;
553  q->qx = (RMAT_ELMT(*rm, 2, 0) + RMAT_ELMT(*rm, 0, 2)) / four_qz;
554  q->qy = (RMAT_ELMT(*rm, 1, 2) + RMAT_ELMT(*rm, 2, 1)) / four_qz;
555  q->qz = 0.5 * two_qz;
556  /*printf("m22 largest\n");*/
557  }
558  }
559 }
560 
561 
562 /*
563  *
564  * Euler angle functions.
565  *
566  */
567 
568 void float_eulers_of_rmat(struct FloatEulers *e, struct FloatRMat *rm)
569 {
570  const float dcm00 = rm->m[0];
571  const float dcm01 = rm->m[1];
572  const float dcm02 = rm->m[2];
573  const float dcm12 = rm->m[5];
574  const float dcm22 = rm->m[8];
575  e->phi = atan2f(dcm12, dcm22);
576  e->theta = -asinf(dcm02);
577  e->psi = atan2f(dcm01, dcm00);
578 }
579 
580 void float_eulers_of_quat(struct FloatEulers *e, struct FloatQuat *q)
581 {
582  const float qx2 = q->qx * q->qx;
583  const float qy2 = q->qy * q->qy;
584  const float qz2 = q->qz * q->qz;
585  const float qiqx = q->qi * q->qx;
586  const float qiqy = q->qi * q->qy;
587  const float qiqz = q->qi * q->qz;
588  const float qxqy = q->qx * q->qy;
589  const float qxqz = q->qx * q->qz;
590  const float qyqz = q->qy * q->qz;
591  const float dcm00 = 1.0 - 2.*(qy2 + qz2);
592  const float dcm01 = 2.*(qxqy + qiqz);
593  const float dcm02 = 2.*(qxqz - qiqy);
594  const float dcm12 = 2.*(qyqz + qiqx);
595  const float dcm22 = 1.0 - 2.*(qx2 + qy2);
596 
597  e->phi = atan2f(dcm12, dcm22);
598  e->theta = -asinf(dcm02);
599  e->psi = atan2f(dcm01, dcm00);
600 }
601 
602 /*
603  * 4x4 Matrix inverse.
604  * obtained from: http://rodolphe-vaillant.fr/?e=7
605  */
606 float float_mat_minor_4d(float m[16], int r0, int r1, int r2, int c0, int c1, int c2);
607 void float_mat_adjoint_4d(float m[16], float adjOut[16]);
608 float float_mat_det_4d(float m[16]);
609 
610 float float_mat_minor_4d(float m[16], int r0, int r1, int r2, int c0, int c1, int c2)
611 {
612  return m[4*r0+c0] * (m[4*r1+c1] * m[4*r2+c2] - m[4*r2+c1] * m[4*r1+c2]) -
613  m[4*r0+c1] * (m[4*r1+c0] * m[4*r2+c2] - m[4*r2+c0] * m[4*r1+c2]) +
614  m[4*r0+c2] * (m[4*r1+c0] * m[4*r2+c1] - m[4*r2+c0] * m[4*r1+c1]);
615 }
616 
617 
618 void float_mat_adjoint_4d(float m[16], float adjOut[16])
619 {
620  adjOut[ 0] = float_mat_minor_4d(m,1,2,3,1,2,3);
621  adjOut[ 1] = -float_mat_minor_4d(m,0,2,3,1,2,3);
622  adjOut[ 2] = float_mat_minor_4d(m,0,1,3,1,2,3);
623  adjOut[ 3] = -float_mat_minor_4d(m,0,1,2,1,2,3);
624  adjOut[ 4] = -float_mat_minor_4d(m,1,2,3,0,2,3);
625  adjOut[ 5] = float_mat_minor_4d(m,0,2,3,0,2,3);
626  adjOut[ 6] = -float_mat_minor_4d(m,0,1,3,0,2,3);
627  adjOut[ 7] = float_mat_minor_4d(m,0,1,2,0,2,3);
628  adjOut[ 8] = float_mat_minor_4d(m,1,2,3,0,1,3);
629  adjOut[ 9] = -float_mat_minor_4d(m,0,2,3,0,1,3);
630  adjOut[10] = float_mat_minor_4d(m,0,1,3,0,1,3);
631  adjOut[11] = -float_mat_minor_4d(m,0,1,2,0,1,3);
632  adjOut[12] = -float_mat_minor_4d(m,1,2,3,0,1,2);
633  adjOut[13] = float_mat_minor_4d(m,0,2,3,0,1,2);
634  adjOut[14] = -float_mat_minor_4d(m,0,1,3,0,1,2);
635  adjOut[15] = float_mat_minor_4d(m,0,1,2,0,1,2);
636 }
637 
638 float float_mat_det_4d(float m[16])
639 {
640  return m[0] * float_mat_minor_4d(m, 1, 2, 3, 1, 2, 3) -
641  m[1] * float_mat_minor_4d(m, 1, 2, 3, 0, 2, 3) +
642  m[2] * float_mat_minor_4d(m, 1, 2, 3, 0, 1, 3) -
643  m[3] * float_mat_minor_4d(m, 1, 2, 3, 0, 1, 2);
644 }
645 
652 void float_mat_inv_4d(float invOut[16], float mat_in[16])
653 {
654  float_mat_adjoint_4d(mat_in, invOut);
655 
656  float inv_det = 1.0f / float_mat_det_4d(mat_in);
657  int i;
658  for(i = 0; i < 16; ++i)
659  invOut[i] = invOut[i] * inv_det;
660 }
#define VECT3_CROSS_PRODUCT(_vo, _v1, _v2)
Definition: pprz_algebra.h:243
#define VECT3_DOT_PRODUCT(_v1, _v2)
Definition: pprz_algebra.h:249
void float_quat_comp_inv(struct FloatQuat *a2b, struct FloatQuat *a2c, struct FloatQuat *b2c)
Composition (multiplication) of two quaternions.
#define FLOAT_RATES_NORM(_v)
void float_mat_adjoint_4d(float m[16], float adjOut[16])
void float_rmat_inv(struct FloatRMat *m_b2a, struct FloatRMat *m_a2b)
Inverse/transpose of a rotation matrix.
void float_quat_of_eulers(struct FloatQuat *q, struct FloatEulers *e)
Quaternion from Euler angles.
float phi
in radians
void float_rmat_mult(struct FloatEulers *rb, struct FloatRMat *m_a2b, struct FloatEulers *ra)
rotate angle by rotation matrix.
void float_quat_comp(struct FloatQuat *a2c, struct FloatQuat *a2b, struct FloatQuat *b2c)
Composition (multiplication) of two quaternions.
void float_vect3_integrate_fi(struct FloatVect3 *vec, struct FloatVect3 *dv, float dt)
in place first order integration of a 3D-vector
void float_eulers_of_rmat(struct FloatEulers *e, struct FloatRMat *rm)
float r
in rad/s
float float_rmat_norm(struct FloatRMat *rm)
Norm of a rotation matrix.
float psi
in radians
#define VECT3_SUM_SCALED(_c, _a, _b, _s)
Definition: pprz_algebra.h:174
void float_rmat_comp_inv(struct FloatRMat *m_a2b, struct FloatRMat *m_a2c, struct FloatRMat *m_b2c)
Composition (multiplication) of two rotation matrices.
#define SQUARE(_a)
Definition: pprz_algebra.h:47
void float_mat_inv_4d(float invOut[16], float mat_in[16])
4x4 Matrix inverse
float q
in rad/s
float p
in rad/s
void float_quat_inv_comp(struct FloatQuat *b2c, struct FloatQuat *a2b, struct FloatQuat *a2c)
Composition (multiplication) of two quaternions.
void float_rmat_transp_mult(struct FloatEulers *rb, struct FloatRMat *m_b2a, struct FloatEulers *ra)
rotate angle by transposed rotation matrix.
euler angles
Roation quaternion.
void float_rmat_integrate_fi(struct FloatRMat *rm, struct FloatRates *omega, float dt)
in place first order integration of a rotation matrix
void float_rmat_of_eulers_312(struct FloatRMat *rm, struct FloatEulers *e)
float theta
in radians
void float_rmat_vmult(struct FloatVect3 *vb, struct FloatRMat *m_a2b, struct FloatVect3 *va)
rotate 3D vector by rotation matrix.
void float_rmat_comp(struct FloatRMat *m_a2c, struct FloatRMat *m_a2b, struct FloatRMat *m_b2c)
Composition (multiplication) of two rotation matrices.
void float_rmat_transp_vmult(struct FloatVect3 *vb, struct FloatRMat *m_b2a, struct FloatVect3 *va)
rotate 3D vector by transposed rotation matrix.
Paparazzi floating point algebra.
#define RMAT_TRACE(_rm)
Definition: pprz_algebra.h:607
void float_rates_integrate_fi(struct FloatRates *r, struct FloatRates *dr, float dt)
in place first order integration of angular rates
void float_rmat_of_quat(struct FloatRMat *rm, struct FloatQuat *q)
void float_quat_integrate(struct FloatQuat *q, struct FloatRates *omega, float dt)
in place quaternion integration with constant rotational velocity
static uint16_t c1
Definition: baro_MS5534A.c:203
void float_quat_vmult(struct FloatVect3 *v_out, struct FloatQuat *q, const struct FloatVect3 *v_in)
rotate 3D vector by quaternion.
static void float_quat_normalize(struct FloatQuat *q)
void float_quat_comp_inv_norm_shortest(struct FloatQuat *a2b, struct FloatQuat *a2c, struct FloatQuat *b2c)
Composition (multiplication) of two quaternions with normalization.
void float_quat_of_rmat(struct FloatQuat *q, struct FloatRMat *rm)
Quaternion from rotation matrix.
static float renorm_factor(float n)
#define MAT33_ROW_VECT3_SMUL(_mat, _row, _vin, _s)
Definition: pprz_algebra.h:513
void float_rates_of_euler_dot(struct FloatRates *r, struct FloatEulers *e, struct FloatEulers *edot)
void float_quat_derivative(struct FloatQuat *qd, struct FloatRates *r, struct FloatQuat *q)
Quaternion derivative from rotational velocity.
float m[3 *3]
float float_rmat_reorthogonalize(struct FloatRMat *rm)
float float_mat_det_4d(float m[16])
#define M_SQRT2
#define VECT3_NORM2(_v)
Definition: pprz_algebra.h:251
void float_rmat_transp_ratemult(struct FloatRates *rb, struct FloatRMat *m_b2a, struct FloatRates *ra)
rotate anglular rates by transposed rotation matrix.
void float_rmat_of_eulers_321(struct FloatRMat *rm, struct FloatEulers *e)
Rotation matrix from 321 Euler angles (float).
void float_rmat_of_axis_angle(struct FloatRMat *rm, struct FloatVect3 *uv, float angle)
initialises a rotation matrix from unit vector axis and angle
#define RMAT_ELMT(_rm, _row, _col)
Definition: pprz_algebra.h:604
void float_quat_of_orientation_vect(struct FloatQuat *q, const struct FloatVect3 *ov)
Quaternion from orientation vector.
void float_quat_of_axis_angle(struct FloatQuat *q, const struct FloatVect3 *uv, float angle)
Quaternion from unit vector and angle.
static void float_quat_wrap_shortest(struct FloatQuat *q)
void float_quat_comp_norm_shortest(struct FloatQuat *a2c, struct FloatQuat *a2b, struct FloatQuat *b2c)
Composition (multiplication) of two quaternions with normalization.
void float_quat_inv_comp_norm_shortest(struct FloatQuat *b2c, struct FloatQuat *a2b, struct FloatQuat *a2c)
Composition (multiplication) of two quaternions with normalization.
static uint16_t c2
Definition: baro_MS5534A.c:203
void float_quat_derivative_lagrange(struct FloatQuat *qd, struct FloatRates *r, struct FloatQuat *q)
Quaternion derivative from rotational velocity.
rotation matrix
static float float_quat_norm(struct FloatQuat *q)
void float_rmat_ratemult(struct FloatRates *rb, struct FloatRMat *m_a2b, struct FloatRates *ra)
rotate anglular rates by rotation matrix.
void float_quat_differential(struct FloatQuat *q_out, struct FloatRates *w, float dt)
Delta rotation quaternion with constant angular rates.
void float_eulers_of_quat(struct FloatEulers *e, struct FloatQuat *q)
float float_mat_minor_4d(float m[16], int r0, int r1, int r2, int c0, int c1, int c2)
void float_quat_integrate_fi(struct FloatQuat *q, struct FloatRates *omega, float dt)
in place first order quaternion integration with constant rotational velocity
angular rates