Pith. sign in

REVIEW 3 major objections 5 minor 30 references

Output behavior equivalence and simultaneous subspace identification of systems and faults

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read This paper proves that standard PI-MOESP subspace identification consistently recovers the input-output matrices of an LTI system from data corrupted by an additive fault, and that the minimal fault dimension is the rank difference…

desk verdict Real idea, real gap: the consistency theorem needs two-sided fault-input uncorrelatedness, but the set-valued fault recovery is worth engaging. read the letter →

arxiv 2505.13294 v1 pith:OJKRAQT4 submitted 2025-05-19 eess.SY cs.SY

classification eess.SYcs.SY
keywords systemidentificationfaultsubspacemethodsPI-MOESPoutputbehaviorequivalenceunknowninputreconstructionminimaldimensionlineartime-invariantsystems
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

System identification usually wants clean data, but real systems are often already faulty. The paper asks what can be recovered from input-output data of a stable LTI system subject to an additive, unmodeled fault signal, without a fault-free experiment and without committing to a fault class such as sensor, actuator, or load. It shows that standard PI-MOESP gives consistent estimates of the nominal matrices $A, B, C, D$ when the fault is asymptotically uncorrelated with past inputs, and that the fault subsystem can then be identified from the same data. The minimal fault dimension is not guessed: under a left-invertibility condition it is exactly $\operatorname{rank}(R_{s+1}) - \operatorname{rank}(R_s)$. The paper also defines output behavior equivalence and proves that every set of fault matrices that produces the same output behavior is exactly parameterized by $(\hat F P, \hat G P)$ for full column rank $P$.

What carries the argument

Three pieces carry the argument. First, PI-MOESP, a projection-instrumental-variable subspace identification algorithm, is applied to a reformulation in which the fault enters as an output residual $r(k)$ generated by $(A, F, C, G)$; because $u$ and $v$ are asymptotically uncorrelated, past inputs act as valid instruments and $A, B, C, D$ come out consistently. Second, the output behavior set is defined through the kernel representation $\mathcal{B} = \{ r : N(q) r = 0 \}$, and Theorem 1 shows that equality of restricted behaviors on a window of length $n_x$ implies full output behavior equivalence. Third, the load-bearing identity is $n_v = \operatorname{rank}(R_{s+1}) - \operatorname{rank}(R_s)$, obtained by combining the transmission-zero counting formula of Theorem 2 with Assumption 4; this converts the unknown fault dimension into a rank difference. The constructive core is the nullspace problem (11): its maximal solution produces the basis matrices $(\hat F, \hat G)$ from which every behaviorally equivalent fault pair is generated.

What would settle it

Simulate a stable LTI system with a known fault $v(k) = K u(k-1)$, violating Assumption 2, and apply PI-MOESP to the resulting $(u,y)$: a biased estimate of $(A,B,C,D)$ confirms the assumption is necessary, while an unbiased estimate would disprove Proposition 1's stated scope. In exact arithmetic with Assumption 4 satisfied, directly check whether $\operatorname{rank}(R_{s+1}) - \operatorname{rank}(R_s)$ equals the true fault dimension $n_v$.

Watch

Extended reading notes

Core claim

The central discovery is that simultaneous identification of a system and its additive faults is possible without first removing the fault or classifying it. With Assumptions 1-3, the fault residual behaves like a colored noise component that is uncorrelated with past inputs, so the standard PI-MOESP subspace method consistently estimates $A, B, C, D$ (Proposition 1). For the fault subsystem, the residual Hankel matrix obeys $R_s = [O_s\ T_s^f] [X_s; V_s]$, and under Assumption 4 its rank is $n_x + s n_v - \zeta$, where $\zeta$ is the number of transmission zeros from fault to output. Therefore $n_v = \operatorname{rank}(R_{s+1}) - \operatorname{rank}(R_s)$ (Proposition 3). The remaining ambiguity in the fault matrices is fully characterized: after solving a linear nullspace problem, the set of all $(F,G)$ output behaviorally equivalent to the true pair is exactly $\{(\hat F P, \hat G P) : P \text{ full column rank}\}$ (Theorem 3). This reduces fault identification to linear algebra once the nominal system is known.

