import re, json, html, os, sys, datetime from urllib.parse import quote_plus from latex2mathml.converter import convert ARGMIN_BAD = 'argmin' def mml(tex, block=False): m = convert(tex, display="block" if block else "inline") return m.replace(ARGMIN_BAD, 'arg min') EQ = {} # key -> number WORD = {} # "eqN" -> UnicodeMath def eq(key, tex, word): n = len(EQ) + 1 EQ[key] = n WORD[f"eq{n}"] = word return (f'

{mml(tex, True)}

' f'({n})

') def ref(k): return f'Equation ({EQ[k]})' def inline(text): text = re.sub(r"\$(.+?)\$", lambda m: mml(m.group(1)), text) return text def eqs_range(a, b): return f'({EQ[a]})–({EQ[b]})' parts = [] P = lambda t: parts.append(f"

{inline(t)}

") H2 = lambda num, t, id_: parts.append(f'

{num}{t}

') E = lambda *a: parts.append(eq(*a)) RAW = parts.append H1 = lambda num, t, id_: parts.append(f'

{num}{t}

') def trow(cells, tag="td"): return "" + "".join(f"<{tag}>{inline(c)}" for c in cells) + "" # ---------------------------------------------------------------- content H1("2", "Problem formulation", "sec2") H2("2.1", "Motivation", "s21") P("Hybrid simulation relies on the transfer system to impose the computed displacements on the specimen. When the " "outer controller loop loses stability, the actuator drives the specimen beyond its target displacements. Such " "instability creates safety hazards for laboratory personnel and can also damage the specimen and expensive " "equipment such as the actuator and servo-valve. Instability then necessitates early termination of the " "test, and the experiment is lost before the planned loading is completed. Because the specimen may already be damaged, the test must be repeated with a new specimen. " "The dynamics of the experiment are not fixed, because the specimen itself can change during the test. {citet:maghareh} noted that a failure in part of the " "physical substructure can drastically change its dynamics. They also noted that such a change affects the safety " "and integrity of the experiment.") P("{citet:gomaa} showed that specimen degradation can cause this instability even when the outer controller is properly " "tuned for the initial state. As the specimen degrades, its stiffness decreases and the same controller produces a " "larger response. This results in gain amplification in the outer controller loop, which reduces its gain margin. " "Conventional time-delay-based margins can miss this mechanism, so {citet:gomaa} proposed the NCF online stability " "indicator (NCF OSI) based on the NCF margin. This finding encourages the use of the NCF margin in this study. However, that finding was obtained from a virtual hybrid simulation, so this section " "examines whether the same mechanism appears in a physical experiment.") H2("2.2", "Experimental setup", "s22") P("Figure 1 shows the experimental setup, in which the specimen is a steel column representing the physical " "substructure. Its base is anchored to a concrete block " "with four Hilti anchors, and its top is connected to the actuator. An MTS hydraulic actuator with a capacity of " "10 kip imposes the lateral displacement at the top of the column. The internal LVDT of the actuator measures this " "displacement, which serves as the feedback signal of the outer controller loop. A Speedgoat real-time target runs " "the outer controller and sends the command to the actuator at 2048 Hz.") RAW('

Steel column specimen anchored to a concrete block and loaded laterally by an MTS actuator — **Figure 1.** Experimental setup: steel column specimen anchored to a concrete block and loaded laterally by a hydraulic actuator.

') P("The goal of the tests is to compare the outer controller loop before and after damage. The plant is first " "identified in the initial state, while the anchorage is undamaged and the specimen has its initial stiffness. The " "specimen is then pushed laterally until the concrete around the anchors cracks and the base loses part of its " "rotational stiffness. Finally, the plant of the degraded specimen is identified, and Section 2.3 compares " "the two states.") P("No numerical substructure is involved in the tests of this section, and the measured force is therefore not fed " "back. The reference $u(t)$ is a prescribed displacement, so only the outer controller loop is closed. As Figure 2 " "shows, the outer controller $C(s)$ acts on the tracking error $u(t)-y(t)$ and sends the command $v(t)$ to the " "plant $H(s,k)$. The measured displacement $y(t)$ is then fed back to the controller, which closes the loop with " "unity feedback.") RAW('''

Figure 2. Outer controller loop with a prescribed reference u(t), used to identify the plant H(s,k) in the initial and damaged states.

