← Project overview

Research paper

Belief-Space Planning with Planner-Conditioned Estimator Error under Intermittent Observations

Peter M. Donley and Joseph L. Moore

Submitted to the American Control Conference (ACC); under review.

Abstract

Belief-space planners with separately designed or off-the-shelf estimators may have access to state-relevant information the estimator does not observe. Consequently, even an estimator that minimizes mean-squared error under its own information can have a nonzero error mean when conditioned on planner information. When future corrections are intermittent and stochastic, differences between accepted and rejected error means introduce additional uncertainty terms to correction events that zero-mean assumptions ignore. In this paper, we propose a belief-space planning approach that predicts, propagates, and penalizes planner-conditioned estimator error along evaluated trajectories. A planner-conditioned estimator-error model combines affine error dynamics with a moment recursion that preserves stochastically-induced correction uncertainty. We describe a method by which to predict estimator error dynamics within specified operating regimes and incorporate predicted error moments into a task-weighted quadratic risk objective. We evaluate the approach in simulation for a tilt-rotor VTOL landing on a ship deck using receding-horizon planning. We find that conditioning on planner information reduced error-prediction loss for a command-blind EKF by 13.4% relative to a planner-ignorant model, with strongly regime and horizon-dependent forecasting abilities. In a small set of 16 paired closed-loop trials, the planner lowered the median terminal task gauge from 1.60 to 0.99, and predicted estimator error beyond 2s within a factor of 1.3, versus a 5.7-fold underprediction by covariance-only planning.

1. Introduction

Planners and estimators are often designed separately, and as such, may observe different subsets of a system’s information. In particular, planners may have limited information about the internal state representations and update procedures of “off-the-shelf" or otherwise black-box estimators, and an estimator may not receive direct information about the planner’s commands or expected future states. If the planner has relevant information the estimator lacks, an estimator with zero-mean error under its own information may have a nonzero planner-conditioned error mean. Consider the task of landing an aerial robot on a ship-deck. Deck-relative observations become intermittent over the course of the task. During these periods of intermittency, estimator error accumulates due to a lack of posterior correction availability. However, the planner may be able to partially predict this error and incorporate its predictions into trajectory design. We study the interaction between this predictable error mean and the stochastic availability of future corrections.

Conventional covariance-only belief-space planning generally assumes zero-mean estimator error. However, if nonzero-mean estimator error exists, this can have a profound impact on planner performance, as the planner will be unable to adequately predict future expected estimation error, probability of correction acceptance, or post-correction uncertainty. Additionally, when correction changes the predicted conditional error mean, stochastic correction outcomes contribute a spread-of-the-means covariance term. The resulting first two moments generally cannot be reproduced by simply inflating measurement noise to account for probabilistic observation.

A VTOL approaches a ship deck while its camera loses sight of the deck during a flare. Below, planner-conditioned error predictions follow the realized error during the observation dropout.
Figure 1 details and data

Predictable error through an observation dropout

Figure 1. Predictable estimator error during a deck landing (illustrative one-dimensional deck-relative model, with command-blind estimation) (a) The vehicle conducts a flare maneuver, pitching the deck out of the camera’s field of view between 2 and 5 s. (b) The estimator does not model the commanded flare, so its prediction accumulates error during the dropout while its modeled error distribution remains centered at zero with widening covariance VV (gray). The planner issued the command and knows the estimator is command-ignorant, so predicts the evolution of estimator-error conditioned on its own information ℱ\mathcal F. Planner-predicted estimator error mm tracks the realized estimator error (black) at a much narrower covariance PP (blue). After visibility is restored, corrections (green) are accepted stochastically. In this example, accepted and uncorrected outcomes have different predicted error means, whose spread temporarily widens PP. Colors are consistent across figures, where gray represents estimator reports, blue represents planner-conditioned moments, green indicates correction acceptance, and shading for intervals with no available corrections.

1.2. Contributions

We propose a belief-space planning approach which derives a model of the first and second moments of estimator error. This model is used to propagate the estimator error along candidate trajectories. The planner predicts the probability that usable corrections will be available to the estimator and moment-matches the first two error moments over both correction and no-correction outcomes at each step. This predicted error is then projected into task coordinates, from which the planner computes a task-weighted estimation risk metric. These predictions are then used by the receding-horizon planner to select trajectories.

In this work, we make the following claims:

  • We show that, under different information sets, even estimators that are minimum mean-squared error (MMSE)-optimal under their own information may have a nonzero planner-conditioned error mean, as established in Proposition 1 and evaluated empirically through the error prediction tests of Section 7.3;

  • We develop a moment-matched recursion for estimator-error propagation under intermittent corrections, capturing the additional covariance induced by separation between the accepted and rejected error means that probability-based noise inflation omits, while recovering the familiar modified-Riccati recursion in the zero-mean limit;

  • We formulate a task-weighted planner that penalizes predicted estimator-error moments along candidate trajectories, identify error models for three estimator architectures, and evaluate closed-loop ship-deck landing of a tilt-rotor VTOL in simulation.

We find that estimator error contains substantial planner-predictable structure when the estimator is ignorant of task-relevant information the planner holds. Prediction gains vary with forecast horizon and operating regime, though in 16 paired closed-loop trials, the proposed planner consistently improved median task performance compared to traditional covariance-only belief-space planning.

2. Information Structure and Predictable Estimator Error

At some future time kk, let xkx_k denote the physical state and uku_k the applied command. The estimator reports an estimated state x̂k\hat x_k and covariance VkV_k, and its estimation error is ek=xk⊖x̂k,e_k = x_k\ominus\hat x_k, where ⊖\ominus is the difference operator on the relevant state manifold. Let ℋkE\mathcal H_k^E denote the σ\sigma-algebra generated by all information available internally to the estimator at time kk. Each published estimator output IkI_k, including x̂k\hat x_k, VkV_k, and any other quantities published by the estimator and used by the planner-side error model, is ℋkE\mathcal H_k^E-measurable.

The information available to the planner is ℱk=σ(I0:k,u0:k−1).\mathcal F_k = \sigma\!\left(I_{0:k},u_{0:k-1}\right). (1) The planner-conditioned estimator-error moments are mk=𝔼[ek∣ℱk],Pk=Cov(ek∣ℱk).\begin{aligned} m_k &= \mathbb E[e_k\mid\mathcal F_k],\\ P_k &= \operatorname{Cov}(e_k\mid\mathcal F_k). \end{aligned} (2) In general, PkP_k need not equal the covariance VkV_k reported by the estimator.