Load-bearing premise

The load-bearing premise is Assumption 2: the fault signal must be asymptotically uncorrelated with past inputs, so faults that contain a linear feedback component (for example, a stuck actuator whose effect depends on the current input) are excluded; if this fails, the identified system matrices are biased and the fault identification built on them is invalid.

Editorial extensions

If this is right

  • No fault-free calibration dataset is needed: the nominal system and the fault structure can be learned from the same faulty input-output record.
  • The minimal fault dimension is observable from the data as a rank gap, so no prior commitment to sensor, actuator, or load fault classes is required.
  • The full set of $(F,G)$ pairs that explain the data is known, so fault diagnosis and reconstruction can distinguish what is identifiable from what is fundamentally ambiguous.
  • When the fault has no direct feedthrough to the output ($G=0$), the fault matrices and trajectory can be recovered exactly up to a basis choice.
  • The assumptions admit faults that are not wide-sense stationary, including time-varying or adversarial signals, as long as they stay uncorrelated with past inputs.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The parametrization by $P$ suggests using the equivalence class as an uncertainty set: any controller or diagnosis rule that depends only on output behavior is valid across all matrices in the class, which could simplify robust fault-tolerant design.
  • A natural testable extension is to monitor the rank gap in real time: under Assumption 4, the index at which $\operatorname{rank}(R_{s+1}) - \operatorname{rank}(R_s)$ stabilizes could serve as an online detector of fault onset without a fault-free baseline.
  • The output behavior equivalence notion could be pushed toward a canonical form for fault matrices, so that each equivalence class has a distinguished representative with desirable numerical or structural properties.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper considers simultaneous identification of an LTI system x(k+1)=Ax(k)+Bu(k)+Fv(k), y(k)=Cx(k)+Du(k)+Gv(k)+w(k) from input--output data generated under faults, without requiring a nominal fault-free dataset. The author first argues that PI-MOESP consistently estimates A,B,C,D under Assumptions 1--3. Then, assuming these matrices are known and the noise-free residual R=Y-TU is available, the paper derives a rank formula n_v=rank(R_{s+1})-rank(R_s) based on a theorem on transmission zeros, and characterizes the set of all fault matrices (F,G) that are output-behaviorally equivalent to the true one as {(Rhat F P, Rhat G P)}. A numerical example and a Monte Carlo study illustrate the method, and the author provides reproducible code.

Significance. If the consistency proof is repaired, the proposed framework is a useful practical contribution: it avoids the need for nominal data, does not commit to a structural fault class, and gives a constructive way to estimate the minimal fault dimension and the equivalence class of fault matrices. The rank-gap estimator is simple and the numerical evidence is encouraging. The author ships code for reproduction, which is a strength. The main theoretical bottleneck is the exogeneity condition behind Proposition 1; the subsequent results are interesting but rest on terse adaptations of external rank formulas and on an unproved genericity claim.

major comments (3)
  1. [Section III (Proposition 1)] The consistency proof uses the assertion that Assumptions 1 and 2 imply lim_{N→∞} (1/N) V_{s,N} U_{s,N}^T = 0. Assumption 2 only requires lim (1/N) Σ_k u(k-l) v(k)^T = 0 for all l ≥ 0, i.e., a vanishing correlation between the current fault and past inputs. For the block (i,j) of V_{s,N} U_{s,N}^T with j>i, the sum contains terms v(k) u(k+j-i)^T, which is a correlation of the current fault with future inputs and is not covered by Assumption 2. Concretely, let u be zero-mean i.i.d. and set v(k)=u(k+1); then Assumption 2 holds for every l ≥ 0, while the (1,2) block of V_{s,N} U_{s,N}^T converges to a nonzero matrix. Hence the stated implication is false and the proof of Proposition 1 is incomplete. Since Section IV uses the identified A,B,C,D to form the residual R=Y-TU, this gap undermines the central claim of simultaneous identification. The assumption should be replaced by a two-sided exogeneity condition, e.g., lim (1/N) Σ u(k+l) v(k)^T = 0 for all l ∈ Z, or by an explicit causality/independence assumption on the fault relative to the whole input process, and the proof of Proposition 1 should be revised accordingly.
  2. [Section IV-C (Theorem 3)] Theorem 3(ii) states that for almost any full-column-rank P, the system (A, Rhat F P, C, Rhat G P) is output behaviorally equivalent to the original system, but the proof only says that this follows because the column space is the same for one such P. This is a genuine genericity claim, especially when n_z>n_v (as in the numerical example, where the computed Rhat F,Rhat G has two columns while n_v=1). The matrix [O_s, Rhat T_s (I_s⊗P)] can drop rank or change its column space for non-generic P, so a proof is needed that for all P outside an algebraic set the column space agrees with that of [O_s, T_s]. As written, this load-bearing step is asserted rather than established, and the 'exactly all' part of the characterization is not fully proven.
  3. [Section IV-C (Proposition 3)] Proposition 3 applies Theorem 2, which is stated for a minimal system, to the residual system (A,F,C,G), yet Assumption 4 only requires (A,C) observable and the system left-invertible; it does not require controllability of (A,F). The numerical example even states that (A,F) is not controllable. If the rank formula rank([O_s,T_s])=n_x+s n_v-ζ indeed requires minimality, the formula used for n_v may fail for non-minimal residual systems. The manuscript should either add controllability of (A,F) to Assumption 4 or prove that the adapted theorem remains valid without it; otherwise the estimate of the minimal fault dimension is not supported by the stated hypotheses.
minor comments (5)
  1. [Introduction] The sentence 'Technically, we considersimultaneous identification' is missing a space; it should read 'we consider simultaneous identification'.
  2. [Section II-B] Assumption 1 calls the input 'zero-mean wide-sense ergodic' but the formal condition only gives a mean limit and a full-rank covariance limit; the terminology is nonstandard and should be aligned with the displayed conditions.
  3. [Section IV-B] The notation H(q)_N for the minimal polynomial basis of the left null space is introduced without a definition; please define it explicitly before (8b).
  4. [Theorem 1] The proof says 'By induction on Lemma 1' but does not spell out the induction; adding a short induction statement would improve readability.
  5. [Figure 1] The caption says 'only the seventh singular value of R5 is negligible compared to that of R6'; it would be clearer to state explicitly that this indicates rank(R6)-rank(R5)=1, i.e., n_v=1.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: system matrices are estimated by standard PI-MOESP and fault matrices are the exact solution set of a linear nullspace problem.

full rationale

The derivation chain is self-contained at the level of the claimed results. Proposition 1 is an application of the external standard PI-MOESP consistency result ([19], [1]) under Assumptions 1-3; the fault enters only through an additive residual and no parameter is fitted from the target output-behavior set. Propositions 2-3 and Theorem 3 are exact algebraic consequences of the residual Hankel equation R_s = [O_s T^f_s][X_s; V_s], with the fault matrices obtained as a basis of the nullspace of the Toeplitz constraints (11). Theorem 3's characterization is the solution set of those constraints, not an independently 'predicted' quantity, and the appeal to the rank formula of Theorem 2 is to an external result ([29], by Sanjeevini and Bernstein, not the present author). There are no fitted inputs renamed as predictions and no load-bearing self-citations. One caveat is flagged because the text asserts a step without full justification: in Section III the paper states 'With Assumptions 1, 2, we have that lim_{N→∞} (1/N) V_{s,N} U_{s,N}^T = 0', but Assumption 2 only constrains correlations u(k-l)v(k)^T for l>=0, i.e., current fault against past inputs, so the upper-triangular blocks of V_{s,N}U_{s,N}^T are not directly covered. This is an assumption-sufficiency gap in the proof of Proposition 1, not a circularity: the identified A,B,C,D and the fault set are not defined in terms of the target result.

Assumptions & free parameters 2 free parameters · 7 assumptions · 0 invented entities

The central claims rest on four explicit assumptions (1-4) on input, fault, noise, and the residual system, plus standard minimality assumptions and an external rank formula from [29]. There are no invented physical entities. The only hand-chosen parameters are the window size s and a singular-value threshold in the noisy pipeline.

free parameters (2)
  • singular value threshold for nv selection = not specified, user-tuned
    In the noisy-data part of Section V, the rank test of Proposition 3 is replaced by visual/manual thresholding of singular values (Fig. 1) to determine the fault dimension nv.
  • window size s = s=5 in the example
    The algorithms require s >= max(l,nx); s is a design parameter of the subspace method, not fitted to data, but it must be chosen by the user.
assumptions (7)
  • domain assumption Assumption 1: input u is zero-mean wide-sense ergodic with full-rank block Hankel covariance
    Experiment design assumption stated in Section II-B; used for consistency of PI-MOESP.
  • domain assumption Assumption 2: fault v is asymptotically uncorrelated with past inputs
    Stated in Section II-B; this is the load-bearing premise that makes the fault act like colored noise from the perspective of past-input instruments.
  • domain assumption Assumption 3: noise w is WSS zero-mean and uncorrelated with input
    Standard noise assumption in Section II-B.
  • domain assumption Assumption 4: residual system is l-delay left-invertible, (A,C) observable, [X;V] full row rank, s >= max(l,nx-1)
    Stated in Section IV-C; needed for the rank formulas and for the nullspace construction of Theorem 3.
  • domain assumption A is Schur stable
    Assumed in the system model (1); ensures boundedness of the residual filter.
  • domain assumption (A,C) observable and (A,B) controllable
    Standard minimality assumptions in Section II-B.
  • standard math Rank formulas for block Toeplitz matrices (Theorem 2, adapted from [29], Theorems III.4 and IV.8)
    External result used to derive Proposition 3; the paper does not prove it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Output behavior equivalence and simultaneous subspace identification of systems and faults." pith.science (2026). https://pith.science/paper/OJKRAQT4

@misc{pith2026250513294,
  author       = {Pith},
  title        = {Pith review of: Output behavior equivalence and simultaneous subspace identification of systems and faults},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OJKRAQT4}},
  note         = {Machine review of arXiv:2505.13294}
}
read the original abstract

We address the problem of identifying a system subject to additive faults, while simultaneously reconstructing the fault signal via subspace methods. We do not require nominal data for the identification, neither do we impose any assumption on the class of faults, e.g., sensor or actuator faults. We show that, under mild assumptions on the fault signal, standard PI-MOESP can recover the system matrices associated to the input-output subsystem. Then we introduce the concept of output behavior equivalence, which characterizes systems with the same output behavior set, and present a method to establish this equivalence from system matrices. Finally, we show how to estimate from data the complete set of fault matrices for which there exist a fault signal with minimal dimension that explains the data.

Figures

Figures reproduced from arXiv: 2505.13294 by the authors.

Figure 1
Figure 1. Singular values of Hankel residual matrices [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 26 canonical work pages

  1. [1]

    Verhaegen and V

    M. Verhaegen and V . Verdult,Filtering and system identification: a least squares approach. Cambridge university press, 2007

  2. [2]

    A data-driven approach to actuator and sensor fault detection, isolation and estimation in discrete-time linear systems,

    E. Naderi and K. Khorasani, “A data-driven approach to actuator and sensor fault detection, isolation and estimation in discrete-time linear systems,”Automatica, vol. 85, pp. 165–178, 2017

  3. [3]

    A kernel-based approach to data-driven actuator fault estimation,

    M. A. Sheikhi, P. Mohajerin Esfahani, and T. Keviczky, “A kernel-based approach to data-driven actuator fault estimation,”IFAC-PapersOnLine, vol. 58, no. 4, pp. 318–323, 2024

  4. [4]

    Subspace model identification under load disturbance with unknown transient and periodic dynamics,

    T. Liu, J. Hou, S. J. Qin, and W. Wang, “Subspace model identification under load disturbance with unknown transient and periodic dynamics,” Journal of Process Control, vol. 85, pp. 100–111, 2020

  5. [5]

    Unknown-state, unknown-input reconstruc- tion in discrete-time nonminimum-phase systems: Geometric methods,

    G. Marro and E. Zattoni, “Unknown-state, unknown-input reconstruc- tion in discrete-time nonminimum-phase systems: Geometric methods,” Automatica, vol. 46, no. 5, pp. 815–822, 2010

  6. [6]

    Identification of fault estimation filter from i/o data for systems with stable inversion,

    J. Dong and M. Verhaegen, “Identification of fault estimation filter from i/o data for systems with stable inversion,”IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1347–1361, 2011

  7. [7]

    Fault estimation filter design with guaranteed stability using markov parameters,

    Y . Wan, T. Keviczky, and M. Verhaegen, “Fault estimation filter design with guaranteed stability using markov parameters,”IEEE Trans. Autom. Control, vol. 63, no. 4, pp. 1132–1139, 2017

  8. [8]

    Secure data reconstruction: A direct data-driven approach,

    J. Yan, I. Markovsky, and J. Lygeros, “Secure data reconstruction: A direct data-driven approach,”arXiv preprint arXiv:2502.00436, 2025

Show all 30 references
  1. [9]

    Data-driven design of monitoring and diagnosis systems for dynamic processes: A review of subspace technique based schemes and some recent results,

    S. X. Ding, “Data-driven design of monitoring and diagnosis systems for dynamic processes: A review of subspace technique based schemes and some recent results,”Journal of Process Control, vol. 24, no. 2, pp. 431–449, 2014

  2. [10]

    Multiple Faults Estimation in Dynamical Systems: Tractable Design and Performance Bounds,

    C. Van Der Ploeg, M. Alirezaei, N. Van De Wouw, and P. M. Esfahani, “Multiple Faults Estimation in Dynamical Systems: Tractable Design and Performance Bounds,”IEEE Transactions on Automatic Control, vol. 67, pp. 4916–4923, Sept. 2022

  3. [11]

    Robust multivariate detection and estimation with fault frequency content information,

    J. Dong, K. Pan, S. Pequito, and P. Mohajerin Esfahani, “Robust multivariate detection and estimation with fault frequency content information,”Automatica, vol. 173, 2025. Art. no. 112049

  4. [12]

    Recursive subspace identification subject to relatively slow time-varying load disturbance,

    J. Hou, T. Liu, and Q.-G. Wang, “Recursive subspace identification subject to relatively slow time-varying load disturbance,”International Journal of Control, vol. 91, no. 3, pp. 622–638, 2018

  5. [13]

    Subspace identification of hammerstein-type nonlinear systems subject to unknown periodic disturbance,

    J. Hou, T. Liu, and Q.-G. Wang, “Subspace identification of hammerstein-type nonlinear systems subject to unknown periodic disturbance,”International Journal of Control, vol. 94, no. 4, pp. 849– 859, 2021

  6. [14]

    A subspace algorithm for simultaneous identification and input reconstruction,

    H. J. Palanthandalam-Madapusi and D. S. Bernstein, “A subspace algorithm for simultaneous identification and input reconstruction,” Int. J. of Adaptive Control and Signal Process., vol. 23, no. 12, pp. 1053– 1069, 2009

  7. [15]

    A least-squares approach to blind channel identification,

    G. Xu, H. Liu, L. Tong, and T. Kailath, “A least-squares approach to blind channel identification,”EEE Trans. Signal Process., vol. 43, no. 12, pp. 2982–2993, 1995

  8. [16]

    An application of system identification in metrology,

    I. Markovsky, “An application of system identification in metrology,” Control Engineering Practice, vol. 43, pp. 85–93, 2015

  9. [17]

    Markovsky,Low Rank Approximation

    I. Markovsky,Low Rank Approximation. Springer, 2018

  10. [18]

    Input observability and input reconstruction,

    M. Hou and R. J. Patton, “Input observability and input reconstruction,” Automatica, vol. 34, no. 6, pp. 789–794, 1998

  11. [19]

    Subspace model identification part 3. analysis of the ordinary output-error state-space model identification algorithm,

    M. Verhaegen, “Subspace model identification part 3. analysis of the ordinary output-error state-space model identification algorithm,” International Journal of control, vol. 58, no. 3, pp. 555–586, 1993

  12. [20]

    Verhaegen, C

    M. Verhaegen, C. Yu, and B. Sinquin,Data-Driven Identification of Networks of Dynamic Systems. Cambridge University Press, 2022

  13. [21]

    Instrumental variable methods for system identification,

    T. S¨oderstr¨om and P. Stoica, “Instrumental variable methods for system identification,”Circuits, Systems and Signal Processing, vol. 21, no. 1, pp. 1–9, 2002

  14. [22]

    Guaranteed minimum-rank solutions of linear matrix equations via nuclear norm minimization,

    B. Recht, M. Fazel, and P. A. Parrilo, “Guaranteed minimum-rank solutions of linear matrix equations via nuclear norm minimization,” SIAM review, vol. 52, no. 3, pp. 471–501, 2010

  15. [23]

    Data-driven fault diagnosis under sparseness assumption for LTI systems,

    J. Noom, O. Soloviev, and M. Verhaegen, “Data-driven fault diagnosis under sparseness assumption for LTI systems,”IFAC-PapersOnLine, vol. 56, no. 2, pp. 7722–7727, 2023

  16. [24]

    Proximal-based recursive implementation for model-free data-driven fault diagnosis,

    J. Noom, O. Soloviev, and M. Verhaegen, “Proximal-based recursive implementation for model-free data-driven fault diagnosis,”Automatica, vol. 165, 2024. Art. no. 111656

  17. [25]

    Paradigms and puzzles in the theory of dynamical systems,

    J. C. Willems, “Paradigms and puzzles in the theory of dynamical systems,”IEEE Trans. Autom. Control, vol. 36, no. 3, pp. 259–294, 1991

  18. [26]

    Baier and J.-P

    C. Baier and J.-P. Katoen,Principles of model checking. MIT press, 2008

  19. [27]

    Tabuada,Verification and control of hybrid systems: a symbolic approach

    P. Tabuada,Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009

  20. [28]

    L-delay input and initial-state reconstruction for discrete- time linear systems,

    S. Kirtikar, H. Palanthandalam-Madapusi, E. Zattoni, and D. S. Bernstein, “L-delay input and initial-state reconstruction for discrete- time linear systems,”Circuits Syst. Signal Process., vol. 30, pp. 233– 262, 2011

  21. [29]

    Counting zeros using observability and block toeplitz matrices,

    S. Sanjeevini and D. S. Bernstein, “Counting zeros using observability and block toeplitz matrices,”IEEE Trans. Autom. Control, vol. 66, no. 3, pp. 1301–1305, 2020

  22. [30]

    Schubert varieties and distances between subspaces of different dimensions,

    K. Ye and L.-H. Lim, “Schubert varieties and distances between subspaces of different dimensions,”SIAM Journal on Matrix Analysis and Applications, vol. 37, no. 3, pp. 1176–1197, 2016

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.