''') H2("2.3", "Effect of degradation on stability", "s23") P("The plant $H(s,k)$ was experimentally identified before and after the anchorage damage, and the two identified plants are denoted " "$H_0$ and $H_d$. In each state, band-limited white noise up to 80 Hz was applied through the loop of Figure 2 with " "the same PID controller $C(s)$. A parametric model was then fitted to the transfer function from the command $v(t)$ " "to the measured displacement $y(t)$. In the initial state, the lateral stiffness of the specimen at the actuator " "control point was $k_0=7.20$ MN/m. After the anchorage was damaged, the lateral stiffness fell to 5.38 MN/m, or " "$0.75\\,k_0$, which is a 25% loss.") P("In the loop of Figure 2, the controller $C(s)$ is the same in both states, and only the specimen " "changes. The open-loop transfer function is therefore $L_0=CH_0$ in the initial state and $L_d=CH_d$ in the " "damaged state. The chordal distance between $L(j\\omega)$ and the critical point $-1$ is") E("chi", r"\chi(\omega)=\frac{|1+L(j\omega)|}{\sqrt{2\big(1+|L(j\omega)|^{2}\big)}},", "χ(ω)=(|1+L(jω)|)/√(2(1+|L(jω)|^2)),") P("and its minimum over frequency is the NCF margin, presented by {citet:vinnicombe} as the generalized stability margin. Figure 3 compares the experimentally " "identified frequency responses of the two states and their chordal distances.") RAW('

Open-loop magnitude, phase and chordal distance for the initial and damaged systems — **Figure 3.** Experimentally identified open-loop frequency response of the outer controller loop and its chordal distance for the initial and damaged systems. Markers show the measured points, lines show the fitted models, blue dots show the NCF margins, and the dotted line shows the 0.4 guideline.

') P("The 25% loss of lateral stiffness raised the loop gain by a factor of about 2.4. However, the " "phase of the loop changed only slightly, as Figure 3 shows. The loss of stiffness therefore mainly amplifies the loop " "gain rather than adding phase lag. Consequently, the NCF margin falls from 0.59 at 35 Hz in the initial state to " "0.34 at 39 Hz in the damaged state, below the 0.4 guideline. These trends agree with the gain-amplification " "mechanism and the guideline proposed by {citet:gomaa}, so the mechanism also appears in a physical experiment.") H2("2.4", "Problem statement", "s24") P("These results expose a dilemma for a fixed outer controller, which must be tuned before the experiment begins. " "A controller tuned for the initial state becomes too aggressive once the specimen degrades, as Section 2.3 " "showed. Conversely, a controller tuned for the damaged state can remain stable but compromises tracking performance " "in the initial state. The specimen state is also highly uncertain during the experiment, so the appropriate tuning cannot " "be chosen in advance. The stability of the outer controller loop must therefore be quantified online based on the " "observed measurements. Updating the controller accordingly is then required so the experiment is completed safely and " "successfully. Section 3 presents a framework that meets both requirements by combining an online stability " "indicator with an adaptive controller.") H1("3", "Online NCF stability indicator framework for adaptive control", "sec3") RAW('

' + inline( "The NCF OSI introduced in Section 2.1 " "quantifies the robustness of the closed-loop system as the physical plant changes during the experiment. This study extends the analytical results to experimental implementation, " "discusses the challenges that arise, and proposes ways to address them. The proposed framework comprises two " "parts: an online estimator of the indicator and an adaptive controller that scales the outer controller output according to the estimated indicator. The " "indicator is estimated during the experiment from the desired displacement calculated by the numerical " "substructure and the measured actuator displacement. To this end, three estimator branches are combined at each " "frequency, each weighted by the confidence in its output. The first is direct identification, $b_{\\mathrm{id}}$, which " "estimates the closed-loop transfer function of the outer controller loop from the desired displacement $u(t)$ " "to the measured actuator displacement $y(t)$, with the $H_1$ cross-spectral estimator {citep:bendat}. The second is " "output-power inference, $b_{\\mathrm{pow}}$, which can detect loop amplification at frequencies that cannot " "be reliably identified. This branch compares the output power measured during the experiment against the " "reference recorded before the excitation. The third is the prior identification of the initial state, $b_{0}$, " "which serves as a fallback when insufficient information is available. The adaptive controller then uses the " "estimated indicator to scale the controller output by the adaptive factor $\\lambda$, keeping the loop stable " "with an adequate margin as the specimen degrades while retaining as much tracking performance as possible. " "This section presents the framework first and then its calibration against cases with a known margin.") + '

') H2("3.1", "Framework Architecture", "s1") P("In the hybrid simulation of Figure 4, the numerical substructure computes the desired displacement $d(t)$ " "from the ground acceleration and measured force $f_m(t)$. To compensate for transfer-system lag and improve tracking, " "a phase-lead compensator receives $d(t)$ and produces the reference $u(t)$. The outer controller $C(s)$ takes the " "tracking error $u(t)-y(t)$, where $y(t)$ is the measured actuator displacement. It scales its output by the adaptive " "factor $\\lambda\\in(0,1]$ to produce the command $v(t)$ sent to the plant $H(s,k)$.") P("The plant comprises the specimen of stiffness $k$ and the transfer system, which includes the inner-loop " "controller, servo-valve, and actuator. The control–structure interaction discussed by " "{citet:dyke} is also accounted for in the transfer-system dynamics. The measured force $f_m(t)$ is fed back to the numerical substructure " "and closes the numerical substructure loop. Similarly, the measured displacement $y(t)$ is fed back to the outer " "controller and closes the outer controller loop.") P("The NCF OSI block runs alongside the outer-controller loop and does not alter the signals within it. It collects " "the reference $u(t)$ and the measured displacement $y(t)$ over a moving window and estimates the NCF margin of " "the loop at each update. The adaptive law then compares this estimate with a target margin and updates " "the adaptive factor $\\lambda$. A lower margin reduces $\\lambda$ to restore stability, while a sufficient margin " "lets $\\lambda$ recover toward one to retain tracking performance.") RAW('''

Figure 4. Hybrid simulation loop with the NCF OSI framework setup.