Proposition 1 (Planner-conditioned estimator error). Let X=Y+BU,X̂=𝔼[X∣ℋE],e=X−X̂,X=Y+BU,\qquad \hat X=\mathbb E[X\mid\mathcal H^E],\qquad e=X-\hat X, where X,Y∈L2(Ω;ℝn)X,Y\in L^2(\Omega;\mathbb R^n), U∈L2(Ω;ℝp)U\in L^2(\Omega;\mathbb R^p), and BB is deterministic. Then 𝔼[e∣𝒢]=0 for every 𝒢⊆ℋE.\mathbb E[e\mid\mathcal G]=0 \text{ for every } \mathcal G\subseteq\mathcal H^E.

If σ(U)⊆ℱ⊆ℋE∨σ(U),\sigma(U) \subseteq \mathcal F \subseteq \mathcal H^E\vee\sigma(U), 𝔼[U∣ℋE]\mathbb E[U\mid\mathcal H^E] is ℱ\mathcal F-measurable, and 𝔼[Y∣ℋE∨σ(U)]=𝔼[Y∣ℋE],\mathbb E[Y\mid\mathcal H^E\vee\sigma(U)] = \mathbb E[Y\mid\mathcal H^E], then 𝔼[e∣ℱ]=B(U−𝔼[U∣ℋE]).\mathbb E[e\mid\mathcal F] = B\left( U-\mathbb E[U\mid\mathcal H^E] \right). (3)

Proof. The MMSE property gives 𝔼[e∣ℋE]=0\mathbb E[e\mid\mathcal H^E]=0, and the first claim follows from the tower property. Moreover, X̂=𝔼[Y∣ℋE]+B𝔼[U∣ℋE].\hat X = \mathbb E[Y\mid\mathcal H^E] + B\mathbb E[U\mid\mathcal H^E]. Conditioning X−X̂X-\hat X on ℱ\mathcal F under the stated assumptions then gives (3). ◻

Thus, an estimator that is MMSE-optimal given ℋE\mathcal H^E can still have nonzero error mean conditioned on ℱ\mathcal F when the planner has information relevant to state evolution that is not fully determined by the estimator’s information. Whether this occurs for a particular estimator and operating regime is tested from data in Section 6.

Estimates are formed using observations of the environment that arrive stochastically. In part, this stochasticity arises from sensing geometry, with the probability of successful measurement decreasing at the observer’s field of view boundaries. However, the observation of a measurement does not always lead to estimate correction. In cases where an estimator gates its accepted measurements on measurement innovation or the cadence in which measurements arrive, the probability that a measurement will be observed and that its observation will correct the estimator’s published information may partially depend on factors beyond a planner’s direct control [17]. We call the sensing and application of a measurement to a state estimate a measurement acceptance. Measurement acceptance comprises one branch of a two-branch "tree" of possible sensing outcomes that the planner must consider at each potential future correction opportunity.

3. A Planner-conditioned Model of Estimator Error

Throughout this formulation, let cc be the current planning time–the instant at which the planner forms a candidate control sequence and predicts forward–and kk denote a generic future discrete-time index along that candidate rollout. We use the subscript k|ck|c to denote the future time kk, predicted using the information available at planning time cc.

3.1. Planner information

The planner does not require access to the details of an estimator’s internal belief representation or propagation mechanisms in order to predict its error. However, it does require the estimator to provide a mechanism by which to initialize the error moment predictors, a model for between-correction error flow, the effect of accepted corrections on the estimator’s predictions, the probability that a correction is accepted by the estimator, and the range over which the estimator’s behavior is considered valid.

3.2. Initialization and compensation

At the beginning of planning time cc, the estimator-error moments are initialized using the set of all previously published estimator information (mc,Pc)=ℐE(I0:c)(m_c,P_c) = \mathcal I_E(I_{0:c}) using some declared initialization procedure ℐE\mathcal I_E. The planner uses this initialized error prediction to compensate the estimator’s published state, yielding a compensated planner-side state estimate x̌c\check x_c, such that

x̌c=x̂c⊕mc.\check x_c = \hat x_c \oplus m_c. (4) where ⊕\oplus is the retraction operator on the relevant manifold.

3.3. Estimator-error propagation between corrections

We model estimator-error propagation between observation-based corrections over integration interval δ\delta as ek+1−=Fek++δ(b+Bϕk+Λzzk)+ηk,F=I+δA,e_{k+1}^- = F e_k^+ + \delta\left( b+B\phi_k+\Lambda_z z_k \right) + \eta_k, \qquad F=I+\delta A, (5) where AA and bb characterize autonomous error evolution, ϕk\phi_k collects candidate-dependent features available to the planner, and zkz_k represents the retained temporally correlated residual modes. The remaining residual satisfies 𝔼[ηk∣ℱk]=0.\mathbb E[\eta_k\mid\mathcal F_k]=0.

Let rk∈[0,1]nrr_k\in[0,1]^{n_r} denote correction recency, with r‾k=𝔼[rk∣ℱk],\bar r_k = \mathbb E[r_k\mid\mathcal F_k], and Σkrr=Cov(rk∣ℱk)\Sigma_k^{rr} = \operatorname{Cov}(r_k\mid\mathcal F_k). Its contribution to the remaining flow uncertainty is Cov(ηk∣ℱk)=δ[Q0+∑j=1nr((1−r‾j,k)Qj(1)+[(1−r‾j,k)2+Σjj,krr]Qj(2))],\begin{aligned} \operatorname{Cov}(\eta_k\mid\mathcal F_k) = \delta\Bigg[ Q_0 + \sum_{j=1}^{n_r} \Big( (1-\bar r_{j,k})Q_j^{(1)} \\ + \big[ (1-\bar r_{j,k})^2 + \Sigma^{rr}_{jj,k} \big] Q_j^{(2)} \Big) \Bigg], \end{aligned} (6) where Q0Q_0 is the baseline residual uncertainty, Qj(1)Q_j^{(1)} is the uncertainty which increases linearly with the staleness of correction channel jj, and Qj(2)Q_j^{(2)} is the residual uncertainty that increases quadratically with staleness. The quadratic term uses the full second-moment of stochastic recency, since 𝔼[(1−r)2|ℱk]=(1−r‾j)2+Σjj,krr\mathbb{E}[(1-r)^2|\mathcal F_k] = (1-\bar r_j)^2 + \Sigma_{jj,k}^{rr}

