{"id":"2f8245db-7001-44b2-8698-4695fd26b8fa","arxiv_id":"2504.16445","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A power-based oscillation compensator is extended with online biased-harmonic estimation and demonstrated experimentally on a fifth-order actuator.","lead":"This paper combines a discrete power-based controller with online estimation of the frequency, amplitude, and bias of an oscillating output, and tests the combination on a fifth-order actuator with a free-hanging load. The result is a plug-in compensator that stabilizes an otherwise unstable oscillation with only two control updates per period, which could lower communication needs in non-collocated control loops.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The phase-synchronization delay in Eq. (5) relies on an approximate G̃, and no error margin is given; since a phase error can turn damping into excitation, robustness of T is load-bearing and should be quantified.","rationale":"The reader's weakest assumption is the approximate feed-forward model G̃ used for the phase-synchronization delay T, and the same concern is the most load-bearing for the paper's central claim. The power-based control operates by injecting sign-definite impulses at extrema, so its stabilizing or destabilizing effect depends directly on the phase alignment of the delayed control signal. Since Section 2 explicitly acknowledges that G̃ ≈ G(s)s² is approximate and that uncertainties are not taken into account, the paper itself identifies the soft spot; however, it stops at the acknowledgment and does not quantify a phase-error margin. The single experimental run in Fig. 6 demonstrates that the nominal tuning works, but it cannot by itself establish robustness to model error. A phase sweep in simulation or experiment would settle whether the approximate synchronization is safely within a stabilizing region. The reader's verdict of CONDITIONAL is therefore appropriate, and the proposed test does not move it; it sharpens the condition.","tokens_in":8791,"tokens_out":8842,"duration_ms":96407,"concrete_test":"Using the identified G̃(s) from Eq. (17) and the same estimator/controller as in Section 5, sweep T around the nominal value from Eq. (5) by ±5%, ±10%, and ±20% (equivalently, phase perturbations at 2ω of roughly ±9°, ±18°, and ±36°), keeping K=2.4, and record whether the load position stays bounded and how the peak oscillation amplitude changes. If a small perturbation such as ±10% causes divergence or a large amplitude increase, the model-based synchronization is not robust; if a wide interval of T values preserves stability, the concern is mitigated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The damping mechanism is phase-critical: at each output extremum the controller applies a sign-definite impulse kω²Â, and if the delayed impulse in Eq. (6) arrives at the wrong part of the oscillation cycle it adds energy instead of removing it. The delay T is set by Eq. (5) from arg G̃(j2ω), where the paper explicitly states that only an approximative G̃ ≈ G(s)s² can be assumed because disturbances and feedback propagation at the input of the double integrator are not taken into account. No sensitivity analysis or stability margin for T is provided, and the supporting experimental evidence is a single successful run (Fig. 6) with one manually selected gain K=2.4. Because the same mechanism that damps can destabilize under a sufficiently large phase error, the approximate synchronization model is the most load-bearing assumption. The paper's own text in Section 2 acknowledges the uncertainty but does not connect it to a bound on phase error or to the observed stability. The finite-time label for the amplitude/bias estimator is an additional overstatement, but the phase-model robustness is the critical gap for the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper combines a recently proposed discrete power-based oscillation compensator (Ruderman 2024b) with online biased-harmonic estimation following Ahmed et al. (2022) and Wang et al. (2020b). The control law (2)-(6) applies a sign-definite impulse at output extrema, with an analytically computed gain factor and a delay T that synchronizes the impulse with the input of a double integrator in the plant. The amplitude, bias, and frequency estimates are obtained from linear regressions (8)-(11), with a finite-time option for the frequency estimate. The combined scheme is demonstrated experimentally on a fifth-order voice-coil actuator with a free-hanging load under an unstable PI feedback, where the power-based control is switched on at t=2.5 s and the output is stabilized (Fig. 6).","tokens_in":9038,"tokens_out":3692,"duration_ms":35547,"significance":"If the claims hold, the paper offers a low-communication plug-in option for damping oscillatory outputs using only amplitude, frequency, and bias estimates, and it improves the impulse weighting by analytic calculation. The experimental demonstration on a real fifth-order system with noise and an unstable base loop is a valuable independent check of the estimation algorithms. The finite-time frequency estimator and the persistence-of-excitation analysis in Section 4 are useful, and the authors are transparent about the approximation in the synchronization model.","major_comments":[{"comment":"The phase-synchronization delay T is computed from arg G̃(j2ω̂), where G̃ ≈ G(s)s² is explicitly approximative and ignores disturbances and feedback propagation at the double-integrator input. Since the sign-definite impulse (6) damps only if it arrives at the correct phase and can add energy otherwise, the central stability claim rests on an unquantified phase-model assumption. The manuscript should provide a phase-error bound or a sensitivity/stability analysis, for example a sweep over T or a phase-margin computation, and connect it to the experimental run with K=2.4.","section":"Section 2, Eq. (5)"},{"comment":"The assertion that the power-based control stabilizes the otherwise unstable load position is supported by a single experimental run with one manually selected gain K=2.4 and no repeated trials, error bars, or quantitative performance metrics. Please provide multiple runs, statistics such as mean and variance of convergence time and residual amplitude, and ideally a robustness test varying K within the allowed range (7).","section":"Section 5.3, Fig. 6"},{"comment":"The abstract and conclusions describe 'finite-time estimation of the biased harmonics,' but finite-time convergence is claimed and cited only for the frequency estimator (10). The bias and amplitude estimates (11) are standard gradient descent with exponential or asymptotic convergence under persistence of excitation, not finite-time. Please restrict the finite-time claim to the frequency estimate or provide a finite-time estimator for the full parameter vector.","section":"Abstract and Section 3"}],"minor_comments":[{"comment":"The phrase 'convergence prosperities' should be 'convergence properties.'","section":"Section 1, paragraph 4"},{"comment":"The definition of Â(t*) uses sign(y(t*) − Ŷ0) multiplied by Â, but  is introduced as a positive amplitude; please clarify that this expression denotes a signed amplitude estimate.","section":"Eq. (3)"},{"comment":"The reference 'Vediakova et al. (2020)' is incomplete, ending with 'report'; please provide the full bibliographic entry.","section":"References"},{"comment":"Several labels in Fig. 1 appear corrupted or garbled (for example '1s/g16', 'u/g99'); please provide a clean version with all blocks and signals properly labeled.","section":"Fig. 1"},{"comment":"The upper gain bound is quoted as |G̃(jω)|^{-1}=4.24, but Eq. (7) uses ω while the online estimate ω̂ varies; please clarify which frequency is used in the experimental calculation.","section":"Section 5.3, Eq. (7)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and the core idea is appealing, but the experimental validation currently rests on a single run. The phase-synchronization robustness issue is the main technical risk and should be addressed with explicit analysis or additional experiments before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real integration of two known components, and the experimental stabilization of a PI-destabilized load (Fig. 6) is a genuine result. It is not a new theory paper, and the advertised 'finite-time' label covers only the frequency estimator. The main soft spot is the phase synchronization delay T, which is load-bearing and has no robustness margin.\n\nThe paper combines Ruderman's discrete power-based control with the Ahmed/Efimov biased-harmonic estimator. That combination is new, and it is evaluated on a real fifth-order actuator with gravity and noise. The experiment shows a diverging load position being brought to reference once the power-based loop is switched on. That is worth having, especially because the control only needs output extrema and three parameter estimates, which is exactly the low-communication setting the authors claim. The PE analysis in Section 4 that guides the choice of tau is also reasonable and useful.\n\nThe weaknesses are in proportion to how incremental the contribution is. First, the phase delay T in Eq. (5) is computed from an approximate feed-forward model G_tilde approx G(s)s^2, with the paper itself admitting that feedback propagation and disturbances at the input of the double integrator are not taken into account. Since an error in T can flip damping into excitation, the lack of a phase-error margin or sensitivity analysis is a genuine gap. Second, the finite-time claim is overstated: Eq. (10) gives finite-time frequency estimation, but the amplitude and bias estimates come from the standard gradient descent (11), which is only asymptotic. The abstract and conclusions say 'finite-time estimation of the biased harmonics,' which will mislead a reader. Third, the experimental support is one successful run with one manually tuned gain K=2.4. No repeated trials, no error bars, no quantitative settling or noise metrics. For a claim that the controller 'stabilizes' the system, that is thin. Fourth, the 'improved analytic calculation of the impulse weighting factor' is not actually derived; we see a bound in (7) and a reference to Ruderman 2024b for the optimal k. If the improvement is in the bound, it should be shown step by step.\n\nThe citation pattern is heavy on the authors' own prior work, but that is legitimate: the building blocks are theirs, and they say so. I do not see a circularity problem; the estimation algorithms are generic and the experimental success is an external check.\n\nWho should read this: people working on non-collocated oscillation compensation, drill strings, flexible structures. It deserves a serious referee, but with the expectation of major revisions: the phase robustness needs a quantitative treatment, the finite-time language needs correcting, and the experiments need more runs and a sensitivity study.\n\nRecommendation: send to peer review, but flag these issues. It is not a desk reject, and it is not a breakthrough.","headline":"A genuine plug-in demonstration: power-based control plus online biased-harmonic estimation stabilizes a real fifth-order actuator, but the phase-synchronization robustness and single-run evidence keep it incremental.","tokens_in":9497,"tokens_out":3668,"would_cite":false,"duration_ms":33770,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A control that fires two impulses per oscillation period, with frequency, amplitude, and bias estimated online, stabilizes the otherwise diverging load position of a fifth-order actuator.","keywords":["power-based control","oscillations compensation","frequency estimation","biased harmonics","finite-time parameter estimation","discrete feedback control"],"falsifier":"Set up the same fifth-order actuator, deliberately misidentify the feed-forward model by a phase error of $\\pm 30^\\circ$ at the oscillation frequency, and run the power-based controller with the nominal gain $K = 2.4$; if the load oscillation amplitude grows rather than shrinks, or if no $K$ in $1 < K < 4.24$ restores boundedness, the stabilization claim is contingent on an exact model phase.","tokens_in":1599,"feed_emoji":"⚙️","tokens_out":3186,"duration_ms":70331,"temperature":0.7,"pith_summary":"This paper claims that a discrete power-based controller, which applies only two constant impulses per oscillation period, can stabilize an otherwise unstable oscillatory output when the frequency, amplitude, and bias of that output are estimated online. The authors extend the earlier power-based control scheme with a finite-time biased-harmonic estimator and an improved analytic expression for the impulse gain. They demonstrate experimentally that the combined scheme keeps the load position bounded on a fifth-order actuator with a free hanging load under gravity and measurement noise, even though the base PI feedback alone drives the same output to diverge. The significance is practical: the control loop needs only two updates per oscillation period, drastically reducing communication effort in non-collocated sensing-actuation configurations.","feed_headline":"Two impulses per cycle stabilize an unstable load","feed_subtitle":"Online frequency, amplitude, and bias estimates make a two-update-per-period controller stop a diverging actuator.","key_machinery":"The central mechanism is the discrete power-based compensator: at each detected extremum of the detrended output $y(t) - \\hat{Y}_0$, a rectangular impulse $u' = k\\hat{\\omega}^2\\hat{A} \\operatorname{sign}(y(t^*) - \\hat{Y}_0)$ is applied with $k = \\sqrt{3}/(2\\pi)$, scaled by the gain $K$, and delayed by $T$ to align it with the internal double-integrator input of the plant. The supporting estimator uses the regression identity $y(t-3\\tau) - y(t-2\\tau) + y(t-\\tau) - y(t) = 2\\cos(\\omega\\tau)(y(t-2\\tau)-y(t-\\tau))$, which turns frequency estimation into a scalar linear regression whose finite-time gradient update (10) produces $\\hat{\\omega} = \\tau^{-1}\\arccos(\\hat{\\theta}_0)$. A second regression in the basis $[1, \\sin \\hat{\\omega} t, \\cos \\hat{\\omega} t]$ then recovers the bias $\\hat{Y}_0$ and amplitude $\\hat{A}$, giving the controller all the harmonic parameters it needs.","core_discovery":"The paper establishes that the discrete power-based controller (Eqs. (2)–(6)), augmented by the online estimator in Eqs. (10)–(11), stabilizes the load position of the fifth-order actuator that an unstable PI loop alone makes diverge. The control commutates twice per oscillation period at the extrema of the detrended output, applying a rectangular impulse whose magnitude depends on the estimated frequency $\\hat{\\omega}$ and amplitude $\\hat{A}$, and whose timing is synchronized through a delay $T$ computed from the feed-forward sub-dynamics $\\tilde{G}(s)$. With the power-based control switched on at $t = 2.5$ s, the measured load position in Fig. 6 remains bounded around the reference, while the online estimates of $\\hat{\\omega}$, $\\hat{A}$, and $\\hat{Y}_0$ stay convergent. The paper also provides an improved analytic calculation of the impulse weighting factor $K$, bounding it as $1 < K < |\\tilde{G}(j\\omega)|^{-1}$ and selecting $K = 2.4$ in the experiment.","pith_inferences":["Because the delay $T$ is the only model-dependent quantity, the scheme could be made adaptive by replacing the fixed feed-forward model with an online-estimated phase lag, directly addressing the acknowledged model uncertainty in Section 2.","The regression identity used here is specific to a single sinusoid plus bias; an analogous construction with more delay taps should yield finite-time estimates for multi-harmonic signals, which would matter for applications like torsional drill-string vibrations with several dominant harmonics.","A natural testable extension is to start the estimator and the controller simultaneously from rest and measure how many oscillation periods are needed before the amplitude stops growing, which would quantify the transient cost of online estimation."],"forward_implications":["The same controller should stabilize marginally damped oscillations ($\\sigma = 0$) as well as slowly diverging ones ($\\sigma > 0$), provided the output channel can be approximated as a double integrator in series with a low-pass plant.","Only two control updates per oscillation period are required, so the sensor-to-actuator communication rate can be extremely low compared with conventional sampled feedback.","The estimator converges within a few periods under persistence of excitation, so the power-based control can be switched on after divergence has already begun, as the experiment does at $t = 2.5$ s.","The analytic gain bounds $1 < K < |\\tilde{G}(j\\omega)|^{-1}$ give a concrete tuning interval; the experiment selects $K = 2.4$, comfortably inside the computed bound of $4.24$.","If the phase model $\\tilde{G} \\approx G(s)s^2$ is accurate, the same two-impulse strategy transfers to other non-collocated oscillatory systems, such as flexible structures or drill strings, without requiring full state feedback."],"supporting_citations":[{"why":"Introduces the discrete power-based control scheme with two impulses per period that this paper extends.","marker":"Ruderman (2024b)"},{"why":"Supplies the biased-harmonic estimation regression used for online frequency, amplitude, and bias estimation.","marker":"Ahmed et al. (2022)"},{"why":"Provides the finite-time gradient algorithm in Eq. (10) that converges without persistent excitation.","marker":"Wang et al. (2020b)"},{"why":"Gives the excitation-dependent tuning rules and convergence-rate estimates used for the adaptation gains.","marker":"Efimov and Fradkov (2015)"},{"why":"Provides the identified fifth-order model and experimental setup parameters used in the case study.","marker":"Ruderman (2023)"}],"fun_headline_variants":["Two impulses per cycle tame an unstable actuator","Online harmonic estimates stabilize a diverging load","Discrete power control quells output oscillations","Biased harmonic estimation enables two-pulse stabilization","Finite-time estimation fixes unstable actuator control"],"cache_read_input_tokens":11776,"weakest_assumption_plain":"The load-bearing premise is that the feed-forward model $\\tilde{G} \\approx G(s)s^2$ predicts the phase lag accurately enough that the fixed delay $T$ from Eq. (5) places the two impulses per cycle at the part of the oscillation where they remove energy rather than add it; if the model phase is wrong, the same impulses can amplify the oscillation.","fun_headline_variants_meta":{"raw":{"variants":["Two impulses per cycle tame an unstable actuator","Online harmonic estimates stabilize a diverging load","Discrete power control quells output oscillations","Biased harmonic estimation enables two-pulse stabilization","Finite-time estimation fixes unstable actuator control"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000138,"raw_usage":{"total_tokens":1123,"prompt_tokens":887,"completion_tokens":236,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":503,"completion_tokens_details":{"reasoning_tokens":169}},"tokens_in":503,"tokens_out":236,"duration_ms":2547,"temperature":1.0,"reasoning_tokens":169,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:03:34.343561+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Set up the same fifth-order actuator, deliberately misidentify the feed-forward model by a phase error of $\\pm 30^\\circ$ at the oscillation frequency, and run the power-based controller with the nominal gain $K = 2.4$; if the load oscillation amplitude grows rather than shrinks, or if no $K$ in $1 < K < 4.24$ restores boundedness, the stabilization claim is contingent on an exact model phase.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the biased-harmonic estimation regression used for online frequency, amplitude, and bias estimation."},{"cited_title":"and Fradkov, A","cited_arxiv_id":null,"evidence_quote":"Gives the excitation-dependent tuning rules and convergence-rate estimates used for the adaptation gains."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the identified fifth-order model and experimental setup parameters used in the case study."}],"review_version":1}