''') P('The plant in Figure 4 is characterized by the transfer function $H(s,k)=Y(s)/V(s)$ from the command $v(t)$ ' 'to the measured actuator displacement $y(t)$. The open-loop transfer function of the outer controller loop and ' 'its closed-loop response from $u(t)$ to $y(t)$ are') E("L", r"L(s,\lambda,k)=\lambda\,C(s)\,H(s,k),", "L(s,λ,k)=λ C(s) H(s,k)") E("T", r"T(s,\lambda,k)=\frac{Y(s)}{U(s)}=\frac{L(s,\lambda,k)}{1+L(s,\lambda,k)},", "T(s,λ,k)=(Y(s))/(U(s))=(L(s,λ,k))/(1+L(s,λ,k))") P('Here $U(s)$, $Y(s)$ and $V(s)$ are the Laplace transforms of $u(t)$, $y(t)$ and $v(t)$, respectively. The NCF stability margin ' 'of the outer controller loop is evaluated for the loop $L$ under unity feedback {citep:glover}:') E("bncf", r"b_{\mathrm{NCF}}(L)=\inf_{\omega}\chi(\omega).", "b_(\"NCF\") (L)=\"inf\"┬ω χ(ω).") P('As the specimen changes during a hybrid simulation, the loop $L(j\\omega)$ changes with it, and so does its ' 'margin. {eq:bncf} ' 'could be applied directly only if $L(j\\omega)$ were identified with high confidence at every frequency, but ' 'online measurements rarely support this. The NCF OSI is therefore estimated from three complementary branches, ' 'which the following sections develop in turn. These are direct identification $b_{\\mathrm{id}}$, output-power inference $b_{\\mathrm{pow}}$ ' 'and the prior identification of the initial state $b_0$.') H2("3.1.1", "Direct identification branch, " + inline("$b_{\\mathrm{id}}$"), "s2") P('Identifying the closed-loop transfer function requires the autospectrum of reference $u(t)$ and the cross ' 'spectrum of measured actuator displacement $y(t)$ with $u(t)$. The autospectrum of $y(t)$ is also needed to ' 'calculate coherence, which helps set the identification weight at each frequency. A moving window lets these ' 'spectra follow changes in the specimen during the experiment instead of averaging over the whole record.') P('Each window contains $N=f_sT_w$ samples of $u(t)$ and $y(t)$, where $f_s$ is the sampling frequency and ' '$T_w$ is the window duration. Updates occur at intervals $\\Delta t$, so consecutive windows overlap when ' '$\\Delta t\eta_A\,\sigma_u,\\ 0, & \text{otherwise},\end{cases}", "A_n={■(1,&\"RMS\"(u_n)>η_A σ_u,@0,&\"otherwise\",)┤") P("where $\\operatorname{RMS}(u_n)$ is the root mean square of the command samples in the considered window $n$, " "$\\sigma_u$ is the standard deviation of the command noise measured in a quiet record, and $\\eta_A$ is a " "hyperparameter to be tuned. The second factor is the input leverage $\\ell_n$, which reduces " "the weight of bins that carry little command energy. To measure this, the command power in each bin is first " "normalized by its maximum over $\\Omega$:") E("prel", r"\ell_{\mathrm{raw},n}(\omega)=\frac{\bar{p}_{uu,n}(\omega)}{\max_{\nu\in\Omega}\bar{p}_{uu,n}(\nu)}.", "ℓ_(\"raw\",n) (ω)=(p̄_(uu,n) (ω))/(\"max\"┬(ν∈Ω) p̄_(uu,n) (ν)).") P("The raw leverage then sets the weight of each bin through the threshold $\\ell_{\\mathrm{th}}$, expressed as a " "fraction of the peak command power. A bin with $\\ell_{\\mathrm{raw},n}$ well above $\\ell_{\\mathrm{th}}$ should " "receive a weight close to one, and a bin well below it a weight close to zero:") E("lev", r"\ell_n(\omega)=\frac{\ell_{\mathrm{raw},n}(\omega)}{\ell_{\mathrm{raw},n}(\omega)+\ell_{\mathrm{th}}},", "ℓ_n (ω)=(ℓ_(\"raw\",n) (ω))/(ℓ_(\"raw\",n) (ω)+ℓ_(\"th\") ),") P("which changes smoothly between these limits and equals one half when $\\ell_{\\mathrm{raw},n}=\\ell_{\\mathrm{th}}$, " "that is, when the bin carries $\\ell_{\\mathrm{th}}$ times the peak command power. The leverage is relative to the peak bin, so $A_n$ is still needed to reject " "a command that is weak at all frequencies. The third factor is the " "coherence $\\gamma_n^{2}$ from {eq:coh}, which multiplies the activity and the leverage to complete the weight") E("conf", r"w_{\mathrm{id},n}(\omega)=A_n\,\gamma_n^{2}(\omega)\,\ell_n(\omega).", "w_(\"id\",n) (ω)=A_n γ_n^2 (ω) ℓ_n (ω).") P("This weight sets the share of direct identification in the per-frequency fusion of the three branches in " "Section 3.1.3.") H2("3.1.2", "Output-power inference branch", "s3") P("Where the command carries little energy, the identification weight $w_{\\mathrm{id},n}$ falls toward zero, and direct " "identification then provides little evidence of the margin. A degrading specimen can still reduce the margin of the " "outer controller loop at these frequencies, so a second source of evidence is needed. In this case, the output power " "still carries evidence, because the outer controller loop shapes every signal that enters it, including sensor noise. " "{citet:wu} used the active-power deviation and its rate of change to detect the positive-feedback " "mode of a virtual synchronous generator. The output-power inference branch is inspired by this approach and uses the " "change in output power as evidence of a reduced margin. To quantify this change at each frequency, the averaged " "output power is compared with its reference from the initial state:") E("qobs", r"q_{\mathrm{obs},n}(\omega)=\frac{\bar{p}_{yy,n}(\omega)}{p_{yy,0}(\omega)},", "q_(\"obs\",n) (ω)=(p̄_(yy,n) (ω))/(p_(yy,0) (ω)),") P("where $q_{\\mathrm{obs},n}$ is the observed power ratio at window $n$, which measures the change in output power at each frequency " "relative to the initial state. The averaged autospectrum of $y$ is $\\bar{p}_{yy,n}$ from {eq:ewyy}, and " "$p_{yy,0}$ is the reference autospectrum of $y$ recorded in the initial state.") P("The output-power branch detects a change by comparing the present output power with a reference from the initial state. " "A single window of output power fluctuates strongly, so a reference taken from one window could bias every later comparison. " "The reference autospectrum is therefore the median of three raw autospectra recorded in the initial state. " "These autospectra are taken at 0.5, 1.0 and 1.5 s after the start of the experiment, with $\\lambda=1$:") E("pyyref", r"p_{yy,0}(\omega)=\operatorname{med}\{p_{yy,n_1}(\omega),\,p_{yy,n_2}(\omega),\,p_{yy,n_3}(\omega)\},", "p_(yy,0) (ω)=\"med\"{p_(yy,n_1) (ω),p_(yy,n_2) (ω),p_(yy,n_3) (ω)},") P("where $n_1$, $n_2$ and $n_3$ are the corresponding updates, and the median discards one unusually loud or quiet window.") P("According to the experimental verification presented in " "Section 2.3, the change due to specimen degradation can be represented by an amplification $g$ of the open-loop gain. " "Consequently, a candidate loop $\\lambda_n g L_0$ with amplification $g$ predicts the power ratio relative to the " "initial state") E("qmod", r"q_{\mathrm{model},n}(\omega,g)=\left|\frac{1+L_0(j\omega)}{1+\lambda_n g\,L_0(j\omega)}\right|^{2},", "q_(\"model\",n) (ω,g)=〖|(1+L_0 (jω))/(1+λ_n g L_0 (jω))|〗^2,") P("where $q_{\\mathrm{model},n}$ is the predicted power ratio, and $L_0(j\\omega)=C(j\\omega)H_0(j\\omega)$ is the loop of " "the prior identification of the initial state. The amplification is then selected as the candidate in $\\mathcal{G}$ " "that minimizes the logarithmic difference between the observed and predicted ratios:") E("gfit", r"\hat{g}_n(\omega)=\underset{g\in\mathcal{G}}{\operatorname{arg\,min}}\;\left|\log q_{\mathrm{obs},n}(\omega)-\log q_{\mathrm{model},n}(\omega,g)\right|,", "ĝ_n (ω)=\"arg min\"┬(g∈𝒢) |log q_(\"obs\",n) (ω)−log q_(\"model\",n) (ω,g)|,") P("where $\\hat{g}_n$ is the selected amplification, and $\\mathcal{G}$ is a grid of candidate values of $g$.") P("The predicted ratio in {eq:qmod} assumes that only the loop has changed since the reference was recorded. " "At frequencies without excitation, however, the output consists mainly of sensor noise, and its power scatters " "because it is estimated from few windows. The reference is the median of only three windows, so it is also " "uncertain at these frequencies. Consequently, " "$\\hat{g}_n$ can indicate an amplification that does not exist, and the estimated margin would decrease without " "degradation.") P("The identified margin $b_{\\mathrm{id},n}$ cannot correct this error, because it is valid only at the excited " "frequencies. Degradation, however, changes the loop at all frequencies, so it also increases the magnitude of the " "identified loop at the excited frequencies. Section 2.3 observed such an increase by a factor of about 2.4 " "in the damaged specimen. " "A real amplification inferred from output power should therefore be accompanied by an increase in the identified " "loop. The factor $\\rho_n$ measures this increase and thus confirms whether the amplification indicated by " "$\\hat{g}_n$ is real.") P("The factor $\\rho_n$ is the real scale that best fits the prior loop $\\lambda_n L_0$ to the identified loop " "$\\hat{L}_n$ in the weighted least-squares sense:") E("rhols", r"\rho_n=\underset{\rho\in\mathbb{R}}{\operatorname{arg\,min}}\sum_{\omega\in\Omega}w_{\mathrm{id},n}^{2}(\omega)\,\big|\hat{L}_n(j\omega)-\rho\,\lambda_n L_0(j\omega)\big|^{2}.", "ρ_n=\"arg min\"┬(ρ∈ℝ) ∑_(ω∈Ω)▒〖w_(\"id\",n)^2 (ω) |L̂_n (jω)−ρ λ_n L_0 (jω)|^2〗.") P("The factor is real, consistent with the real amplification $g$ in {eq:qmod}, and each term of the sum expands as") E("rhoexp", r"\big|\hat{L}_n-\rho\lambda_n L_0\big|^{2}=|\hat{L}_n|^{2}-2\rho\operatorname{Re}\{\lambda_n L_0^{*}\hat{L}_n\}+\rho^{2}|\lambda_n L_0|^{2}.", "|L̂_n−ρ λ_n L_0|^2=|L̂_n|^2−2ρ Re{λ_n L_0^* L̂_n}+ρ^2 |λ_n L_0|^2.") P("Setting the derivative of the sum with respect to $\\rho$ to zero gives the closed-form solution") E("rho", r"\rho_n=\frac{\operatorname{Re}\{\sum_{\omega\in\Omega}w_{\mathrm{id},n}^{2}(\omega)\,\lambda_n L_0^{*}(j\omega)\,\hat{L}_n(j\omega)\}}{\sum_{\omega\in\Omega}w_{\mathrm{id},n}^{2}(\omega)\,|\lambda_n L_0(j\omega)|^{2}}.", "ρ_n=(Re{∑_(ω∈Ω)▒〖w_(\"id\",n)^2 (ω) λ_n L_0^* (jω) L̂_n (jω)〗})/(∑_(ω∈Ω)▒〖w_(\"id\",n)^2 (ω) |λ_n L_0 (jω)|^2〗).") P("The weight $w_{\\mathrm{id},n}$ lets the well-identified excited frequencies dominate, and the identified loop " "$\\hat{L}_n$ is taken before frequency-median smoothing. For an unchanged specimen $\\rho_n\\approx1$, whereas for " "the damaged specimen of Section 2 the loop increase gives $\\rho_n\\approx2.4$.") P("The confirmation $c_n$ then sets how much the amplification inferred from output power is trusted in the margin " "estimate. It depends on the loop increase $\\rho_n$ identified at the excited frequencies and is clipped between a " "lower bound and one:") E("confirm", r"c_n=\frac{\rho_n-1}{\rho_{\mathrm{th}}-1},\qquad c_n\in[\epsilon,\,1],", "c_n=(ρ_n−1)/(ρ_(\"th\")−1), c_n∈[ε,1],") P("where $\\rho_{\\mathrm{th}}$ is the confirmation threshold, and once $\\rho_n$ reaches it, $c_n$ equals one and " "the amplification inferred from output power is fully trusted. The lower bound $\\epsilon=0.1$ is a safety minimum " "that keeps some trust in the inferred amplification even when no loop increase is identified. It accounts for " "amplification that cannot be observed at any excited frequency, such as amplification from unmodeled dynamics or " "higher-mode effects. The inferred amplification is then pulled toward one when the confirmation is low, which " "gives the accepted amplification") E("gaccept", r"\tilde{g}_n(\omega)=1+c_n\big(\hat{g}_n(\omega)-1\big),", "g̃_n (ω)=1+c_n (ĝ_n (ω)−1),") P("where $\\tilde{g}_n$ is the accepted amplification, which replaces $\\hat{g}_n$ as the input of the recursive " "averaging in {eq:gmem}.") P("The accepted amplification at update $n$ inherits the scatter of $q_{\\mathrm{obs},n}$ and therefore varies between " "updates. To reduce this scatter while following the degrading specimen, successive accepted amplifications are averaged " "recursively. As for the spectra in Equations ({n:ewuu})–({n:ewyu}), more weight is placed on recent values, and " "the average is formed on a logarithmic scale:") E("gmem", r"\log\hat{g}_{\mathrm{s},n}(\omega)=(1-\eta_g)\log\hat{g}_{\mathrm{s},n-1}(\omega)+\eta_g\log\tilde{g}_n(\omega),", "log ĝ_(\"s\",n) (ω)=(1−η_g) log ĝ_(\"s\",n−1) (ω)+η_g log g̃_n (ω),") P("where $\\hat{g}_{\\mathrm{s},n}$ is the smoothed amplification, and $\\eta_g$ is the averaging factor that weights the " "newest accepted amplification. {eq:bncf} applied to the prior loop scaled by the smoothed amplification then " "gives the margin of this branch:") E("bres", r"b_{\mathrm{pow},n}=b_{\mathrm{NCF}}\big(\lambda_n\hat{g}_{\mathrm{s},n}L_0\big),", "b_(\"pow\",n)=b_(\"NCF\") (λ_n ĝ_(\"s\",n) L_0),") P("where $b_{\\mathrm{pow},n}$ is the output-power margin, which reflects the loop amplification inferred from output " "power and confirmed by the identified loop.") P("Besides being pulled toward one, an unconfirmed amplification should also carry little weight in the fused " "margin. The confirmation $c_n$ therefore also weights this branch, together with the identification weight, in " "the fusion of Section 3.1.3:") E("w", r"w_{\mathrm{pow},n}=(1-w_{\mathrm{id},n})\,c_n,", "w_(\"pow\",n)=(1−w_(\"id\",n) ) c_n,") P("where $w_{\\mathrm{pow},n}$ is the weight of the output-power branch, and $w_{\\mathrm{id},n}$ is the identification " "weight from {eq:conf}. Consequently, this branch receives the share left by direct identification, in proportion to " "the confirmation.") P("Unlike direct identification, which reflects both losses and gains in the stability margin, the output-power " "branch detects only open-loop gain amplification. Consequently, once the adaptive controller restores stability " "and the output power returns to its initial level, this branch cannot reflect a recovered loop. A recovery step is " "therefore introduced to release the remembered amplification once the output power indicates that the loop has " "recovered. While the median of $q_{\\mathrm{obs},n}$ over $\\Omega$ remains below one, the smoothed " "amplification is reduced gradually:") E("gdecay", r"\log\hat{g}_{\mathrm{s},n}(\omega)=r_g\,\log\hat{g}_{\mathrm{s},n-1}(\omega),", "log ĝ_(\"s\",n) (ω)=r_g log ĝ_(\"s\",n−1) (ω),") P("where $r_g$ is the recovery factor, with $0

Figure 5. Flowchart for calculating the NCF OSI margin b_OSI. The reference u and measured displacement y provide spectra for direct identification and output-power inference. These estimates are combined with the initial-state prior, and the resulting margin updates the adaptive factor λ.

''') T1 = [ ("$\\Delta t$", "0.125 s", "—", "Design", "Update interval"), ("$T_w$, $N$", "0.5 s, 1024", "—", "Design", "Window length at $f_s=2048$ Hz"), ("$\\Omega$", "2–80 Hz, 37 bins", "—", "Design", "Analysis set, 58–62 Hz rejected"), ("$\\eta_s$", "0.39", "0.25 s", "Calibrated", "Spectral averaging, Equations ({n:ewuu})–({n:ewyu})"), ("$\\eta_A$", "4.54", "—", "Calibrated", "Activity threshold relative to command noise, {eq:act}"), ("$\\ell_{\\mathrm{th}}$", "$10^{-3}$", "—", "Calibrated", "Input-leverage threshold, {eq:lev}"), ("$\\mathcal{G}$", "0.5–6, 25 values", "—", "Design", "Candidate loop-magnitude changes, {eq:gfit}"), ("$\\epsilon$", "0.1", "—", "Design", "Minimum confirmation, Equation ({n:confirm})"), ("$\\rho_{\\mathrm{th}}$", "1.5", "—", "Calibrated", "Confirmation threshold, Equation ({n:confirm})"), ("$\\eta_g$", "0.12", "1.0 s", "Calibrated", "Output-power memory, accumulation, {eq:gmem}"), ("$r_g$", "0.73", "0.4 s", "Calibrated", "Recovery factor per update, {eq:gdecay}"), ("$b_{\\mathrm{tar}}$", "0.40", "—", "Design", "Target NCF margin, Equation ({n:lerr})"), ("$\\kappa$", "0.625", "—", "Calibrated", "Adaptation gain per update, Equation ({n:lam})"), ("$\\mu$", "0.32", "—", "Calibrated", "Ratio of the recovery rate to the reduction rate of $\\lambda$"), ("$\\lambda_{\\min}$", "0.20", "—", "Design", "Smallest adaptive factor, Equation ({n:lam})"), ] H2("3.2", "Calibration", "s32") P("The framework of Section 3.1 contains 15 parameters, which are listed in Table 1 with their values and roles. " "Seven of them are design values set directly by the test and the analysis rather than by calibration. Among them, " "the window duration $T_w$ and the update interval $\\Delta t$ are defined in Section 3.1.1. " "The window duration of 0.5 s gives a frequency resolution of 2 Hz, which also sets the lower bound of $\\Omega$. " "The update interval of 0.125 s sets how often the indicator and $\\lambda$ are updated. The upper bound of " "$\\Omega$, 80 Hz, matches the band over which the plants were identified in Section 2.3. " "The grid $\\mathcal{G}$ spans the amplifications expected from degradation and includes the factor of about 2.4 " "observed in Section 2.3. The target $b_{\\mathrm{tar}}=0.4$ " "follows the guideline of {citet:gomaa}, and $\\lambda_{\\min}$ keeps part of the controller active.") P("The remaining eight parameters are hyperparameters, which are marked as calibrated in Table 1 and tuned in this " "section. They set how quickly the indicator follows a change, how much evidence each branch requires, and how " "strongly the adaptive factor responds. Their suitable values depend on the laboratory, the equipment, the specimen " "and its material, which differ between experiments. They therefore cannot be fixed from theory and must be calibrated " "against cases with a known margin.") RAW('

Table 1. Estimator parameters. Smoothing coefficients follow ' + inline("$\\eta=1-\\exp(-\\Delta t/\\tau)$") + ' from the listed time constant.

' + "" + trow(["Symbol", "Value", "$\\tau$", "Type", "Role"], "th") + "" + "".join(trow(r) for r in T1) + "

") P("The two plants identified in Section 2.3 provide such cases for the column specimen of this study. Because both models are known, the true NCF margin " "can be computed at every update and compared with the estimate. To impose damage numerically, both models " "receive the same command $v(t)$, and their outputs are mixed:") E("mix", r"y(t)=\big[1-\delta(t)\big]\,y_0(t)+\delta(t)\,y_d(t),", "y(t)=[1−δ(t)] y_0 (t)+δ(t) y_d (t),") P("where $y_0$ and $y_d$ are the outputs of $H_0$ and $H_d$, and $\\delta(t)\\in[0,1]$ is the damage index. Here " "$\\delta=0$ represents the initial state and $\\delta=1$ represents the damaged state identified in Section 2.3. " "While $\\delta$ is constant, superposition makes this mixture equivalent to the single linear plant " "$(1-\\delta)H_0+\\delta H_d$ driven by $v(t)$. The true margin at each update therefore follows from {eq:bncf} " "applied to the corresponding loop $\\lambda C\\big[(1-\\delta)H_0+\\delta H_d\\big]$. The mixture " "interpolates the responses of the two states and does not represent an intermediate stiffness.") P("The calibration cases combine three features, and the first is the damage history over a case duration of " "120 s. Sudden " "damage steps $\\delta$ from zero to one at 40 s and back to zero at 80 s. Gradual damage ramps $\\delta$ up " "between 20 and 50 s and back down between 70 and 100 s. The second feature is the excitation band of the " "reference $u(t)$, which is band-limited white noise with an RMS of 0.15 mm. Sensor noise with a standard deviation of " "0.05 mm is added to the measured displacement.") P("Wideband excitation covers 2 to 80 Hz and therefore includes the frequencies of the minimum margin, near " "35–38 Hz. Narrowband excitation covers only 2 to 10 Hz, so direct identification cannot observe the change at " "those frequencies, and only output-power inference can detect it. The third feature is the adaptive factor, which " "is either fixed at one or active during the case. With $\\lambda$ fixed, the cases test whether the indicator " "alone estimates the margin correctly as the damage changes. With $\\lambda$ active, the same cases test whether " "the loop is held at the target while tracking is retained. Table 2 lists the resulting eight cases, which cover " "every combination of the three features.") RAW('

Table 2. Calibration cases.

' '' + "" + trow(["Case", "Damage history", "Excitation", "Adaptive factor"], "th") + "" + "".join(trow(r) for r in [ ("1", "Sudden", "Wideband, 2–80 Hz", "Fixed, $\\lambda=1$"), ("2", "Gradual", "Wideband, 2–80 Hz", "Fixed, $\\lambda=1$"), ("3", "Sudden", "Narrowband, 2–10 Hz", "Fixed, $\\lambda=1$"), ("4", "Gradual", "Narrowband, 2–10 Hz", "Fixed, $\\lambda=1$"), ("5", "Sudden", "Wideband, 2–80 Hz", "Active"), ("6", "Gradual", "Wideband, 2–80 Hz", "Active"), ("7", "Sudden", "Narrowband, 2–10 Hz", "Active"), ("8", "Gradual", "Narrowband, 2–10 Hz", "Active"), ]) + "

") P("Figures 6 and 7 show the cases with $\\lambda$ fixed and active, respectively, and each column shows one case in " "three panels. The first panel shows the command and the measured displacement, and the second shows the damage " "index $\\delta$. The third " "compares the estimated $b_{\\mathrm{OSI}}$ with the true margin and $b_{\\mathrm{tar}}$, and shows $\\lambda$ " "in the adaptive cases.") RAW('

Calibration cases 1 to 4 with the adaptive factor fixed — **Figure 6.** Calibration cases 1–4 with the adaptive factor fixed at one.

') RAW('

Calibration cases 5 to 8 with the adaptive factor active — **Figure 7.** Calibration cases 5–8 with the adaptive factor active.

') P("Four simple metrics, listed in Table 3, summarize each case after the first 5 s of the record. The estimation " "error is the mean of $|b_{\\mathrm{OSI}}-b_{\\mathrm{NCF}}|$, which measures how closely the indicator follows the " "true margin. The roughness is the median of the second difference of " "$b_{\\mathrm{OSI}}$, multiplied by 1000, so steady changes are not penalized. The travel is the total variation " "of $\\lambda$, which measures how much the controller is adjusted. The unsafe time is the percentage of time " "with $b_{\\mathrm{NCF}}

Table 3. Calibration metrics with ' + inline("$b_{\\mathrm{tar}}=0.4$") + '.

' + "" + trow(["Case", "Estimation error", "Roughness", "Travel of $\\lambda$", "Unsafe time (%)"], "th") + "" + "".join(trow(r) for r in [ ("1", "0.014", "10.5", "—", "34.8"), ("2", "0.014", "11.8", "—", "25.1"), ("3", "0.017", "0.010", "—", "34.8"), ("4", "0.032", "0.52", "—", "25.1"), ("5", "0.014", "10.1", "1.44", "1.5"), ("6", "0.015", "11.1", "1.38", "0.0"), ("7", "0.022", "0.023", "2.44", "3.6"), ("8", "0.037", "0.53", "2.64", "1.0"), ]) + "

") P("Each case constrains the hyperparameters of the branch or the adaptive law that it exercises most strongly. " "The wideband cases set the spectral averaging $\\eta_s$, the " "activity threshold $\\eta_A$ and the leverage threshold $\\ell_{\\mathrm{th}}$ of direct identification. The " "narrowband cases set the output-power parameters, with their damage onset setting $\\rho_{\\mathrm{th}}$ and " "$\\eta_g$ and their return to the initial state setting $r_g$. The adaptive cases set the adaptation gain $\\kappa$ " "and the ratio $\\mu$ of the recovery rate to the reduction rate. The values in Table 1 were tuned on a wider " "benchmark, which included a closed-loop experimental record and a replay of a recorded hybrid simulation. The " "eight cases above therefore illustrate the behavior of these values rather than define the complete tuning.") H1("", "Appendix A. Assumptions and limitations", "appA") P("The estimator relies on four assumptions, and each one limits how the reported indicator should be interpreted.") RAW('

{inline(t)}

") REFS = { # key -> (in-text name, year, entry). Cite as {citet:key} "Name [n]" or {citep:key} "[n]". Numbered by first appearance. "glover": ("Glover and McFarlane", "1989", 'Glover, K., and McFarlane, D. (1989), “Robust stabilization of normalized coprime factor plant descriptions with H_∞-bounded uncertainty,” IEEE Transactions on Automatic Control, 34(8), 821–830. DOI: 10.1109/9.29424'), "vinnicombe": ("Vinnicombe", "1993", 'Vinnicombe, G. (1993), “Frequency domain uncertainty and the graph topology,” IEEE Transactions on Automatic Control, 38(9), 1371–1383. DOI: 10.1109/9.237648'), "dyke": ("Dyke et al.", "1995", 'Dyke, S. J., Spencer, B. F., Quast, P., and Sain, M. K. (1995), “Role of control-structure interaction in protective system design,” Journal of Engineering Mechanics, 121(2), 322–338. DOI: 10.1061/(ASCE)0733-9399(1995)121:2(322)'), "gomaa": ("Gomaa et al.", "in press", 'Gomaa, M., Patino, E. D., Villamizar, J. N., Condori Uribe, J. W., and Dyke, S. J. (in press), “An online stability indicator for real-time hybrid simulation emphasizing physical substructure degradation,” author manuscript.'), "welch": ("Welch", "1967", 'Welch, P. D. (1967), “The use of fast Fourier transform for the estimation of power spectra: A method based on time averaging over short, modified periodograms,” IEEE Transactions on Audio and Electroacoustics, 15(2), 70–73. DOI: 10.1109/TAU.1967.1161901'), "roberts": ("Roberts", "1959", 'Roberts, S. W. (1959), “Control chart tests based on geometric moving averages,” Technometrics, 1(3), 239–250. DOI: 10.1080/00401706.1959.10489860'), "bendat": ("Bendat and Piersol", "2010", 'Bendat, J. S., and Piersol, A. G. (2010), Random Data: Analysis and Measurement Procedures, 4th ed., Wiley, Hoboken, NJ.'), "blackman": ("Blackman and Tukey", "1958", 'Blackman, R. B., and Tukey, J. W. (1958), “The measurement of power spectra from the point of view of communications engineering — Part I,” The Bell System Technical Journal, 37(1), 185–282. DOI: 10.1002/j.1538-7305.1958.tb03874.x'), "dimatteo": ("Di Matteo et al.", "2021", 'Di Matteo, S., Viall, N. M., and Kepko, L. (2021), “Power spectral density background estimate and signal detection via the multitaper method,” Journal of Geophysical Research: Space Physics, 126(2), e2020JA028748. DOI: 10.1029/2020JA028748'), "maghareh": ("Maghareh et al.", "2020", 'Maghareh, A., Fu, Y., Montoya, H., Condori, J., Wang, Z., Dyke, S. J., and Montoya, A. (2020), “A reflective framework for performance management (REFORM) of real-time hybrid simulation,” Frontiers in Built Environment, 6, 568742. DOI: 10.3389/fbuil.2020.568742'), "wu": ("Wu and Wang", "2020", 'Wu, H., and Wang, X. (2020), “A mode-adaptive power-angle control method for transient stability enhancement of virtual synchronous generators,” IEEE Journal of Emerging and Selected Topics in Power Electronics, 8(2), 1034–1049. DOI: 10.1109/JESTPE.2020.2976791'), } body = "\n".join(parts) # ---------------------------------------------------------------- page ARTICLE = f"""

Manuscript draft. Readers are assumed to be familiar with {{citet:gomaa}}.

{body}

References

""" CITED = [] def cite(m): # numbered by first appearance: narrative "Name [n]" or bare "[n]" keys = m.group(2).split(",") for k in keys: if k not in CITED: CITED.append(k) nums = "[" + ", ".join(f'{CITED.index(k) + 1}' for k in keys) + "]" return (" and ".join(REFS[k][0] for k in keys) + " " + nums) if m.group(1) == "t" else nums ARTICLE = re.sub(r"\{eq:([A-Za-z0-9_]+)\}", lambda m: ref(m.group(1)), ARTICLE) ARTICLE = re.sub(r"\{n:(\w+)\}", lambda m: str(EQ[m.group(1)]), ARTICLE) ARTICLE = re.sub(r"\{cite([tp]):([a-z0-9_,]+)\}", cite, ARTICLE) def scholar(t): # title links to a Google Scholar search, DOI stays plain text m = re.search(r"“(.+?)(,?)”|(.+?)", t) title = m.group(1) or m.group(3) a = (f']+>", "", title))}" ' f'target="_blank" rel="noopener">{title}') return t.replace(m.group(0), f"“{a}{m.group(2)}”" if m.group(1) else f"{a}", 1) ARTICLE = ARTICLE.replace("{REFS}", "\n".join(f'

{scholar(REFS[k][2])}

' for k in CITED)) if "--preview" in sys.argv: # comment suggestions: write the article only, no new version open(sys.argv[sys.argv.index("--preview") + 1], "w", encoding="utf-8").write(ARTICLE) sys.exit() # ---- content store read by the review app (writing/review-app builds manuscript2_journal.html) # usage: python build_manuscript2_journal.py "short note about this revision" # A new version is appended whenever the article changes. HERE = os.path.dirname(os.path.abspath(__file__)) VERS = os.path.join(HERE, "manuscript2_journal_versions.js") HEAD = "window.MANUSCRIPT_VERSIONS = " if os.path.exists(VERS): versions = json.loads(open(VERS, encoding="utf-8").readline()[len(HEAD):].rstrip().rstrip(";")) else: old = open(os.path.join(HERE, "manuscript2_html.html"), encoding="utf-8").read() stamp = datetime.datetime.fromtimestamp(os.path.getmtime(os.path.join(HERE, "manuscript2_html.html"))) versions = [{"v": 0, "date": stamp.strftime("%Y-%m-%d %H:%M"), "note": "original manuscript2_html", "html": old[old.index("

") + 9:old.index("

")]}] args = [a for a in sys.argv[1:] if not a.startswith("--")] if versions[-1].get("author") == "user" and versions[-1]["html"] != ARTICLE and "--merged" not in sys.argv: sys.exit(f"v{versions[-1]['v']} holds edits made in the review page. Port them into this script, " "then rerun with --merged.") if versions[-1]["html"] != ARTICLE: versions.append({"v": versions[-1]["v"] + 1, "date": datetime.datetime.now().strftime("%Y-%m-%d %H:%M"), "note": args[0] if args else "", "html": ARTICLE}) print("saved version", versions[-1]["v"]) open(VERS, "w", encoding="utf-8").write(HEAD + json.dumps(versions, ensure_ascii=False) + ";\n" + "window.MANUSCRIPT_WORD = " + json.dumps(WORD, ensure_ascii=False) + ";\n") print(len(EQ), "equations,", len(versions), "versions")