The colored residual is represented by the stable autoregressive model zk+1=Rzzk+ϵkzz_{k+1} = R_z z_k+\epsilon_k^z for ρ(Rz)<1,\rho(R_z)<1, with centered innovation ϵkz\epsilon_k^z, where ρ(Rz)<1\rho(R_z)<1 is a constraint to ensure the stable decay of the latent residual state. Between corrections, recency evolves according to rk+1−=Drrk+.r_{k+1}^- = D_r r_k^+. (7)

Define the augmented recency-error state sk=[ek⊤,rk⊤,zk⊤]⊤.s_k = [ e_k^\top, r_k^\top, z_k^\top ]^{\top}. For a fixed candidate command sequence, the between-correction estimator-error propagation model can then be written in affine form as sk+1−=𝒜ksk++ck+ωk,s_{k+1}^- = \mathcal A_k s_k^+ + c_k + \omega_k, (8) where 𝔼[ωk∣ℱk]=0,\mathbb E[\omega_k\mid\mathcal F_k]=0, and Cov(ωk∣ℱk)=Ωk.\operatorname{Cov}(\omega_k\mid\mathcal F_k)=\Omega_k. Its first two moments propagate as μk+1−=𝒜kμk++ck,Σk+1−=𝒜kΣk+𝒜k⊤+Ωk,\begin{aligned} \mu_{k+1}^- &= \mathcal A_k\mu_k^+ + c_k, \\ \Sigma_{k+1}^- &= \mathcal A_k\Sigma_k^+\mathcal A_k^\top + \Omega_k, \end{aligned} (9) and the estimator-error moments mkm_k and PkP_k are the ee-blocks of μk\mu_k and Σk\Sigma_k, respectively.

3.4. Stochastic corrections

Let ak|c∈{0,1}a_{k|c}\in\{0,1\} denote whether a usable correction occurs at rollout step kk. We model ak|c∼Bernoulli(qk|c)a_{k|c}\sim\operatorname{Bernoulli}(q_{k|c}) with qk|c=𝒬(x‾k|c,rk|c,Ic).q_{k|c} = \mathcal Q( \bar x_{k|c}, r_{k|c}, I_c ). (10) Here 𝒬\mathcal Q is a planner-side correction-probability model accounting for sensing cadence, trajectory-dependent sensing geometry, and conditional estimator acceptance.

Define the error of the accepted-correction branch as eacc=Je−+ϵc,𝔼[ϵc|ℱ]=0,Cov(ϵc|ℱ)=W.e^{\mathrm{acc}} = Je^- + \epsilon^c, \qquad \mathbb{E}[\epsilon^c|\mathcal F] = 0, \quad \operatorname{Cov}(\epsilon^c|\mathcal F) = W. (11) for error-transition map JJ and remaining correction error ϵc\epsilon^c. For linear updates, J=I−KHJ = I-KH, where KK is the correction gain and HH is the measurement Jacobian. When observations are accepted, the recency component associated with an accepted measurement type is reset to rj+=1r^+_j=1, while it continues decaying in the no-observation branch.

4. Moment Propagation Under Intermittent Corrections

Under intermittent observations of the task, future observation-based estimation corrections have state-dependent stochasticity. At each tkt_k, either an observation can be accepted with probability qq, or the estimate can remain uncorrected and error can continue to propagate under the between-correction flow model. While branching each candidate over the possible observation outcomes would enable consideration of this stochasticity, this approach is computationally intractable for real-time control problems. We instead show that the first two moments of planner-conditioned estimator-error under stochastic observations can be matched exactly over the correction outcomes. When the prior of the predicted mean error is nonzero, this moment-matching introduces an additional covariance term, distinguishing our approach from other zero-mean treatments that rely instead on scalar noise-inflation.

4.1. Rollout assumptions

We declare the following assumptions under which we formulate our moment-matching approach.

Assumption 1 (Rollout closure). For each candidate rollout:

  1. The local flow and correction models are evaluated only within their validated range 𝒱E\mathcal V_E.

  2. Correction occurrence is conditionally independent of the realized estimator error given planner information, ℙ(ak=1∣ek−,ℱk)=ℙ(ak=1∣ℱk)=qk.\mathbb{P}( a_k=1 \mid e_k^-, \mathcal F_k ) = \mathbb{P}( a_k=1 \mid \mathcal F_k ) = q_k.

  3. Candidate command sequences are evaluated open loop between replanning updates.

4.2. Moment matching over correction outcomes

Under the stochastic-acceptance model of Section 3.4, let event ak=1a_k = 1 denote correction acceptance at time kk. Likewise, ak=0a_k = 0 denotes rejection. The first and second moments of estimator-error are defined for each branch as mrej=𝔼[e+∣a=0,ℱ],Prej=Cov(e+∣a=0,ℱ),macc=𝔼[e+∣a=1,ℱ],Pacc=Cov(e+∣a=1,ℱ).\begin{aligned} m_{\mathrm{rej}} &= \mathbb{E}[e^+\mid a=0,\mathcal F], & P_{\mathrm{rej}} &= \operatorname{Cov}(e^+\mid a=0,\mathcal F), \\ m_{\mathrm{acc}} &= \mathbb{E}[e^+\mid a=1,\mathcal F], & P_{\mathrm{acc}} &= \operatorname{Cov}(e^+\mid a=1,\mathcal F). \end{aligned} An exact first-two-moment closure of the branches arises from the laws of total expectation and covariance, yielding the posterior error correction model:

m+=(1−q)mrej+qmacc,P+=(1−q)Prej+qPacc+q(1−q)(macc−mrej)(macc−mrej)⊤.\begin{aligned} m^+ &= (1-q)m_{\mathrm{rej}} + q m_{\mathrm{acc}}, \\ P^+ &= (1-q)P_{\mathrm{rej}} + qP_{\mathrm{acc}} \\ &\quad+ q(1-q) (m_{\mathrm{acc}}-m_{\mathrm{rej}}) (m_{\mathrm{acc}}-m_{\mathrm{rej}})^\top . \end{aligned} (12) The first two covariance terms model within-branch uncertainty, and the final term models the spread between the branch means. This final covariance term is zero precisely when the accepted and rejected branch means coincide and 0<q<10<q<1.

4.3. Effect of predictable estimator error

We apply this mixture to the error model established in Section 3.4. In particular, define the ak=0a_k=0 branch moments mrej=m−m_{\mathrm{rej}}=m^- and Prej=P−P_{\mathrm{rej}}=P^-. The ak=1a_k=1 branch is defined by (11), with resulting branch moments macc=Jm−m_{\mathrm{acc}}=Jm^- and Pacc=JP−J⊤+WP_{\mathrm{acc}}=JP^-J^\top+W.

Proposition 2 (Intermittent correction of biased error).

Let an accepted correction occur with probability q∈(0,1)q\in(0,1) under Assumption 1, and define v=(J−I)m−.v=(J-I)m^-. Then the post-event estimator-error mean is m+=[(1−q)I+qJ]m−,m^+ = \big[(1-q)I+qJ\big]m^-, (13) and its covariance is P+(m−)=P+(0)+q(1−q)vv⊤,P^+(m^-) = P^+(0) + q(1-q)vv^\top, (14) where P+(0)=(1−q)P−+q(JP−J⊤+W).P^+(0) = (1-q)P^- + q\left(JP^-J^\top+W\right).

Proof. Substituting mrej=m−m_{\mathrm{rej}} = m^-, Prej=P−P_{\mathrm{rej}} = P^-, macc=Jm−m_{\mathrm{acc}} = Jm^-, and Pacc=JP−J⊤+WP_{\mathrm{acc}} = JP^-J^\top+W into (12) gives (13)–(14). ◻

Therefore, in general, scalar inflation alone cannot reconstruct the stochastic-acceptance uncertainty of (12).

Error trajectories branch after stochastic corrections, showing the additional uncertainty created by different corrected and uncorrected error means.
Figure 2 details and data

Possible futures after stochastic corrections

Figure 2. Intermittent correction of biased error (Proposition 2) using a scalar example with q=0.5q=0.5 and J=0.2J=0.2. Sensor loss leaves the estimator-error with a predictable mean m−≈2m^-\approx 2. Once observation is restored, each correction opportunity (ticks) is accepted with probability qq, so the possible futures branch into those already corrected (green) and those not yet corrected (orange). The exact moments (blue) cover both groups. Additional covariance spread PP is induced by q(1−q)vv⊤q(1-q)vv^\top, which vanishes for m−=0m^- = 0. Noise inflation R↦R/qR\mapsto R/q (dashed band) treats each opportunity as a weaker but certain correction, so it falls between the groups. After the first correction opportunity, its 2σ2\sigma band contains under 2% of possible futures, against over 99% for exact moments. Ten representative paths of 2×1042\times10^4 simulations are drawn.

4.4. Zero-mean limit

Setting m−=0m^-=0 in Proposition 2 gives m+=0,P+=(1−q)P−+q(JP−J⊤+W).\begin{aligned} m^+&=0, \\ P^+ &= (1-q)P^- + q\left( JP^-J^\top +W \right). \end{aligned} (15)For a linear-Gaussian correction with J=I−KHJ=I-KH, W=KRK⊤W=KRK^\top, Sc=0S^c=0, P−=V−P^- = V^-, and K=V−H⊤(HV−H⊤+R)−1,K = V^-H^\top \left( HV^-H^\top+R \right)^{-1}, (15) reduces to P+=P−−qP−H⊤(HP−H⊤+R)−1HP−.P^+ = P^- - qP^-H^\top \left( HP^-H^\top+R \right)^{-1} HP^- . (16)

This is precisely a modified-Riccati update, using the familiar intermittent-measurement correction [4]. Our proposed propagation therefore contains the conventional zero-mean recursion as the special case for m−=0m^- = 0, with additional terms appearing only when the rejected and accepted branches have different predicted means.

4.5. Comparison with probability-based noise inflation

For the stochastic correction, define the exact expected correction map J‾≜(1−q)I+qJ=I−qKH\bar J \triangleq (1-q)I+qJ = I-qKH, hence m+=J‾m−m^+ = \bar Jm^-. Under noise-inflated update R↦R/qR\mapsto R/q, define J̃≜I−K̃H\widetilde J\triangleq I-\widetilde KH. Probability-based noise inflation R↦R/qR\mapsto R/q gives K̃=qP−H⊤(qHP−H⊤+R)−1.\widetilde K = qP^-H^\top \left( qHP^-H^\top+R \right)^{-1}. (17) For 0<q<10<q<1, P−≻0P^-\succ0, R≻0R\succ0, and full-row-rank HH, K̃≠qK,J̃≠J‾.\widetilde K\neq qK, \qquad \widetilde J\neq\bar J. (18) For (18), equality K̃=qK\widetilde K=qK would imply (1−q)HP−H⊤=0(1-q)HP^-H^\top=0, which contradicts HP−H⊤≻0HP^-H^\top\succ0. Its covariance update is similarly P̃+=J̃P−J̃⊤+K̃(Rq)K̃⊤,\widetilde P^+ = \widetilde J P^-\widetilde J^\top + \widetilde K \left(\frac{R}{q}\right) \widetilde K^\top, (19) which is independent of m−m^-. In contrast, P+(m−)−P+(0)=q(1−q)(J−I)m−(m−)⊤(J−I)⊤.P^+(m^-)-P^+(0) = q(1-q) (J-I)m^- (m^-)^\top (J-I)^\top . (20)

Therefore, since noise inflation generally mismatches the expected mean update and its covariance update is bias-independent, it cannot represent bias-dependent recursion for an arbitrary m−m^-.

4.6. Recursive rollout closure

The proposed stochastic-correction recursion remains closed for the augmented error-recency state χk=[ek,rk]⊤\chi_k = [e_k, r_k]^\top. The corresponding branch-conditioned moments are (μχ,rej,Σχ,rej)(\mu_{\chi,\mathrm{rej}},\Sigma_{\chi,\mathrm{rej}}) and (μχ,acc,Σχ,acc),(\mu_{\chi,\mathrm{acc}},\Sigma_{\chi,\mathrm{acc}}), which propagate according to μχ+=(1−q)μχ,rej+qμχ,acc,Σχ+=(1−q)Σχ,rej+qΣχ,acc+q(1−q)(μχ,acc−μχ,rej)(μχ,acc−μχ,rej)⊤.\begin{aligned} \mu_\chi^+ &= (1-q)\mu_{\chi,\mathrm{rej}} + q\mu_{\chi,\mathrm{acc}}, \\ \Sigma_\chi^+ &= (1-q)\Sigma_{\chi,\mathrm{rej}} + q\Sigma_{\chi,\mathrm{acc}} \\ &\quad+ q(1-q) (\mu_{\chi,\mathrm{acc}}-\mu_{\chi,\mathrm{rej}}) (\mu_{\chi,\mathrm{acc}}-\mu_{\chi,\mathrm{rej}})^\top . \end{aligned} (21)

5. Task-Weighted Estimation Risk and Receding-Horizon Planning

5.1. Task projection

Define the projection of estimator-error into task-relevant coordinates as δyk≃Gkek,\delta y_k \simeq G_k e_k, (22) where GG is the Jacobian which maps estimator-coordinates into task-space. Let τi,i∈[1,ny]\tau_i,i\in [1,n_y] be the set of tolerances on each task axis, which defines the successful task-completion set. The task-normalized cost metric can be constructed as:

M=diag(τ1−2,…,τny−2).M = \operatorname{diag} \left( \tau_1^{-2}, \ldots, \tau_{n_y}^{-2} \right). (23)

5.2. Task-weighted estimation risk

Compensation of the current physical nominal does not set mk=0m_k=0, and so mkm_k remains the predicted mean of the external estimator error, determining future correction outcomes and their task-space effect.

Projecting the planner-conditioned error-moments into task-space enables the computation of task-normalized estimation risk. Let the expected task-normalized estimation risk metric be defined as ℛE≜𝔼[∥Gkek∥M2|ℱk]\mathcal R_E \triangleq \mathbb{E}[\lVert G_ke_k\rVert^2_M | \mathcal F_k]. Hence ℛE(mk,Pk)=(Gkmk)⊤M(Gkmk)+tr(MGkPkGk⊤).\mathcal R_E(m_k,P_k) = (G_km_k)^\top M(G_km_k) + \operatorname{tr} \left( MG_kP_kG_k^\top \right). (24) This risk metric can be decomposed, such that ℛE=ℛm+ℛP\mathcal R_E = \mathcal R_m + \mathcal R_P for the predictable-bias risk ℛm=∥Gkmk∥M2\mathcal R_m = \lVert G_km_k\rVert^2_M and covariance risk ℛP=tr(MGkPkGk⊤)\mathcal R_P = \operatorname{tr}(MG_kP_kG_k^\top). This identity is exact for the supplied moments (m,P)(m,P) and fixed, ℱk\mathcal F_k-measurable projection GkG_k, requiring only finite second moments.

5.3. Receding-horizon planning objective

Let 𝐮c=(uc|c,…,uc+N−1|c)\mathbf u_c = \left( u_{c|c}, \ldots, u_{c+N-1|c} \right) be the set of candidate controls from which the planner chooses. The planner evaluates candidates through open-loop recursion. Define the planner’s compensated state belief x‾ℓ+1|c=f(x‾ℓ|c,uℓ|c)\bar x_{\ell+1|c} = f(\bar x_{\ell|c},u_{\ell|c}) and corresponding correction-probabilities evolution as qℓ|c=𝒬(x‾ℓ|c,rℓ|c,Ic)q_{\ell|c} = \mathcal Q(\bar x_{\ell|c}, r_{\ell|c}, I_c). Through bias-prediction, the first and second moments propagate according to (mℓ+1|c,Pℓ+1|c)=ℬ(mℓ|c,Pℓ|c,uℓ|c,qℓ|c)(m_{\ell+1|c},P_{\ell+1|c}) = \mathcal B(m_{\ell|c},P_{\ell|c},u_{\ell|c},q_{\ell|c}).

Define the estimator-risk cost given the selected control as JE(𝐮c)=∑k=cNℛE(mk|c,Pk|c)J_E(\mathbf u_c) = \sum_{k=c}^N\mathcal R_E(m_{k|c},P_{k|c}) (25) Candidate controls affect JEJ_E through both error flow and qq

We define the optimal candidate selection as 𝐮c⋆=argmin𝐮c∈𝕌c[Jnom(𝐮c)+wEJE(𝐮c)].\mathbf u_c^\star = \arg\min_{\mathbf u_c\in\mathbb U_c} \left[ J_{\mathrm{nom}}(\mathbf u_c) + w_E J_E(\mathbf u_c) \right]. (26) where JnomJ_{\mathrm{nom}} prices the error-compensated mean state. The first segment of the optimal policy uc=uc|c⋆u_c=u_{c|c}^\star is applied, and the replanning closes the loop at the next estimator report.

Two candidate braking trajectories have the same sensing schedule, but different predicted estimation risk because their commands occur at different times.
Figure 3 details and data

Compare candidate commands at a shared rollout time

Figure 3. Candidate commands can affect estimator error despite identical sensing (illustrative one-dimensional task-relative model). Both candidates lose observability over the same interval (shaded), so their correction probabilities qq are identical. Both candidates also command the same total deceleration, with candidate A braking during sensing loss and B braking before. A covariance-only evaluation (m≡0m \equiv 0, dashed), typical of Gaussian belief-space planning approaches, predicts the same risk for both trajectories. The full model attributes predictable estimator error to A’s unobserved maneuvering, so A’s risk, in tolerance-normalized units according to (24), is dominated by ℛm\mathcal R_m (dark), peaking at 2.5 ×\times that of trajectory B.

5.4. Cross-entropy optimization

We address this planning problem using a Cross-Entropy-based receding-horizon formulation [18], [19].

When the estimator outputs information IkI_k, error moments (mc,Pc)(m_c, P_c) are initialized, and the planner compensates the estimates according to (4). Candidate command sequences are then sampled from a distribution. For each command tape, physical nominal dynamics and estimator-error moments are propagated, with which 𝒬\mathcal Q, GkG_k, MM, and ℛE\mathcal R_\mathrm{E} are evaluated. The objective of (26) is then evaluated, and the minimum-cost trajectory candidate is selected. The first command segment of this trajectory is applied, the candidate distribution is shifted for the next sampling pass, and the algorithm is repeated from the next public report.

6. Identification and Validation

A model may be constructed analytically, using known error dynamics of the system, or identified using data generated from source-trajectories. A fitted model must pass both development, selection, and closed-loop testing conditions to be considered a fully qualified error model.

6.1. Initialization and mean-error identification

At update kk, let νk\nu_k be the estimator’s public innovation. Initializing mcm_c from a causal affine map of the most recent LL innovations available at planning time cc, the coefficients a0a_0 and AiνA_i^\nu are fit offline on development data, to satisfy the equation: mc=a0+∑i=0L−1Aiννc−i,m_c = a_0 + \sum_{i=0}^{L-1} A_i^\nu \nu_{c-i}, (27)

Define the between-correction rate-of-change of the estimator error

Δk≜ek+1−−ek+δ.\Delta_k \triangleq \frac{ e_{k+1}^- - e_k^+ }{\delta}. (28)

as the regression target for parameter fitting, excluding correction jumps from the fit. These correction jumps are handled separately by JJ, WW, and ScS^c.

The rate-model coefficients are fit to this target accordingly:

Δk=Aek++b+Bϕk+Λzzk+εkfit,\Delta_k = A e_k^+ + b + B\phi_k + \Lambda_z z_k + \varepsilon_k^{\mathrm{fit}}, (29) which directly implies (5) under forward Euler. In particular, Aek+Ae_k^+ is the model dependence on current estimator error, bb is the autonomous drift coefficient, BϕkB\phi_k is the dependence predictable from planner-available features (e.g. command-related and recency-related features), Λzzk\Lambda_zz_k is the temporally correlated residual structure, and ϵk\epsilon_k is the remaining, unexplained fitting residual.

6.2. Residual covariance

After fitting the mean error dynamics model, we form the one-step residual η̂k=ek+1−−Fek+−δ(b+Bϕk+Λzzk),\widehat\eta_k = e_{k+1}^- - F e_k^+ - \delta \left( b+B\phi_k+\Lambda_z z_k \right), by subtracting the model’s predicted error increment from the observed between-correction transition. The recency covariance terms are fit to the covariance of this residual, modeled by (6). The Q(i)Q^{(i)} terms are fit using between-correction transitions from development data, targeting the empirical second moments η̂kη̂k⊤\hat \eta_k \hat\eta_k^\top and regressors 11, (1−rj,k)(1-r_{j,k}), and (1−rj,k)2(1-r_{j,k})^2 subject to positive-semidefiniteness constraints.

6.3. Correction and acceptance identification

For accepted-correction events, JkJ_k is taken directly from the estimator’s public update map when available. Otherwise, it is identified from paired pre- and post- correction errors by weighted least squares Ĵ=argminJ∑k|ekacc−Jek−|22\widehat J = \arg\min_J \sum_{k} \left| e_k^{\mathrm{acc}}-Je_k^- \right|_2^2. Using ϵ̂kc=ekacc−Ĵkek−,\widehat\epsilon_k^c = e_k^{\mathrm{acc}} - \widehat J_k e_k^-, the correction-noise covariance and pre-correction cross-covariance are estimated from the residual second moments. These moments are estimated within the same operating regimes used by the selected error model.

The parameters of the correction-probability mapping 𝒬\mathcal Q are fit from the binary labels aka_k using the candidate-correction samples θ̂q=argminθq−∑k[aklogqk(θq)+(1−ak)log(1−qk(θq))]\widehat\theta_q = \arg\min_{\theta_q} - \sum_{k} [ a_k\log q_k(\theta_q) + (1-a_k)\log\left(1-q_k(\theta_q)\right)]. Known cadence or geometric components of 𝒬\mathcal Q are supplied analytically. Only unidentified components are estimated from data.

7. Shipboard landing: model identification and closed-loop evaluation

We instantiate the surrogate planning problem for landing a T1 Ranger vertical-takeoff-and-landing vehicle on a ship deck. The VTOL is represented by a 20-component state comprising position, unit quaternion, translational velocity, angular velocity, four aerodynamic-surface joint positions, and three thrust states. The seven control inputs comprise four joint-rate commands and three throttle commands. The vehicle dynamics are evaluated using an aerodynamic rigid-body model with actuator states. We then identify predictive error models for, and consider planner performance across, three independent estimators: a truth-driven estimator error-emulator, an inertial Extended Kalman Filter (EKF), and an inertial Gaussian-sum filter.

Prior work on ship-deck recovery problems assume usable state estimates and address the control and visual servoing problem presented to the planner [20], [21], [22]. We seek to investigate what happens to the estimate when the deck target leaves the sensors’ fields of regard, and how the planner should respond.

7.1. Shipboard task, dynamics, sensing, and success

Define WW, BB, and DD as the world, VTOL-body, and deck frames, respectively, and let RABR_{AB} map coordinates from frame BB into frame AA. The deck-relative state is defined by p=RDW(pBW−pDW),R=RDWRWB,v=RDW(vBW−vDW)−ωWDD×p,ω=RωWBB−ωWDD.\begin{aligned} p &=R_{DW}(p_B^W-p_D^W), & R &=R_{DW}R_{WB}, \\ v &=R_{DW}(v_B^W-v_D^W)-\omega_{WD}^{D}\times p, & \omega &=R\omega_{WB}^{B}-\omega_{WD}^{D}. \end{aligned} (30) Thus, v=ṗv=\dot p includes the rotating-deck-frame contribution. We denote the resulting relative state by ζD=(p,R,v,ω)\zeta_D=(p,R,v,\omega).

The aircraft state is xA=(pBW,qWB,vBW,ωWBB,θ,T)∈ℝ20x_A=(p_B^W,q_{WB},v_B^W,\omega_{WB}^{B},\theta,T)\in\mathbb R^{20}, where θ∈ℝ4\theta\in\mathbb R^4 contains the joint positions and T∈ℝ3T\in\mathbb R^3 the thrust states. Its dynamics are ẋA=fT1(xA,uact)\dot x_A=f_{T1}(x_A,u^{\mathrm{act}}), with four commanded joint rates and three throttle inputs; the thrust states have time constant τT=0.040s\tau_T=0.040\,\mathrm{s}.

The planner defines the task-relative coordinates using the deck-relative coordinates above, with y=[p−p*Log(RR*⊤)v−v*ω],R*=I.y= \begin{bmatrix} p-p_*\\ \operatorname{Log}(RR_*^\top)\\ v-v_*\\ \omega \end{bmatrix}, \quad R_*=I. (31) The planner-facing estimator-error coordinates use the corresponding 12-dimensional local error e=[δp⊤,δϕ⊤,δv⊤,δω⊤]⊤e = [\delta p^\top, \delta \phi^\top, \delta v^\top, \delta\omega^\top]^\top where δϕ=Log(RR̂⊤)\delta\phi = \operatorname{Log}(R\hat R^\top).

Simulation terminates at first physical contact between the aircraft and the ship, or planner-declared abort. Success is then evaluated using the declared acceptable landing footprint and relative landing attitude, velocities, and angular rates.

7.2. Evaluated estimators and planners

We consider three estimator architectures: E1, a truth-driven controlled-error emulator, providing a biased truth-driven estimator to the planner, for mechanism validation, E2, an IMU-driven error-state EKF with aircraft/deck navigation, gyroscope and accelerometer biases, ignorant of commands, and E3, a two-mode Gaussian sum of the inertial EKFs, for which public covariance includes between-mode spread. These estimator backends differ in how they obtain their error response coefficients, with closed-form derivation for E1 and offline fitting for the filters. Anchors are initialized using a learned affine map of the four most recent causal 12D innovations, with separately fitted residual covariance P0P_0.

We additionally evaluate three planner variants: P1, our formulation, which compensates for predicted estimator error and penalizes an estimator risk metric, P2, a traditional belief-space planner for which covariance trace is the only penalized uncertainty term, and P3, a nominal-only planner. The planners are tuned identically, differing only in additional cost function terms.

7.3. Predictive error model identification and evaluation

We first evaluate whether the estimator-error model predicts error unavailable to a zero-mean model, and then whether its predicted moments are calibrated against subsequently realized estimator error.

The identified contracts exhibit strongly horizon and operating regime-dependent behavior. We therefore report prediction error by forecast horizon and trajectory regime rather than relying only on pooled loss, and discuss one of the qualified E2 error models as an illustrative case. In this model, the task-scaled mean-prediction loss was 8.16% lower than the zero-mean predictor when pooled over two experimental datasets. However, this improvement was not uniform with horizon. Over evaluation horizons of 0.25, 0.5, 1.0, and 2.0 s, the error reductions were 1.61%, 7.61%, 12.58%, and 6.39% respectively. Through the closed-loop experiments, E1 exhibited similarly horizon-dependent error dynamics to those of the identified E2 and E3 models. Along horizons of less than 0.25s, the E1 model reduced squared task-scaled prediction loss, relative to a zero-mean baseline, by 75.99%, which dropped to a 17.98% reduction between 0.25 and 0.5s, before an increase to 76.39% reduction for horizons longer than 2s.

Prediction quality also depended strongly on trajectory regime. In a separate E2 evaluation, the selected model reduced pooled prediction loss by 2.33%, but this aggregate improvement was concentrated in an operating regime with large velocities and task-relative offsets, where loss decreased by 5.52%. The same model performed worse than the zero-mean predictor during near and intermediate-range operating regimes, by 3.0% and 1.01% respectively. Hence, an error model that appears beneficial when averaged across a task distribution will not necessarily improve prediction in every portion of the maneuver. This regime dependence is particularly relevant in receding-horizon planning, because the distribution visited by the planner changes systematically as the vehicle progresses from approach to terminal alignment. These experiments show that estimator-error prediction is neither globally stationary nor characterized adequately by a single pooled accuracy or calibration metric. Predictive abilities can strengthen or reverse with horizon, transfer unevenly between regimes, and coexist with poor covariance calibration. We therefore interpret the planner-conditioned error model as a qualified local predictive model, whose claimed validity is tied to the trajectory regimes, forecast horizons, and source populations on which its mean and covariance has been evaluated.

Predictive performance of representative planner-conditioned error models. Losses are normalized by the zero-mean baseline L0L_0. LcondL_{\mathrm{cond}} is the loss of models that condition on planner information, while LautoL_{\mathrm{auto}} is the loss of those that ignore it. Positive Δμ\Delta_\mu and Δcond\Delta_{\mathrm{cond}} indicate improvement over the zero-mean and planner-ignorant baselines, respectively.
Estimator Candidate Lauto/L0L_{\mathrm{auto}}/L_0 Lcond/L0L_{\mathrm{cond}}/L_0 Δμ\Delta_\mu Δcond\Delta_{\mathrm{cond}}
E2 Best predictive 1.001 0.580 +42.0% +42.1%
E2 Qualified 0.739 0.640 +36.0% +13.4%
E2 Zero-mean baseline 1.000 1.000 +0.0% +0.0%
E3 Best predictive 0.846 0.727 +27.3% +14.0%
E3 Qualified 1.000 1.000 +0.0% +0.0%

7.4. Closed-loop landing performance

Matched VTOL landing trajectories for three planners, with the proposed planner reaching the deck capture region in the illustrated trial.
Figure 4 details and data

Replay one matched landing trial

Figure 4. Representative 2D projection of matched ship-deck landing trial. Curves show measured deck-relative truth trajectories for P1 (blue), P2 (orange), and P3 (purple). P1 reaches the capture region κ=0.73\kappa = 0.73 while P2 (κ=1.14\kappa = 1.14) and P3 (κ=15.03\kappa = 15.03) terminate outside it.

Across 16 matched trial groups using E1, P1 achieved 8/16 physical captures, compared with 6/16 for both P2 and P3. In the paired P1-P2 comparison, P1 was uniquely successful on five trials while P2 was uniquely successful on three. Notably, P1 obtained lower component-level capture gauges than P2 in pitch and pitch rate in 11/16 trials and in longitudinal velocity in 12/16 trials. Terminal task gauge also favored planner P1, with median gauges of 0.99, 1.60, and 1.87 for P1, P2, and P3 respectively. The corresponding mean gauges were 3.69, 9.71, and 3.57, respectively, although the P2 performance mean was strongly influenced by an isolated extreme failure. Thus, the matched trials show a modest observed capture advantage and improved typical terminal task state for P1, while the available cohort remains too small to establish a difference in capture probability. Beyond 2s, P2 underpredicted realized estimator error by a factor of 5.73, whereas P1 produced an observed-to-predicted ratio of 1.31.

8. Conclusion

This work introduced a model of planner-conditioned estimator error and its evolution through intermittent observation.

Our experiments show that this error can contain substantial predictable structure, though that structure is local, with prediction accuracy and risk calibration varying strongly with forecast horizon and operating regime. While our results show modest task-success and terminal-gauge improvement over existing planning formulations, our findings indicate that predictable estimator error can be planning-relevant, but exploiting it requires modeling identification over the regimes in which the model will be used. Future work should develop adaptive or regime-conditioned models, improve calibration of long-horizon risk, and evaluate the approach over larger closed-loop cohorts and stochastic deck motion.

Acknowledgment

ChatGPT 5.6 Sol (OpenAI) was used in the preparation of this document to generate TikZ code for figures 1, 2, and 3, conduct preliminary literature reviews, format equations in LaTeX, and proofread for notational consistency and grammar. All figures, equations, citations, and text were reviewed and confirmed by the authors, and the authors claim full responsibility for the content of this work.

References

[1]
R. P. A. R. T. A. L. K. A. T. Lozano-Perez, “Belief space planning assuming maximum likelihood observations,” in Proceedings of robotics: Science and systems, Zaragoza, Spain, 2010. doi: 10.15607/RSS.2010.VI.037.
[2]
S. Prentice and N. Roy, “The belief roadmap: Efficient planning in belief space by factoring the covariance,” The International Journal of Robotics Research, vol. 28, no. 11–12, pp. 1448–1465, 2009, doi: 10.1177/0278364909341659.
[3]
J. Van Den Berg, P. Abbeel, and K. Goldberg, “LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information,” Int. J. Rob. Res., vol. 30, no. 7, pp. 895–913, Jun. 2011, doi: 10.1177/0278364911406562.
[4]
B. Sinopoli, L. Schenato, M. Franceschetti, K. Poolla, M. I. Jordan, and S. S. Sastry, “Kalman filtering with intermittent observations,” IEEE Transactions on Automatic Control, vol. 49, no. 9, pp. 1453–1464, Sep. 2004, doi: 10.1109/TAC.2004.834121.
[5]
S. Yan, M. Cannon, and P. J. Goulart, “Stochastic output feedback MPC with intermittent observations,” Automatica, vol. 141, p. 110282, Jul. 2022, doi: 10.1016/j.automatica.2022.110282.
[6]
A. Piazzoni, J. Cherian, J. Dauwels, and L.-P. Chau, “PEM: Perception Error Model for Virtual Testing of Autonomous Vehicles,” IEEE Transactions on Intelligent Transportation Systems, vol. 25, no. 1, pp. 670–681, Jan. 2024, doi: 10.1109/TITS.2023.3311633.
[7]
S. Patil, Y. Duan, J. Schulman, K. Goldberg, and P. Abbeel, “Gaussian belief space planning with discontinuities in sensing domains,” in 2014 IEEE International Conference on Robotics and Automation (ICRA), May 2014, pp. 6483–6490. doi: 10.1109/ICRA.2014.6907816.
[8]
S. Rahman and S. L. Waslander, “Uncertainty-Constrained Differential Dynamic Programming in Belief Space for Vision Based Robots,” IEEE Robotics and Automation Letters, vol. 6, no. 2, pp. 3112–3119, Apr. 2021, doi: 10.1109/LRA.2021.3062338.
[9]
S. M. Chaves, J. M. Walls, E. Galceran, and R. M. Eustice, “Risk aversion in belief-space planning under measurement acquisition uncertainty,” in 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep. 2015, pp. 2079–2086. doi: 10.1109/IROS.2015.7353653.
[10]
S. D. Bopardikar, B. Englot, A. Speranzon, and J. van den Berg, “Robust belief space planning under intermittent sensing via a maximum eigenvalue-based bound,” The International Journal of Robotics Research, vol. 35, no. 13, pp. 1609–1626, 2016, doi: 10.1177/0278364916653816.
[11]
B. Kayalibay, A. Mirchev, A. Agha, P. van der Smagt, and J. Bayer, “Filter-aware model-predictive control,” in Proceedings of the 5th annual learning for dynamics and control conference, N. Matni, M. Morari, and G. J. Pappas, Eds., in Proceedings of machine learning research, vol. 211. PMLR, 2023, pp. 1441–1454.
[12]
K. Nagami and M. Schwager, “State Estimation and Belief Space Planning Under Epistemic Uncertainty for Learning-Based Perception Systems,” IEEE Robotics and Automation Letters, vol. 9, no. 6, pp. 5118–5125, Jun. 2024, doi: 10.1109/LRA.2024.3387139.
[13]
D. Falanga, P. Foehn, P. Lu, and D. Scaramuzza, “PAMPC: Perception-aware model predictive control for quadrotors.” 2018. Available: https://arxiv.org/abs/1804.04811
[14]
P. Trodden, P. Loma-Marconi, and I. Esnaola, “Stability and the Separation Principle in Output-Feedback Stochastic MPC with Random Packet Losses,” IFAC-PapersOnLine, vol. 56, no. 2, pp. 3818–3823, 2023, doi: 10.1016/j.ifacol.2023.10.1312.
[15]
L. Schenato, B. Sinopoli, M. Franceschetti, K. Poolla, and S. S. Sastry, “Foundations of Control and Estimation Over Lossy Networks,” Proceedings of the IEEE, vol. 95, no. 1, pp. 163–187, Jan. 2007, doi: 10.1109/JPROC.2006.887306.
[16]
Y. Bar-Shalom and E. Tse, “Tracking in a cluttered environment with probabilistic data association,” Automatica, vol. 11, no. 5, pp. 451–460, Sep. 1975, doi: 10.1016/0005-1098(75)90021-7.
[17]
B. Or, “Selection-Induced Contraction of Innovation Statistics in Gated Kalman Filters.” arXiv, May 2026. doi: 10.48550/arXiv.2512.18508.
[18]
M. Gonzales, E. Oh, and J. Moore, “A multimodal stochastic planning approach for navigation and multi-robot coordination.” 2025. Available: https://arxiv.org/abs/2509.19168
[19]
M. Kobilarov, “Cross-entropy motion planning,” The International Journal of Robotics Research, vol. 31, no. 7, pp. 855–871, 2012, doi: 10.1177/0278364912444543.
[20]
G. Cho, J. Choi, G. Bae, and H. Oh, “Autonomous ship deck landing of a quadrotor UAV using feed-forward image-based visual servoing,” Aerospace Science and Technology, vol. 130, p. 107869, Nov. 2022, doi: 10.1016/j.ast.2022.107869.
[21]
B. Herissé, T. Hamel, R. Mahony, and F.-X. Russotto, “Landing a VTOL Unmanned Aerial Vehicle on a Moving Platform Using Optical Flow,” IEEE Transactions on Robotics, vol. 28, no. 1, pp. 77–89, Feb. 2012, doi: 10.1109/TRO.2011.2163435.
[22]
D. Falanga, A. Zanchettin, A. Simovic, J. Delmerico, and D. Scaramuzza, “Vision-based autonomous quadrotor landing on a moving platform,” in 2017 IEEE International Symposium on Safety, Security and Rescue Robotics (SSRR), Shanghai, China: IEEE, Oct. 2017, pp. 200–207. doi: 10.1109/SSRR.2017.8088164.