REVIEW 3 major objections 4 minor 2 cited by
Data-Driven Control of Continuous-Time LTI Systems via Non-Minimal Realizations
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A single noise-free trajectory of a continuous-time LTI plant suffices to design a stabilizing output-feedback controller, and the same construction solves output regulation when all outputs share one observability index.
desk verdict Solid extension of the authors' prior SISO work to MIMO output-feedback stabilization and regulation, but the MIMO claim narrows substantially under the uniform observability index assumption. 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 central object is the canonical non-minimal realization, a lifted system $\dot\zeta=(F+LH)\zeta+Gu$, $y=H\zeta$ in which $F,G,L$ are user-chosen and $F$ is Hurwitz, while the unknown plant parameters are absorbed into the output map $H$, which must satisfy the matrix equations (13) with some $\Pi$. The non-minimal state is reconstructed by the filter $\dot{\hat\zeta}=F\hat\zeta+Gu+Ly$; because $F$ is Hurwitz, Lemma 3 makes the error dynamics $A-\Pi LC$ stable, and Lemma 4 replaces the unmeasurable error with a user-simulated auxiliary signal $\chi$ obeying $\dot\chi=F_0\chi$. This yields sampled batches $X,Z,\dot Z,U$ linked by the differential relation (37), so the LMI (29) is a pure data condition: its feasibility is equivalent to the full-rank condition (38), and its solution gives the gain $K=UQP^{-1}$. For MIMO plants with uniform observability index, Theorem 3 supplies explicit filter gains (78) built from a controllable pair $(\Lambda,\ell)$, and Algorithm 3 estimates $\nu$ by the rank loss of a data batch (86).
What would settle it
Choose a two-input, two-output continuous-time LTI plant with uniform observability index $\nu=2$, collect one noise-free trajectory, and run Algorithm 1 with $N$ samples satisfying the rank condition (38) and Algorithm 3 on the same data. If the computed gain $K$ ever leaves $F+LH+GK$ with an eigenvalue in the closed right half-plane, or if the index estimate differs from 2, then the paper's central claim is false.
Extended reading notes
Core claim
The paper's central claim is that stabilization and output regulation in continuous time can be cast as a rank-conditioned linear matrix inequality built from filtered data. Given a canonical non-minimal realization—user-chosen Hurwitz filter dynamics $F,G,L$ with unknown output map $H$ satisfying $\Pi(F+LH)=A\Pi$, $\Pi G=B$, $H=C\Pi$—the paper proves (Theorem 1) that if the stacked data matrix of the sampled batches $X,Z,U$ has full rank, then any solution $P,Q$ of the LMI (29) yields $K=UQP^{-1}$ such that $F+LH+GK$ is Hurwitz, so the observer-like filter (31) globally exponentially stabilizes the plant. For regulation, an internal model $\dot\eta=\Phi\eta+\Gamma e$ is appended and the same LMI construction is applied to the augmented system; Theorem 2 states that the resulting controller (55) steers the regulated output $e$ to zero under the non-resonance condition. A data-driven algorithm (Algorithm 3) recovers the common observability index from the same trajectory, so the realization can be tuned from data. In short: a stabilizing output-feedback controller for a continuous-time MIMO LTI system can be computed directly from a single noise-free input-output trajectory without state or derivative measurements.
Load-bearing premise
Everything rests on every output having the same observability index $\nu$; if the indices differ, the tuning rules and the index-estimation algorithm are not known to work, and the paper leaves that case open.
Editorial extensions
If this is right
- Any controllable and observable continuous-time LTI plant with a uniform observability index can be stabilized from one noise-free trajectory: the LMI (29) is feasible whenever the sampled batch satisfies the rank condition (38), and Theorem 1 guarantees the resulting closed loop is Hurwitz.
- The deployed controller has an observer-plus-gain form (31), so its online implementation uses only the same filters and the computed gain; no model matrices or derivative measurements are needed after deployment.
- For output regulation, given the exosystem frequencies and the non-resonance condition, the same LMI applied to the augmented system produces the internal-model regulator (55), and Theorem 2 guarantees the regulated output converges to zero.
- The observability index can be read off the data: if the batch is full rank at $\hat\nu=\nu$, then increasing the filter dimension makes the batch lose rank (Theorem 5), so Algorithm 3 returns the correct uniform index.
- The construction includes state-feedback ($\nu=1$) and SISO output-feedback ($\nu=n$) as special cases, so it unifies two previously separate derivative-free designs.
Reading between the lines
- The paper's restriction to a uniform observability index is likely removable: following the discrete-time MIMO literature it cites, a filter bank with per-output dimensions $\nu_i$ and a similar rank test should extend the construction to generic MIMO systems, though the present proofs do not cover that case.
- Because the LMI depends only on filtered data batches, replacing the exact batch equations with robust matrix relaxations for bounded noise is a natural route to measurement noise; the filter and internal-model structure would remain unchanged.
- The auxiliary-dynamics trick of Lemma 4 turns a differential equation with an unknown perturbation into a purely data-driven equality, so the same device could reduce other continuous-time data-driven problems, such as optimal or constrained control, to LMIs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a data-driven output-feedback control framework for continuous-time LTI systems using non-minimal realizations whose state is obtained by filtering input and output signals, avoiding state and derivative measurements. For stabilization, the paper derives an LMI from sampled filtered data and proves that any feasible solution yields a stabilizing dynamic controller (Theorem 1). The framework is extended to output regulation by adding an internal model based on known exosystem frequencies (Theorem 2). A construction of canonical non-minimal realizations is given for systems with uniform observability index (Theorem 3), together with controllability of the resulting realization (Theorem 4) and an algorithm for estimating the observability index from data (Algorithm 3, Theorem 5). Numerical examples on a batch reactor and a surface vessel illustrate the approach; code is provided.
Significance. If the identified gaps are closed, this would be a valuable contribution to data-driven control of continuous-time systems: it provides a derivative-free, single-trajectory, output-feedback method for MIMO LTI systems, with an extension to output regulation and a filter-based implicit observer. Theorem 1's proof is detailed and internally consistent, and the LMI derivation is non-circular. The restriction to uniform observability index and the noise-free assumption are explicitly acknowledged, and the numerical implementation is reproducible via the provided repository. The main weaknesses are proof gaps in the output-regulation theorem and in the index-estimation certification.
major comments (3)
- [Section V, Theorem 2] The output-regulation theorem is stated without proof ("Its proof is omitted as it is based on Theorem 1 and the arguments above"), and the essential extension of Lemma 4 to the exosystem-augmented dynamics is also omitted ("The statement of such result and its proof are omitted for brevity"). These omissions are load-bearing: the data equation behind LMI (53), the rank condition (67), and the conclusion that the matrix in (68) is Hurwitz are not verifiable from the text. Please provide a complete proof in an appendix, including the explicit construction of D in col(w,ε)=Dχ, the derivation of the data equation from (62), and the verification of closed-loop regulation property (11) via (61).
- [Section VI-C and Section II-A] Theorem 1 is stated under Assumption 1 alone, but its initialization requires a canonical non-minimal realization, and the only general construction (Theorem 3) is proved under Assumption 3 (ν1=...=νp=ν). For generic MIMO systems the observability indices are as evenly balanced as possible, so uniform indices are possible only when p divides n; when p does not divide n, Assumption 3 cannot hold. Equations (116) decouple into identical ν-dimensional blocks precisely because of uniformity, and no alternative tuning is given for nonuniform indices. Thus the paper's MIMO stabilization and regulation claims are established only for the uniform-index class. Please state this restriction in Section II-A and in the abstract/contribution list, not only in Section VI and the conclusion.
- [Section VI-D, Algorithm 3 and Theorem 5] The index-estimation procedure is not fully certified. Theorem 5 proves rank deficiency for ν̂≥ν+1, but the full-rank condition at ν̂=ν is assumed, not proved: Algorithm 3 contains the comment "Assumes B full rank if ν̂=ν", and the text preceding Theorem 5 says "Suppose that, for ν̂=ν, B has full rank". No persistency-of-excitation or sampling condition is given under which this full-rank condition holds. Since this full-rank condition is necessary for the subsequent LMI feasibility condition (38), the claim that the observability index "can be directly estimated from the given input-output trajectory" needs either a proof under explicit excitation assumptions or a clear downgrade to a heuristic/assumption.
minor comments (4)
- [Section VI-C] The text introduces observability indices under the condition rank C=p, but Assumption 1 alone does not guarantee this when p>n. This implicit standing assumption should be stated explicitly in Section II.
- [Section IV, proof of Theorem 1] In part 1, the existence of M from the rank condition (38) is asserted by reference to [4] and [19]; a one-line argument that full row rank of [X;Z;U] makes the representation (40) possible would make the proof self-contained.
- [Section VI-D, proof of Theorem 5] The display (136) is typeset with blank entries and no explicit block dimensions; an explicit 4x4 block matrix with zero blocks and dimensions would substantially improve readability.
- [Introduction] The paper relies on [25] for Lemma 1 and the filter structure; although Lemma 1 is proved in the text, a brief remark on how the present results go beyond [25] (from SISO/state-feedback to MIMO and output regulation under the uniform-index assumption) would help the reader.
Circularity Check
No circular derivation: the LMI and stabilization proofs are self-contained, with [25] used only as motivation and not as load-bearing evidence.
full rationale
The paper's central derivation chain is not circular. Lemma 1, Lemma 3, Lemma 4, and Theorem 1 are proved in the text from stated assumptions, and the LMI (29) is derived from the filtered data equation (37) rather than from the target closed-loop property. The gain K = U Q P^{-1} is not a fitted parameter renamed as a prediction; the proof shows directly that any solution of the LMI yields F + L H + G K Hurwitz using the identity (45). The construction of canonical non-minimal realizations in Theorem 3 is proved under Assumption 3 via the observer canonical form and Lemma 7, with no reliance on an unproved uniqueness theorem. The observability-index estimation in Algorithm 3 and Theorem 5 proves rank loss for overestimates; the full-rank condition at the true index is explicitly assumed in the algorithm comment, which is a completeness gap rather than circularity. The paper cites the authors' prior work [25] for motivation and for the filter structure, but the specific results needed here, including the generalization of [25, Lem. 3] as Lemma 1, are proved in the present manuscript. Other cited results, such as [4, Thm. 2], [19, Thm. 2], [21, Lem. 4.2], and [34, Ch. 3], are external standard facts. Thus no load-bearing step reduces to its own input by construction or to a self-citation chain.
Assumptions & free parameters
free parameters (4)
- Filter matrices F, G, L (or Λ, ℓ in the tuned realization) =
User-chosen; e.g., Λ=diag(-4,-8), ℓ=col(1,2) in Example 1
- Tuning scalars ω_f, ω_s =
Arbitrary non-zero; example uses Γ0=5, Γ0=1/10
- Tuning scalars λ_i, γ_i in Algorithm 3 =
User-chosen; example uses λ_j=γ_j=j
- Sampling period τ_s and number of samples N =
User-chosen; examples use N=50, τ_s=40 ms and N=80
assumptions (4)
- domain assumption Assumption 1: (A,B) controllable and (C,A) observable
- domain assumption Assumption 2: non-resonance condition rank([A-sI B; Ce 0])=n+q for all s in σ(S)
- domain assumption Assumption 3: uniform observability index ν1=...=νp=ν
- domain assumption Noise-free data
Cite this review
Pith. "Pith review of Data-Driven Control of Continuous-Time LTI Systems via Non-Minimal Realizations." pith.science (2026). https://pith.science/paper/RTFAKGB7
@misc{pith2026250522505,
author = {Pith},
title = {Pith review of: Data-Driven Control of Continuous-Time LTI Systems via Non-Minimal Realizations},
year = {2026},
howpublished = {\url{https://pith.science/paper/RTFAKGB7}},
note = {Machine review of arXiv:2505.22505}
}
read the original abstract
This article proposes an approach to design output-feedback controllers for unknown continuous-time linear time-invariant systems using only input-output data from a single experiment. To address the lack of state and derivative measurements, we introduce non-minimal realizations whose states can be observed by filtering the available data. We first apply this concept to the disturbance-free case, formulating linear matrix inequalities (LMIs) from batches of sampled signals to design a dynamic, filter-based stabilizing controller. The framework is then extended to the problem of asymptotic tracking and disturbance rejection - in short, output regulation - by incorporating an internal model based on prior knowledge of the disturbance/reference frequencies. Finally, we discuss tuning strategies for a class of multi-input multi-output systems and illustrate the method via numerical examples.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 2 Pith papers
-
Data-driven stabilization of continuous-time systems with noisy input-output data
Continuous-time noisy input-output data are informative for quadratic stabilization if and only if a data-derived LMI has a feasible solution, whose solution yields a stabilizing controller.
-
Data-driven control of continuous-time systems: A synthesis-operator approach
Continuous-time data-driven stabilization can be characterized exactly through synthesis operators, yielding a derivative-free necessary-and-sufficient LMI condition for noisy data.
Reference graph
Works this paper leans on
-
[25]
Derivative-Free Data-Driven Control of Continuous-Time Linear Time-Invariant Systems
A. Bosso, M. Borghesi, A. Iannelli, G. Notarstefano, and A. R. Teel, “Derivative-free data-driven control of continuous-time linear time-invariant systems,” 2024. [Online]. Available: https://arxiv.org/abs/ 2410.24167
work page Pith review arXiv 2024
-
[1]
Ljung, System Identification: Theory for the User
L. Ljung, System Identification: Theory for the User . Upper Saddle River, NJ: Prentice-Hall, 1999
work page 1999
-
[2]
P. A. Ioannou and J. Sun, Robust Adaptive Control . New York, NY: Dover, 2012
work page 2012
-
[3]
R. S. Sutton and A. G. Barto, Reinforcement Learning: An Introduction. Cambridge, MA: MIT Press, 2018
work page 2018
-
[4]
Formulas for data-driven control: Stabilization, optimality, and robustness,
C. De Persis and P. Tesi, “Formulas for data-driven control: Stabilization, optimality, and robustness,” IEEE Transactions on Automatic Control , vol. 65, no. 3, pp. 909–924, 2020
2020
-
[5]
A note on persistency of excitation,
J. C. Willems, P. Rapisarda, I. Markovsky, and B. L. De Moor, “A note on persistency of excitation,” Systems & Control Letters , vol. 54, no. 4, pp. 325–329, 2005
2005
-
[6]
Data informativity: A new perspective on data-driven analysis and control,
H. J. Van Waarde, J. Eising, H. L. Trentelman, and M. K. Camlibel, “Data informativity: A new perspective on data-driven analysis and control,” IEEE Transactions on Automatic Control , vol. 65, no. 11, pp. 4753–4768, 2020
work page 2020
-
[7]
From noisy data to feedback controllers: Nonconservative design via a matrix S-lemma,
H. J. van Waarde, M. K. Camlibel, and M. Mesbahi, “From noisy data to feedback controllers: Nonconservative design via a matrix S-lemma,” IEEE Transactions on Automatic Control , vol. 67, no. 1, pp. 162–175, 2020
work page 2020
Show all 42 references
-
[8]
Data-driven control via Petersen’s lemma,
A. Bisoffi, C. De Persis, and P. Tesi, “Data-driven control via Petersen’s lemma,” Automatica, vol. 145, p. 110537, 2022
2022
-
[9]
On the certainty-equivalence approach to direct data-driven LQR design,
F. D ¨orfler, P. Tesi, and C. De Persis, “On the certainty-equivalence approach to direct data-driven LQR design,” IEEE Transactions on Automatic Control, vol. 68, no. 12, pp. 7989–7996, 2023
2023
-
[10]
Direct data-driven control of lin- ear time-varying systems,
B. Nortmann and T. Mylvaganam, “Direct data-driven control of lin- ear time-varying systems,” IEEE Transactions on Automatic Control , vol. 68, no. 8, pp. 4888–4895, 2023
2023
-
[11]
Controller synthesis from noisy-input noisy-output data,
L. Li, A. Bisoffi, C. D. Persis, and N. Monshizadeh, “Controller synthesis from noisy-input noisy-output data,” 2024. [Online]. Available: https://arxiv.org/abs/2402.02588
2024
-
[12]
Notes on data-driven output-feedback control of linear MIMO systems,
M. Alsalti, V . G. Lopez, and M. A. M ¨uller, “Notes on data-driven output-feedback control of linear MIMO systems,” IEEE Transactions on Automatic Control , 2025
2025
-
[13]
A continuous-time fundamental lemma and its application in data-driven optimal control,
P. Schmitz, T. Faulwasser, P. Rapisarda, and K. Worthmann, “A continuous-time fundamental lemma and its application in data-driven optimal control,” Systems & Control Letters , vol. 194, p. 105950, 2024
2024
-
[14]
An input-output continuous-time version of Willems’ lemma,
V . G. Lopez, M. A. M ¨uller, and P. Rapisarda, “An input-output continuous-time version of Willems’ lemma,” IEEE Control Systems Letters, 2024
2024
-
[15]
Data- driven analysis and control of continuous-time systems under aperiodic sampling,
J. Berberich, S. Wildhagen, M. Hertneck, and F. Allg ¨ower, “Data- driven analysis and control of continuous-time systems under aperiodic sampling,” IFAC-PapersOnLine, vol. 54, no. 7, pp. 210–215, 2021
2021
-
[16]
Data-driven stabilization of switched and constrained linear systems,
M. Bianchi, S. Grammatico, and J. Cort ´es, “Data-driven stabilization of switched and constrained linear systems,” Automatica, vol. 171, p. 111974, 2025
2025
-
[17]
Data-driven stabilization of nonlinear polynomial systems with noisy data,
M. Guo, C. De Persis, and P. Tesi, “Data-driven stabilization of nonlinear polynomial systems with noisy data,” IEEE Transactions on Automatic Control, vol. 67, no. 8, pp. 4210–4217, 2021
2021
-
[18]
When sampling works in data-driven control: Informativity for stabilization in continuous time,
J. Eising and J. Cortes, “When sampling works in data-driven control: Informativity for stabilization in continuous time,” IEEE Transactions on Automatic Control , 2024
2024
-
[19]
Data-driven harmonic output regulation of a class of nonlinear systems,
Z. Hu, C. De Persis, J. W. Simpson-Porco, and P. Tesi, “Data-driven harmonic output regulation of a class of nonlinear systems,” Systems & Control Letters, vol. 200, p. 106079, 2025
2025
-
[20]
Isidori, L
A. Isidori, L. Marconi, and A. Serrani, Robust Autonomous Guidance: An Internal Model Approach . London: Springer-Verlag, 2003
2003
-
[21]
Isidori, Lectures in Feedback Design for Multivariable Systems
A. Isidori, Lectures in Feedback Design for Multivariable Systems . Switzerland: Springer International Publishing, 2017
2017
-
[22]
Event-triggered control from data,
C. De Persis, R. Postoyan, and P. Tesi, “Event-triggered control from data,” IEEE Transactions on Automatic Control, vol. 69, no. 6, pp. 3780– 3795, 2023
2023
-
[23]
Orthogonal poly- nomial bases for data-driven analysis and control of continuous-time systems,
P. Rapisarda, H. J. van Waarde, and M. C ¸ amlibel, “Orthogonal poly- nomial bases for data-driven analysis and control of continuous-time systems,” IEEE Transactions on Automatic Control , vol. 69, no. 7, pp. 4307–4319, 2023
2023
-
[24]
A sampling linear functional framework for data-driven analysis and control of continuous-time systems,
Y . Ohta and P. Rapisarda, “A sampling linear functional framework for data-driven analysis and control of continuous-time systems,” in 2024 IEEE 63rd Conference on Decision and Control , 2024, pp. 357–362
2024
-
[26]
Adaptive identification of multiple-input multiple-output plants,
B. Anderson, “Adaptive identification of multiple-input multiple-output plants,” in 1974 IEEE Conference on Decision and Control including the 13th Symposium on Adaptive Processes . IEEE, 1974, pp. 273–281
1974
-
[27]
Adaptive observers with exponential rate of conver- gence,
G. Kreisselmeier, “Adaptive observers with exponential rate of conver- gence,” IEEE Transactions on Automatic Control , vol. 22, no. 1, pp. 2–8, 1977
1977
-
[28]
Stable adaptive controller design, part II: Proof of stability,
K. Narendra, Y .-H. Lin, and L. Valavani, “Stable adaptive controller design, part II: Proof of stability,” IEEE Transactions on Automatic Control, vol. 25, no. 3, pp. 440–448, 1980
1980
-
[29]
Reinforcement learning-based linear quadratic regulation of continuous-time systems using dynamic output feedback,
S. A. A. Rizvi and Z. Lin, “Reinforcement learning-based linear quadratic regulation of continuous-time systems using dynamic output feedback,” IEEE Transactions on Cybernetics, vol. 50, no. 11, pp. 4670– 4679, 2019
2019
-
[30]
K. S. Narendra and A. M. Annaswamy, Stable Adaptive Systems . Englewood Cliffs, NJ: Prentice-Hall, 1989
1989
-
[31]
On the existence of a Kazantzis– Kravaris/Luenberger observer,
V . Andrieu and L. Praly, “On the existence of a Kazantzis– Kravaris/Luenberger observer,” SIAM Journal on Control and Optimiza- tion, vol. 45, no. 2, pp. 432–456, 2006
2006
-
[32]
Observer design for continuous- time dynamical systems,
P. Bernard, V . Andrieu, and D. Astolfi, “Observer design for continuous- time dynamical systems,” Annual Reviews in Control , vol. 53, pp. 224– 248, 2022
2022
-
[33]
Observing the state of a linear system,
D. G. Luenberger, “Observing the state of a linear system,” IEEE Transactions on Military Electronics , vol. 8, no. 2, pp. 74–80, 1964
1964
-
[34]
P. J. Antsaklis and A. N. Michel, Linear Systems . Boston, MA: Birkh¨auser, 2006
2006
-
[35]
The robust control of a servomechanism problem for linear time-invariant multivariable systems,
E. Davison, “The robust control of a servomechanism problem for linear time-invariant multivariable systems,” IEEE Transactions on Automatic Control, vol. 21, no. 1, pp. 25–34, 1976
1976
-
[36]
Y ALMIP : A toolbox for modeling and optimization in MATLAB,
J. L ¨ofberg, “Y ALMIP : A toolbox for modeling and optimization in MATLAB,” in In Proceedings of the CACSD Conference , Taipei, Taiwan, 2004
2004
-
[37]
ApS, The MOSEK optimization toolbox for MATLAB manual
M. ApS, The MOSEK optimization toolbox for MATLAB manual. Version 10.2 , 2024. [Online]. Available: https://docs.mosek.com/10.2/ toolbox/index.html
2024
-
[38]
Scheduling of networked control systems,
G. C. Walsh and H. Ye, “Scheduling of networked control systems,” IEEE Control Systems Magazine , vol. 21, no. 1, pp. 57–65, 2001
2001
-
[39]
Adaptive output regulation of right-invertible MIMO LTI systems, with application to vessel motion control,
A. Pyrkin and A. Isidori, “Adaptive output regulation of right-invertible MIMO LTI systems, with application to vessel motion control,” Euro- pean Journal of Control , vol. 46, pp. 63–79, 2019
2019
-
[40]
Canonical forms for the identification of multivariable linear systems,
M. Denham, “Canonical forms for the identification of multivariable linear systems,” IEEE Transactions on Automatic Control, vol. 19, no. 6, pp. 646–656, 1974
1974
-
[41]
Semiglobal robust output regulation of minimum-phase nonlinear systems,
A. Serrani, A. Isidori, and L. Marconi, “Semiglobal robust output regulation of minimum-phase nonlinear systems,” International Journal of Robust and Nonlinear Control: IFAC-Affiliated Journal, vol. 10, no. 5, pp. 379–396, 2000
2000
-
[42]
summa cum laude
F. R. Gantmakher, The Theory of Matrices . New York, NY: Chelsea Publishing Company, 1960, vol. 1. 16 IEEE TRANSACTIONS AND JOURNALS TEMPLATE Alessandro Bosso (Member, IEEE), received the Ph.D. degree in Automatic Control from the University of Bologna, Bologna, Italy, in 2020...
1960
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.