REVIEW 2 major objections 7 minor 22 references
New Results on Parameter Estimation via Dynamic Regressor Extension and Mixing: Continuous and Discrete-time Cases
T0 review · 2 major / 7 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read DREM parameter estimators converge under excitation strictly weaker than persistence of excitation, and a new regressor choice provably speeds their transients.
desk verdict The finite-time alert estimator and the KRE unification are real contributions, but the advertised transient-performance guarantee in Prop 5 is wrong, so the paper needs major revision before it can be trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the extended regressor matrix $\Phi=H[\varphi^\top]$ built by applying $m$ scalar linear operators to the regressor, together with its determinant $\Delta=\det\{\Phi\}$. Mixing multiplies the extended vector equation $Y=\Phi\theta$ by the adjugate matrix, which by $\operatorname{adj}\{M\}M=\det\{M\}I$ yields $m$ independent scalar regressions $Y_i=\Delta\theta_i$; the gradient estimators on these scalar regressions have parameter error dynamics $\dot{\tilde\theta}_i=-\gamma_i\Delta^2\tilde\theta_i$ in continuous time, so performance is governed entirely by $\Delta^2$. The paper's new results are mechanisms for shaping $\Delta$: a delay-window operator that turns $\Delta$ into a sum of rank-one regressor products, relaxing persistence of excitation; a feedforward gain $d(t)=\operatorname{adj}\{\Phi_0(t)\}\varphi(t)$ that adds a positive quadratic term to $\det\{\Phi\}$, improving transients; and a sliding-window weighting $w^D(t)$ built from the last $T_D$ seconds of $\Delta^2$, enabling reset-free finite-time convergence.
What would settle it
Run the continuous-time DREM estimator of Proposition 5 with filter parameters chosen so that $\det\{\Phi_0(t)\}<0$ for some interval while $\varphi(t)\neq 0$, apply $d(t)=\operatorname{adj}\{\Phi_0(t)\}\varphi(t)$, and plot $|\tilde\theta_i(t)|$ against the $d=0$ case: if the parameter-error absolute value is not pointwise smaller, the claimed transient improvement fails for that sign.
Extended reading notes
Core claim
The central discovery is that both the transient speed and the excitation requirements of DREM estimators are controlled by the scalar determinant $\Delta=\det\{\Phi\}$ of the extended regressor matrix, and that this determinant can be shaped by choosing the free operator $H$. In discrete time, taking $H$ to be a window of delayed regressor samples yields $\Phi(k)=\sum_{j=k+1}^{k+\bar K}\varphi(j-(1+\bar K))\varphi^\top(j-(1+\bar K))$, so $\varphi(k)\in PE$ implies $\Delta(k)\notin\ell^2$ and $\Delta(k)\in PE$, while a decaying scalar example shows $\Delta(k)\notin\ell^2$ without $\varphi(k)\in PE$; thus DREM converges under strictly weaker excitation than gradient or least-squares estimators. In continuous time, choosing the feedforward gain $d(t)=\operatorname{adj}\{\Phi_0(t)\}\varphi(t)$ in the general LTV operator makes $\det\{\Phi(t)\}=\det\{\Phi_0(t)\}+|\operatorname{adj}\{\Phi_0(t)\}\varphi(t)|^2$, so the squared determinant and hence the exponential decay rate in the scalar parameter error equations is pointwise larger than for $d=0$. Finally, replacing the memoryless weighting $w(t)$ by $w^D(t)=\exp(-\gamma\int_{t-T_D}^{t}\Delta^2(s)\,ds)$ yields the identity $[1-w^D]\theta=\hat\theta(t)-w^D\hat\theta(t-T_D)$, from which a finite-time estimate can be formed that revives when excitation reappears.
Load-bearing premise
The load-bearing premise is that increasing the determinant $\det\{\Phi_0(t)\}$ to $\det\{\Phi_0(t)\}+|\operatorname{adj}\{\Phi_0(t)\}\varphi(t)|^2$ always increases the decay rate $|\Delta|^2$ in the error equation, which is only guaranteed when the two determinants have the same sign; the paper does not establish that sign condition.
Editorial extensions
If this is right
- In discrete time, DREM converges whenever $\Delta(k)$ is not square-summable, a condition strictly weaker than $\varphi(k)$ being persistently exciting; for example $\varphi(k)=(k+1)^{-1/4}$ is not PE but yields $\Delta(k)=(k+1)^{-1/2}\notin\ell^2$.
- If $\Delta$ is persistently exciting, convergence is exponential, and this is also weaker than $\varphi$ being PE in the qualified window sense of Proposition 3.
- The feedforward choice $d(t)=\operatorname{adj}\{\Phi_0(t)\}\varphi(t)$ makes each parameter error component strictly smaller at every time than the same DREM estimator without feedforward.
- The new finite-time estimator uses $w^D(t)=\exp(-\gamma\int_{t-T_D}^{t}\Delta^2(s)\,ds)$; when $\Delta$ grows over a window of length $T_D$, $w^D$ grows, so the finite-time property is regained without resetting the estimator, allowing tracking of time-varying parameters.
- The unified continuous- and discrete-time treatment makes the determinant $\Delta$ the single quantity to monitor for both classes of estimators.
Reading between the lines
- Editorial inference: if the determinant sign condition in Proposition 5 can be enforced or replaced by $|\det|$, the transient-improvement guarantee would extend to arbitrary sign; a natural test is to rerun the simulation with $\Phi_0$ chosen with negative determinant and compare error curves.
- Editorial inference: the delay-window construction of Proposition 3 suggests a continuous-time analogue where convergence is guaranteed by an integral-over-window condition on $\Delta$ rather than by PE; the paper leaves this extension to future work.
- Editorial inference: the same sliding-window $w^D$ mechanism could be applied to other DREM-based adaptive controllers and observers wherever parameter jumps or intermittent excitation are expected, since it removes the need for resets.
- Editorial inference: because the determinant $\Delta$ is scalar, it could serve as a real-time excitation monitor or as an excitation-injection target in composite adaptive control; this is not discussed in the paper.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies dynamic regressor extension and mixing (DREM) parameter estimators for linear regression models. Its main contributions are: (i) a unified presentation of continuous-time and discrete-time DREM; (ii) two new extended regressor constructions, one based on a sliding window in discrete time, claimed to achieve convergence under excitation strictly weaker than persistency of excitation (Prop. 3), and one adding a feedforward term d(t) to the mixing operator, claimed to guarantee a quantifiable transient performance improvement (Prop. 5); and (iii) a new finite-time convergent (FTC) estimator based on a sliding-window regressor that retains alertness to time-varying parameters (Prop. 7). The paper also shows that Kreisselmeier's regressor extension is a particular case of the proposed generalized operator. Simulations are presented for the transient-improvement and FTC claims.
Significance. If the weaker-than-PE convergence result and the alert FTC scheme were correct, they would be valuable for adaptive control and identification, where PE is a major bottleneck. The generalized LTV operator framework and the explicit determinant identities are useful conceptual tools, and the proofs of Props. 3 and 7 are self-contained and largely first-principles. However, the transient-improvement guarantee in Prop. 5 is false, and the simulation formula for the new FTC estimator is inconsistent with the theorem. Since the transient-improvement claim is central to the abstract's advertised contribution, the paper cannot be accepted in its present form; the remaining sound ideas are worth pursuing after a substantive revision.
major comments (2)
- [Section IV-C, Proposition 5 (Eqs. (25), (28), (29))] The proof of Proposition 5 establishes only that det Φ(t) = det Φ0(t) + |adj{Φ0(t)}φ(t)|^2 > det Φ0(t), but the parameter error equations (11) and their explicit solutions (25) depend on Δ^2 = det^2, not on det. The step from 'larger det' to 'faster convergence' is therefore valid only if det Φ0(t) ≥ 0 (or, more generally, if |det Φ(t)| > |det Φ0(t)|), which is not established. The claim is in fact false: take m=1, φ(t) = -1, and the LTI part of H equal to 1/(p+1). Then Φ0(t) = e^{-t} - 1 < 0, and (28) gives d(t) = -1, so Φ(t) = e^{-t}. Thus det Φ0(t) < det Φ(t), yet Δ_N^2(t) = e^{-2t} < Δ_0^2(t) = (1-e^{-t})^2 for sufficiently large t. Substituting into the exact solution (25) of (11) gives \tilde θ_N(t) = \tilde θ(0) exp(-γ(1-e^{-2t})/2) and \tilde θ_0(t) = \tilde θ(0) exp(-γ∫_0^t (1-e^{-s})^2 ds); hence |\tilde θ_N(t)| > |\tilde θ_0(t)| for all sufficiently large t, and \tilde θ_N(t) does not even converge to zero. This contradicts the universal inequality in Proposition 5. A sign-compensated choice of d(t), for example d(t) = -sgn(det Φ0(t)) adj{Φ0(t)}φ(t) with an appropriate gain, might restore a form of the result, but the theorem and its proof require substantial revision.
- [Section VI-B, formula for \hat θ^{FTC-D}_i(t)] The simulation formula for the new finite-time estimator in Section VI-B reads \hat θ^{FTC-D}_i(t) = [\hat θ_i(t) - wD_i(t)\hat θ_i(0)]/(1-wD_i(t)). However, Proposition 7 derives the identity [1-wD_i(t)]θ_i = \hat θ_i(t) - wD_i(t)\hat θ_i(t-T_D). Substituting \hat θ_i(0) for \hat θ_i(t-T_D) is not an identity for t > T_D, so the simulated scheme is not the estimator of Proposition 7, and its claimed finite-time convergence and alertness do not follow from the theory. The implementation should use \hat θ_i(t-T_D), and the simulations must be rerun. In addition, the statement of Proposition 7 contains a typo: the right-hand side should have \hat θ_i(t), not \hat θ(t).
minor comments (7)
- [Section II-C] In Section II-C, the word 'propostion' should be 'proposition'.
- [Section V-A] In Section V-A, first paragraph, 'mutivariable' should be 'multivariable'.
- [Section III, Proposition 3 proof] In the proof of Proposition 3, the displayed equivalence 'Φ(k) > 0, ∀k ⇔ φ(k) ∈ PE with K ≤ \bar K' is imprecise when \bar K > K; the condition Φ(k)>0 for all k is equivalent to φ being PE with window size \bar K, not with an unspecified size K ≤ \bar K. The intended counterexample is unaffected, but the claim should be restated.
- [Abstract and Introduction] The abstract and introduction advertise a 'unified treatment' of continuous- and discrete-time cases, but Propositions 3, 5, and 7 are each developed for a single time domain (DT for Prop. 3, CT for Props. 5 and 7). Section VII acknowledges that some CT results remain to be derived in DT; the wording should be tempered accordingly.
- [Section VI-B] In Section VI-B, the simulation description says the new FTC estimate is 'computed as soon as wD_i(t) < μ_i', but it does not specify what the estimator outputs when wD_i(t) ≥ μ_i; this should be stated for reproducibility.
- [Equation (36)] Equation (36) is derived under the standing assumption that Δ(t-T_D)=0 for t<T_D; this assumption is mentioned in the proof but could be highlighted in the proposition statement.
- [Acknowledgment] In the acknowledgments, 'supported by by' should read 'supported by'.
Circularity Check
No circularity: all new claims are proven from first-principles calculations; self-citations are routine and not load-bearing.
full rationale
The paper's new contributions—the strictly-weaker-excitation DREM estimator (Prop. 3), the proposed feedforward operator giving a transient improvement claim (Prop. 5), and the finite-time estimator with alertness (Prop. 7)—are each developed by explicit algebraic manipulation in the manuscript. The PEE (11), its closed-form solution (25), Sylvester's determinant identity, and the windowed-regressor identity (19) are all derived or stated with enough content that the conclusions follow from the displayed equations, not from a prior publication's verdict. The proof of Proposition 2 is cited to the authors' earlier DREM papers, but that proposition is an elementary scalar-gradient calculation and is independent, checkable support rather than a self-referential premise. The containment of Kreisselmeier's regressor extension in the proposed operator class (Prop. 4) is a direct substitution, not a renamed prediction. There is no fitted parameter later renamed as a prediction, no uniqueness theorem imported from the authors, and no ansatz smuggled in via citation. The correctness concern raised about Proposition 5—that the determinant inequality does not control the sign of the determinant and hence det^2 may decrease—is a genuine mathematical gap in the proof, not a circularity: the claimed result is not equivalent to its inputs by construction. Therefore the circularity score is 0.
Assumptions & free parameters
free parameters (4)
- window length \bar K =
integer ≥ m (chosen in Prop 3)
- gradient gain γ_i =
positive constant (γ=1, γ=2 in simulations)
- clipping threshold μ_i =
0.98 in simulations
- sliding window T_D =
0.2 in simulations
assumptions (5)
- domain assumption The estimation error ε_t in LRE (1) is exponentially decaying and can be omitted (Section II).
- domain assumption The operator H is linear and BIBO stable, so Y = H[y] = H[φ^T]θ = Φθ (Eq. (6)).
- standard math Adjugate identity adj{M}M = det{M}I_m, cited from [12] and used in Eq. (7).
- standard math Sylvester's determinant formula det(A+bc^T)=det(A)+c^T adj(A) b, used in Prop 5.
- standard math PE window monotonicity: if φ ∈ PE with window K, then it is PE for any window \bar K ≥ K (used in Prop 3).
Cite this review
Pith. "Pith review of New Results on Parameter Estimation via Dynamic Regressor Extension and Mixing: Continuous and Discrete-time Cases." pith.science (2026). https://pith.science/paper/4E5C6NNX
@misc{pith2026190805125,
author = {Pith},
title = {Pith review of: New Results on Parameter Estimation via Dynamic Regressor Extension and Mixing: Continuous and Discrete-time Cases},
year = {2026},
howpublished = {\url{https://pith.science/paper/4E5C6NNX}},
note = {Machine review of arXiv:1908.05125}
}
read the original abstract
We present some new results on the dynamic regressor extension and mixing parameter estimators for linear regression models recently proposed in the literature. This technique has proven instrumental in the solution of several open problems in system identification and adaptive control. The new results include: (i) a unified treatment of the continuous and the discrete-time cases; (ii) the proposal of two new extended regressor matrices, one which guarantees a quantifiable transient performance improvement, and the other exponential convergence under conditions that are strictly weaker than regressor persistence of excitation; and (iii) an alternative estimator ensuring parameter estimation in finite-time that retains its alertness to track time-varying parameters. Simulations that illustrate our results are also presented.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
A.Annaswamy, F. Skantze and A. Loh, Adaptive control of c ontinuous time systems with convex/concave parametrization, Automatica, vol. 34, no. 1, pp. 33-49, 1998
work page 1998
-
[2]
S. Aranovskiy, A. Bobtsov, R. Ortega and A. Pyrkin, Perfo rmance enhancement of parameter estimators via dynamic regressor extension and mixing, IEEE Trans. Automatic Control , vol. 62, no 7, pp.3546- 3550, 2017
work page 2017
-
[3]
Astolfi, D
A. Astolfi, D. Karagiannis and R. Ortega, Nonlinear and Adaptive Control with Applications, Springer-V erlag, Berlin, Communications and Control Engineering, 2008
2008
-
[4]
A. Belov, S. Aranovskiy, R. Ortega, N. Barabanov and A. Bo btsov, Enhanced parameter convergence for linear systems identifi cation: The DREM approach, 2018 European Control Conference , Limassol, Cyprus, 12-15/06, 2018. (To appear in Int. J. on Adaptive Control and Signal Processing)
work page 2018
- [5]
-
[6]
N. Cho, H. Shin, Y . Kim and A. Tsourdos, Composite MRAC wit h parameter convergence under finite excitation, IEEE Trans. Automatic Control, vol. 63, no. 3, pp. 811-818, 2018
work page 2018
-
[7]
G. Chowdhary, T. Y ucelen, M. Mhlegg and E. Johnson, Concu rrent learning adaptive control of linear systems with exponenti ally convergent bounds, Int. J. on Adaptive Control and Signal Processing , vol. 27, no. 4, pp. 280-301, 2013
work page 2013
-
[8]
D. Gerasimov, R. Ortega and V . Nikiforov, Adaptive contr ol of mul- tivariable systems with reduced knowledge of high frequenc y gain: Application of dynamic regressor extension and mixing esti mators, 18th IF AC Symposium on System Identification, (SYSID 2018) , Stockholm, Sweden, July 9-11, 2018
work page 2018
Show all 22 references
-
[9]
Goodwin and K.S
G.C. Goodwin and K.S. Sin, Adaptive Filtering Prediction and Control , Prentice-Hall, 1984
1984
-
[10]
Ioannou and J
P . Ioannou and J. Sun, Robust Adaptive Control, Prentice–Hall, NJ, 1996
1996
-
[11]
Kreisselmeier, Adaptive observers with exponentia l rate of conver- gence, IEEE Trans
G. Kreisselmeier, Adaptive observers with exponentia l rate of conver- gence, IEEE Trans. Automatic Control , vol. 22, no. 1, pp. 2-8, 1977
1977
-
[12]
Lancaster and M
P . Lancaster and M. Tismenetsky, The Theory of Matrices , Academic Press, NY , 1985
1985
-
[13]
Lion, Rapid identification of linear and nonlinear systems, AIAA Journal, vol
P .M. Lion, Rapid identification of linear and nonlinear systems, AIAA Journal, vol. 5, pp. 1835-1842, 1967
1967
-
[14]
X. Liu, R. Ortega, H. Su and J. Chu. Immersion and invaria nce adaptive control of nonlinearly parameterized nonlinear systems, IEEE Trans. Automatic Control, vol. 55, no. 9, pp. 2209-2214, 2010
2010
-
[15]
X. Liu, R. Ortega, H. Su and J. Chu, On adaptive control of nonlinearly parameterized nonlinear systems: towards a constructive p rocedure, Systems and Control Letters , vol. 10, pp. 36-43, 2011
2011
-
[16]
Ljung, System Identification: Theory for the User , Prentice Hall, New Jersey, 1987
L. Ljung, System Identification: Theory for the User , Prentice Hall, New Jersey, 1987
1987
-
[17]
Narendra and A
K. Narendra and A. Annaswamy, Stable Adaptive Systems, Prentice Hall, New Jersey, 1989
1989
-
[18]
Ortega, L Praly, S
R. Ortega, L Praly, S. Aranovskiy, B Yi and W. Zhang, On dy namic regressor extension and mixing parameter estimators: Two L uenberger observers interpretations, Automatica, vol. 95, pp. 548-551, 2018
2018
-
[19]
Ortega, V
R. Ortega, V . Nikiforov and D. Gerasimov, On modified par ameter estimators for identification and adaptive control: A unifie d framework and some new schemes, ITMO Int. Report , 2018
2018
-
[20]
Roy and S
S.B. Roy and S. Bhasin and I.N. Kar, Combined MRAC for unk nown MIMO LTI systems with parameter convergence, IEEE Transactions on Automatic Control, vol. 63, no. 1, pp. 283-290, 2018,
2018
-
[21]
Sastry and M
S. Sastry and M. Bodson, Adaptive Control: Stability, Convergence and Robustness, Prentice-Hall, New Jersey, 1989
1989
-
[22]
B. Yi, R. Ortega, H. Siguerdidjane, J. Machado and W. Zha ng, On generation of virtual outputs via signal injection: Applic ation to observer design for electromechanical systems, LSS-Supelec Int. Report , 2018. 8
2018
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.