VEHICLE NAVIGATION ASSISTANCE METHOD AND DEVICE USING AN INVARIANT KALMAN FILTER AND A NAVIGATION STATUS OF A SECOND VEHICLE
20210295718 · 2021-09-23
Assignee
Inventors
- Emmanuel ROBERT (Boulone-Billancourt, FR)
- Axel BARRAU (Boulone-Billancourt, FR)
- Thomas BERNAL (Boulone-Billancourt, FR)
Cpc classification
G01S19/393
PHYSICS
G06F18/2113
PHYSICS
International classification
Abstract
The invention relates to a method for assisting with the navigation of a first vehicle (1) that is stationary in relation to a second vehicle (2) which is mobile within a reference frame, said method involving acquiring (112) movement data on the first vehicle (1) by at least one proprioceptive sensor (6), and estimating a navigation status (X 1) of the first vehicle (1) by an invariant Kalman filter using a navigation status (X 2) of the second vehicle (2) as an observation, the navigation status of the first vehicle (1) comprising variables that represent a rigid transformation (T 1) linking a first location mark associated with the first vehicle (1) to the reference frame, and variables that represent a rigid transformation (T 21) linking a location mark associated with the second vehicle (2) to the first location mark, the invariant Kalman filter using, as an internal composition taw, a law comprising a term-by-term composition of the two rigid transformations.
Claims
1-14. (canceled)
15. A method for assisting the navigation of a first carrier stationary relative to a second carrier itself movable in a reference frame, the method comprising the following steps implemented by the first carrier: receiving a navigation state in the reference frame of the second carrier provided by the second carrier, acquiring movement data of the first carrier by at least one proprioceptive sensor of the first carrier, estimating a navigation state of the first carrier by an invariant Kalman filter using the navigation state of the second carrier as observation data, wherein the navigation state of the first carrier comprises: first variables representative of a first rigid transformation linking a frame attached to the first carrier to the reference frame, and second variables representative of a second rigid transformation linking a frame attached to the second carrier to the frame attached to the first carrier, and wherein the invariant Kalman filter uses as binary operation an operation comprising a term-by-term composition of the first rigid transformation and of the second rigid transformation.
16. The method according to claim 15, wherein the first variables comprise a rotation matrix representing an attitude of the first carrier, and the second variables comprise a rotation matrix representing an attitude of the second carrier relative to the first carrier.
17. The method according to claim 15, wherein the first variables comprise a first position vector representing a position of the first carrier, and the second variables comprise a second position vector representing a position of the second carrier relative to the first carrier.
18. The method according to claim 15, wherein the estimated navigation state of the first carrier further comprises a velocity vector representing a velocity of the first carrier in the reference frame.
19. The method according to claim 18, wherein the first variables comprise a first position vector representing a position of the first carrier, and the second variables comprise a second position vector representing a position of the second carrier relative to the first carrier, and wherein the binary operation applies identical transformations to the velocity vector and to one of the first position vector and the second position vector.
20. The method according to claim 15, wherein the navigation state of the second carrier comprises a position vector representing a position of the second carrier in the reference frame and a rotation matrix representing an attitude of the second carrier in the reference frame.
21. The method according to claim 15, wherein the invariant Kalman filter uses an innovation comprising a vector Z.sup.x with the form:
Z.sup.x=log({circumflex over (T)}.sub.1.sup.−1○Y○{circumflex over (T)}.sub.21) where: {circumflex over (T)}.sub.1 is an estimate of the first variables, {circumflex over (T)}.sub.21 is an estimate of the second variables, wherein the second rigid transformation is a transformation from the frame attached to the first carrier to the frame attached to the second carrier, Y designates the observation data used by the invariant Kalman filter, ○ designates a composition, log(⋅) designates a logarithm map of a Lie group.
22. The method according to claim 15, wherein the navigation state of the second carrier comprises a velocity vector representing a velocity of the second carrier in the reference frame and a rotation matrix representing an attitude of the second carrier in the reference frame, and wherein the movement data of the first carrier, acquired by the at least one proprioceptive sensor, comprise an angular velocity of the first carrier.
23. The method according to claim 22, wherein the first variables comprise a rotation matrix representing an attitude of the first carrier, and the second variables comprise a rotation matrix representing the attitude of the second carrier relative to the first carrier, and wherein the invariant Kalman filter uses an innovation comprising a vector Z.sup.v with the form:
Z.sup.v=log(({circumflex over (R)}.sub.1.sup.TR.sub.2{circumflex over (R)}.sub.21,{circumflex over (R)}.sub.1.sup.T(v.sub.2−{circumflex over (v)}.sub.1)+{circumflex over (R)}.sub.1.sup.TR.sub.2(ω×{circumflex over (x)}.sub.21))) where: {circumflex over (R)}.sub.1 is an estimate of the rotation matrix representing an attitude of the first carrier. {circumflex over (R)}.sub.21 is an estimate of the rotation matrix representing an attitude of the second carrier relative to the first carrier, {circumflex over (x)}.sub.21 is an estimate of a translation vector defining the second rigid transformation, R.sub.2 is the rotation matrix representing an attitude of the second carrier in the reference frame, v.sub.2 is the velocity vector of the second carrier in the reference frame, ω is the angular velocity of the first carrier, × designates a vector product, log(⋅) designates a logarithm map of the Lie group.
24. The method according to claim 23, wherein the invariant Kalman filter uses an innovation comprising a vector Z.sup.x with the form:
Z.sup.x=log({circumflex over (T)}.sub.1.sup.−1○Y○{circumflex over (T)}.sub.21) where: {circumflex over (T)}.sub.1 is an estimate of the first variables, {circumflex over (T)}.sub.21 is an estimate of the second variables, wherein the second rigid transformation is a transformation from the frame attached to the first carrier to the frame attached to the second carrier, Y designates the observation data used by the invariant Kalman filter, ○ designates a composition, log(⋅) designates a logarithm map of a Lie group, and wherein the vector Z.sup.v consists of a first vector Z.sub.R.sup.v of size 3 representative of a rotation, and of a second vector Z.sub.v.sup.v of size 3 as well, and wherein the invariant Kalman filter uses an innovation Z with the form:
25. The method according to claim 15, wherein the navigation state of the first carrier further comprises at least one error state of the at least one proprioceptive sensor, and wherein the binary operation is additive for the at least one error variable of the at least one proprioceptive sensor.
26. The method according to claim 15, wherein the first carrier is an aircraft and the second carrier is an aircraft carrier.
27. The method according to claim 15, wherein the first carrier is a projectile and the second carrier is an aircraft that carries the projectile.
28. The method according to claim 15, wherein the first carrier is an inertial unit of a vehicle and the second carrier is an exteroceptive sensor of the vehicle.
29. The method according to claim 15, wherein estimating the navigation state of the first carrier is implemented in parallel by several invariant Kalman filters, so as to obtain several estimates of the navigation state of the first carrier, and wherein the method further comprises: for each estimate, determining a likelihood metric of the estimate, producing a consolidated estimate of the navigation state of the first carrier based on each estimate and each likelihood metric.
30. A device for assisting the navigation of a first carrier stationary relative to a second carrier itself movable in a reference frame, the device comprising: at least one proprioceptive sensor configured to acquire movement data of the first carrier, a communication interface for receiving a navigation state of the second carrier provided by the second carrier, an invariant Kalman filter configured to estimate a navigation state of the first carrier by using the navigation state of the second carrier as observation data, wherein the navigation state comprises: first variables representative of a first rigid transformation linking a frame attached to the first carrier to the reference frame, and second variables representative of a second rigid transformation linking a frame attached to the second carrier to the frame attached to the first carrier, and wherein the invariant Kalman filter uses as binary operation an operation comprising a term-by-term composition of the first rigid transformation and of the second rigid transformation.
Description
DESCRIPTION OF THE FIGURES
[0070] Other characteristics, aims and advantages of the invention will emerge from the following description, which is purely illustrative and not restrictive, and which should be read in relation to the appended drawings in which:
[0071]
[0072]
[0073]
[0074] In all the figures, similar elements bear identical references.
DETAILED DESCRIPTION OF THE INVENTION
[0075] 1/ Description of the System
[0076] Referring to
[0077] In the following, different references are considered: a first frame attached to the first carrier 1, a second frame attached to the second carrier 2, and a reference frame in which the two carriers 1, 2 are movable. The reference frame is for example a celestial frame attached to stars or to the earth.
[0078] In
[0079] In one embodiment, the first carrier is an aircraft, for example an airplane or a helicopter, and the second carrier is an aircraft carrier, for example a ship of the airplane carrier type on which the airplane is placed.
[0080] In another embodiment, the first carrier is a projectile, for example a missile, and the second carrier is an aircraft which carries the projectile, for example an airplane or a helicopter.
[0081] In another embodiment, the first carrier is an inertial unit of a vehicle, for example land vehicle, and the second carrier is an exteroceptive sensor of the same vehicle.
[0082] Referring to
[0083] The first carrier 1 comprises at least one proprioceptive sensor 6. Each proprioceptive sensor used is configured to acquire movement data of the first carrier in the first frame. These data typically comprise angular velocities, and accelerations.
[0084] The proprioceptive sensor comprises for example an inertial unit which comprises a plurality of inertial sensors such as pyrometers and accelerometers.
[0085] As a variant or in addition, the proprioceptive sensor comprises at least one odometer.
[0086] The first carrier 1 furthermore comprises a data processing unit 10. The processing unit 10 is arranged to process data received by the communication interface 4.
[0087] The data processing unit 10 typically comprises at least one processor configured to implement a navigation assistance method which will be described below, by means of an invariant Kalman filter. The invariant Kalman filter is typically in the form of a computer program executable by the processor of the data processing unit. The general operation of an invariant Kalman filter is known per se. However, it will be seen below that the binary operation used to configure the invariant Kalman filter implemented by processing unit 10 is chosen in a particular manner.
[0088] Preferably, the processing unit 10 is adapted to implement several Kalman filters in parallel.
[0089] Furthermore, the second carrier 2 comprises means for estimating a navigation state of this second carrier in the reference frame. These means are known per se. it will for example be possible to use the means described in the document entitled “Aided navigation: GPS with high rate sensors” par Jay Farell, published in 2008.
[0090] The second carrier 2 further comprises a communication interface with the first carrier 1, of the same type as the communication interface X.
[0091] 2/ Configuration of the Invariant Kalman Filter
[0092] The invariant Kalman filter implemented by the processing unit 10 is configured to estimate a navigation state of the first carrier 1 in the reference frame.
[0093] The navigation state of the first carrier comprises first variables representative of a first rigid transformation linking the first frame (attached to the first carrier 1) to the reference frame, and second variables representative of a second rigid transformation linking the second frame (attached to the second carrier 2) to the first frame.
[0094] In a well-known manner, a rigid transformation (also known as affine isometry), is a transformation that preserves the distances between pair of points of a solid. Thus, each of the first and second rigid transformations can be characterized by the composition of a rotation and a translation.
[0095] In the following, an embodiment will be detailed in which the navigation state of the first carrier, denoted X.sub.1, comprises the following elements:
X.sub.1=(R.sub.1,v.sub.1,x.sub.1,R.sub.21,x.sub.21)
where: [0096] R.sub.1 is a rotation matrix representing the attitude of the first carrier in the reference frame (rotation component of the transformation which allows switching from coordinates of a point in the first frame to coordinates of the same carrier point in the reference frame), [0097] v.sub.1 is a velocity vector representing the velocity of the first carrier in the reference frame, [0098] x.sub.1 is a position vector representing the position of the first carrier in the reference frame (it is the translation component of the transformation, which allows switching from coordinates of a point in the first frame to coordinates of the same point in the reference frame), [0099] R.sub.21 is a rotation matrix representing a relative attitude between the first frame and the second frame. As an example, here is a matrix which allows switching from the first frame (attached to the first carrier 1) to the second frame (attached to the second carrier 2), the reverse being perfectly possible, [0100] x.sub.21 is a lever arm between the first carrier 1 and the second carrier 2. It is a translation vector allowing switching from the coordinates of a point in the first frame to the coordinates of the same point in the second frame.
[0101] In this particular embodiment, the first variables are R.sub.1, x.sub.1 and v.sub.1; and the second variables are R.sub.21, x.sub.21.
[0102] In the following, it is considered that the first rigid transformation is T.sub.3=(R.sub.1, x.sub.1), and that the second rigid transformation is T.sub.21=(R.sub.21, x.sub.21).
[0103] The invariant Kalman filter is further configured to use as observation data a navigation state X.sub.2 of the second carrier 2, expressed in the reference frame.
[0104] The navigation state of the second carrier 2 typically comprises [0105] a rotation matrix R.sub.2 representing the attitude of the second carrier in the reference frame (rotation component of the rigid transformation which allows switching from coordinates of a point in the second frame to coordinates of the same carrier point in the reference frame), [0106] x.sub.2 a position vector representing the position of the second carrier in the reference frame (it is the translation component of the rigid transformation, which allows switching from coordinates of a point in the second frame to coordinates of the same carrier point in the reference frame).
[0107] It can be envisaged to include a velocity vector v.sub.2 representing the velocity of the second carrier in the reference frame, in this state. However, it will be considered in the following that this state does not comprise such a velocity.
[0108] The observation of the invariant Kalman filter is then written
Y=T.sub.2=(R.sub.2,x.sub.2)
[0109] The invariant Kalman filter is configured to use as binary operation, denoted *, a term-by-term composition of the first rigid transformation and of the second rigid transformation.
[0110] This composition operation can be extended to the velocity vector of the first carrier, when the latter is also comprised in the navigation state of the first carrier. In this case, the binary operation * applies identical transformations to one of the position vectors and to the velocity vector.
[0111] The binary operation is applied to states (R.sub.1, v.sub.1, x.sub.1, R.sub.21, x.sub.21) and (R′.sub.1, v, x.sub.1′, R.sub.21′, x.sub.21′) in the following manner:
(R.sub.1,v.sub.1,x.sub.1,R.sub.21,x.sub.21)*(R.sub.1′,v.sub.1′,x.sub.1′,R.sub.21′,x.sub.21′)=(R.sub.1R.sub.1′,v.sub.1+R.sub.1v.sub.1′,x.sub.1+R.sub.1x.sub.1′,R.sub.21′,x.sub.21+R.sub.21x.sub.21′)
[0112] It is considered here that the second term and the third term of the product of the binary operation * are of the same form due to the fact that the positions and the velocities are processed by this operation in the same manner.
[0113] 3/ Method for Assisting the Navigation of the First Carrier
[0114] Referring to
[0115] It is assumed that an estimation {circumflex over (X)}.sub.1 of the navigation state of the first carrier 1 has been estimated by the invariant Kalman fitter.
[0116] It is furthermore assumed that the second carrier has estimated a navigation state X.sub.2 of this second carrier in the reference frame, using its internal means 12. This navigation state X.sub.2 comprises the rigid transformation T.sub.7 formed by the pair (R.sub.2, x.sub.2).
[0117] In a step 102, the communication interface 4 of the first carrier 1 receives from the communication interface 14 of the second carrier 2 the data representative of the rigid transformation T.sub.2. These data are then transmitted to the processing unit 10.
[0118] In a step 104, the processing unit 10 calculates the innovation Z of the invariant Kalman fitter, in the following manner
Z=Z.sup.x=log({circumflex over (T)}.sub.1.sup.−1○Y○{circumflex over (T)}.sub.21)
where: [0119] Y designates the observation data used by the invariant Kalman filter, which, as recalled, correspond to T.sub.2) [0120] ○ designates the composition operator of the rigid transformations, [0121] log( ) designates a logarithm map within the meaning of the theory of Lie groups, known to those skilled in the art.
[0122] This innovation calculation is particularly advantageous because it allows satisfying conditions a. and b. set out in the introduction.
[0123] In a correction step 106, the data processing unit 10 multiplies the innovation Z by a matrix K called “gain” matrix, which expresses Z in a linear correction dX.sub.1=KZ to be applied to the state of the system X.sub.1.
[0124] The choice of the gains is a classic question common to most estimation methods (see below).
[0125] In a retraction step 108, the processing unit 10 transforms the linear correction dX.sub.1 into a non-linear correction C of the same nature as {circumflex over (X)}.sub.1 (the state {circumflex over (X)}.sub.1 is not a vector because it contains rotations). The transformation used is any function taking as argument a vector of the dimension of the state X.sub.1 (15 in this case) and returning an object of the same nature as X.sub.1 but a particularly efficient choice is the term-by-term exponential of the Lie group of the pairs of rigid transformations.
[0126] A non-linear update step 110 is then implemented by the processing unit 10. In this step 110, the processing unit 10 combines the estimation X.sub.1 of the state of the system with the non-linear correction C.sub.1 to build a corrected estimation
{circumflex over (X)}.sub.1.sup.+={circumflex over (X)}.sub.1*C.sub.1
The gain matrix K is chosen so as to stabilize the non-linear estimation error e defined by:
e=X.sub.1.sup.−1*{circumflex over (X)}.sub.1
where the symbol ..sup.−1 is the usual inversion associated with the binary operation F. In this embodiment, invariance to the left of the estimation error e is obtained. It can of course be envisaged to modify the preceding equations to obtain right invariance (the left invariance being however a preferred embodiment).
[0127] Ira an acquisition step 112, the proprioceptive sensor 3 furthermore acquires movement data of the first carrier 1 in the first frame. These movement data typically comprise accelerations and/or velocities, for example angular velocities. These acquired movement data are transmitted to the processing unit 10.
[0128] Step 112 can be implemented before, during, or after any one of steps 102, 104, 106, 108, 110.
[0129] In a propagation step 114, known per se to those skilled in the art, the processing unit 10 generates a propagated navigation state, from the state X.sub.1.sup.+. To do so, the processing unit 10 applies, in a manner known per se, an evolution model derived from an integration of the data acquired by the proprioceptive sensor 6.
[0130] The steps described above form an iteration of the invariant Kalman filter.
[0131] Thanks to the invariant Kalman filter, a property that would also be obtained in a linear case, is obtained: the evolution of the estimation error is autonomous (it depends neither on X.sub.1 nor on {circumflex over (X)}.sub.1).
[0132] The navigation state emission of the second carrier is repeated over time, such that these states are received by the first carrier 1.
[0133] The processing unit 10 repeats these same steps, 104, 106, 108, 110, 112, 114 in new iterations of the invariant Kalman filter, for each new state of the second carrier received. The state estimated during the propagation step 112 of a given iteration is used as input data for the innovation calculation 104 and non-linear update 110 steps of a following iteration.
[0134] Ultimately, thanks to the method, the first carrier 1 can obtain assistance on its own navigation using the data already available in the second carrier 2 on its own navigation.
[0135] Several Kalman filters are advantageously implemented in parallel by the processing unit 10, so as to obtain several estimates of the navigation state of the first carrier 1.
[0136] It should be noted that some processing operations can be carried out only once for all the Kalman filters concerned. In particular, one of these processing operations is the resolution of a Ricatti equation known to those skilled in the art.
[0137] In this case, the processing unit determines, for each estimate, a data deviation metric of the estimate.
[0138] This metric L is for example written:
L=Z.sup.TS.sup.−1Z
[0139] Where S is the covariance of the innovation Z as conventionally calculated in the step of updating a conventional Kalman filter.
[0140] The metric L can be calculated for a given measurement. As a variant, the metric L is the sum of the values obtained on a set of the past measurements.
[0141] In a merging step 116, the processing unit 10 produces a consolidated estimate of the navigation state of the first carrier based on the estimates and their associated likelihood metrics L.
[0142] In one embodiment, the estimate obtained by one of the filters which has the metric that reflects the smallest data deviation is selected as consolidated estimate.
[0143] In another embodiment, the consolidated estimate is an average of the estimates determined by the different filters, which is weighted by the metrics.
[0144] The estimated states X.sub.1 not being vectorial in nature, those skilled in the art can use an average adapted to the case of the varieties.
[0145] In other variants, it is possible to complete the estimated state X.sub.1 with other interesting variables, for example an error state specific to the proprioceptive sensor (bias, scale factor, drift, etc.).
[0146] In this case, the binary operation * is additive for the proprioceptive sensor error state.
[0147] Let B the proprioceptive sensor error state considered.
[0148] The binary operation then becomes:
(R.sub.1,v.sub.1,x.sub.1,R.sub.21,x.sub.21,B)*(R.sub.1′,v.sub.1′,x.sub.1′,R.sub.21′,x.sub.21′,B′)=(R.sub.1R.sub.1′,v.sub.1+R.sub.1v.sub.1′,x.sub.1+R.sub.1x.sub.1′,R.sub.21R.sub.21′,x.sub.21+R.sub.21x.sub.21′,B+B′)
[0149] Moreover, as already indicated above, the matrix R.sub.21 can be replaced by a matrix R.sub.12 which allows switching from the second frame (attached to the second carrier 2) to the first frame (attached to the first carrier 1). Likewise, the vector x.sub.21 can be replaced by a vector x.sub.12, which is a translation vector allowing switching from the coordinates of a point in the second frame to the coordinates of the same point in the first frame.
[0150] T.sub.12=(R.sub.12, x.sub.12)=T.sub.21.sup.−1 is further written out.
[0151] In this case, the binary operation, expressed in the new variables, becomes:
(R.sub.1,v.sub.1,x.sub.1,R.sub.12,x.sub.12)*(R.sub.1′,v.sub.1′,x.sub.1′,R.sub.12′,x.sub.12)=(R.sub.1R.sub.1′,v.sub.1+R.sub.1v.sub.1′,x.sub.1+R.sub.1x.sub.1′,R.sub.12R.sub.12′,x.sub.12+R.sub.12x.sub.12′)
[0152] In this case, the innovation Z becomes:
Z=log({circumflex over (T)}.sub.1.sup.−1○Ycc{circumflex over (T)}.sub.12.sup.−1)
[0153] In another embodiment, the proprioceptive measurements of the carrier 1 comprise an angular velocity ω. In addition, the navigation state X.sub.2 of the second carrier 2 received includes a velocity vector of the second carrier 2 in the reference frame and a rotation matrix representing an attitude of the second carrier in the reference frame. The invariant Kalman fitter then uses an innovation Z with the form:
Z=Z.sup.v=log(({circumflex over (R)}.sub.1.sup.TR.sub.2{circumflex over (R)}.sub.21,{circumflex over (R)}.sub.1.sup.T(v.sub.2−v.sub.1)+{circumflex over (R)}.sub.1.sup.TR.sub.2(ω×{circumflex over (x)}.sub.21)))
[0154] where: [0155] {circumflex over (R)}.sub.1 is an estimate of the rotation matrix R.sub.1 contained in the rigid transformation T.sub.1. More specifically, R.sub.1 is such that the coordinates u∈.sup.3 of a point in the frame attached to the carrier 1 become R.sub.1u+x.sub.1 in the reference frame, where x.sub.1 is the position of the first carrier in the reference frame. [0156] {circumflex over (R)}.sub.21 and {circumflex over (x)}.sub.21 are the estimates of the rotation matrix R.sub.21 and of the translation vector x.sub.21 defining the rigid transformation T.sub.21=(R.sub.21, x.sub.21), More specifically, R.sub.21 and x.sub.21 are such that the coordinates u∈
.sup.3 of a point in the frame attached to the carrier 1 become R.sub.21u+x.sub.21 in the frame attached to the carrier 2, [0157] R.sub.2 is the rotation matrix representing the attitude of the carrier 2 (available as an observation, as indicated above). More specifically, R.sub.2 is such that the coordinates u∈
.sup.3 of a point in the frame attached to the carrier 2 become R.sub.2u+x.sub.2 in the reference frame, where x.sub.2 is the position of the carrier 2 in the reference frame (which does not need to be observed for this claim). [0158] v.sub.2 is the velocity of the carrier 2 in the reference frame (available as an observation) [0159] {circumflex over (v)}.sub.1 is the estimated velocity of the carrier 1 in the reference frame. [0160] × designates the conventional vector product [0161] log(⋅) designates the logarithm function (reciprocal of the exponential function) of the Lie group SE(3). It should be noted that the object passed as input of the log function is an object belonging to the Lie group SE(3) and being written as a pair consisting of a rotation matrix and a size vector 3.
[0162] This other embodiment allows closely approximating the conditions a. and b. set out in the introduction, and satisfying them only under the assumption that the second carrier is “flat”, that is to say under the assumption that the angular velocity measurements co are always on the same axis, and that this axis is also the axis of rotation R.sub.21. This assumption is verified particularly if all the rotations considered (R.sub.1 and R.sub.2) have a vertical axis, as it is generally the case on a land vehicle. This is why the embodiment in which Z=Z.sup.x is more advantageous.
[0163] The vector Z.sup.v consists of a first vector Z.sub.R.sup.v of size 3 representative of a rotation, and a second vector Z.sub.v.sup.v of size 3 as well.
[0164] It can also be envisaged, in another embodiment, to combine the data described above to form a more complex innovation Z with the following form: