REVIEW 1 major objections 3 minor 3 cited by
Learned dynamical models should be forced to obey control-relevant properties such as dissipativity, monotonicity, and symmetry, because a good data fit alone does not guarantee a usable control model.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-03 18:10 UTC pith:ZKIT5SL3
load-bearing objection A useful survey/tutorial whose three-way taxonomy is the real contribution; the headline benefits are plausible but mostly unproven, and the paper itself flags the key caveat. the 1 major comments →
Control-Oriented System Identification: Classical, Learning, and Physics-Informed Approaches
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central claim is that merging system identification with physics-informed or control-relevant properties—dissipativity, monotonicity, energy conservation, and symmetry-preserving Lagrangian/Hamiltonian structure—yields models with useful inductive bias, explainability, provable control guarantees, and improved sample complexity. Because even an excellent fit does not preserve these properties (Example 3.2 finds a 99.6%-fit model that is not passive), the survey contends that property preservation must be built into identification explicitly. It organizes the field through the optimization problem (21), where properties are enforced by direct parameterization, hard constraints g(θ
What carries the argument
The unifying object is the constrained identification optimization: minimize a fit cost plus regularization over model parameters, subject to property constraints and a chosen model parameterization. The control-relevant properties it packages are dissipativity (an energy-balance inequality, whose QSR form reduces to a linear matrix inequality for linear systems), monotonicity (order preservation), and symmetry or conservation laws, realized through Lagrangian, Hamiltonian, and port-Hamiltonian structures. The paper distinguishes three enforcement mechanisms—direct parameterization, hard constraints, and soft constraints—and treats Willems' fundamental lemma plus set-membership outer approxi
Load-bearing premise
The central premise is that the property being enforced—dissipativity, monotonicity, energy conservation, or symmetry—actually holds for the true system; if the real dynamics deviate from that prior, enforcing the property injects model bias and can invalidate the guarantees.
What would settle it
Train a hard-constrained stable or dissipative model and an unconstrained model on data from a system that only approximately satisfies the property (for example, a pendulum with unmodeled friction), then show the constrained model's out-of-distribution prediction error exceeds the unconstrained model's while its certified property still holds.
If this is right
- Identified models can be certified to be passive, dissipative, stable, or monotone before being used in control synthesis, closing a gap shown by the 99.6%-fit counter-example.
- Physics-informed architectures (Hamiltonian or Lagrangian neural ODEs, monotone networks) promise better sample efficiency and generalization than unstructured approximators on the same data.
- Direct data-driven verification via the fundamental lemma or set-membership methods can certify properties from single or noisy trajectories without first building a state-space model.
- The hard, soft, and direct parameterization taxonomy gives practitioners a menu for trading strict guarantees against model bias and expressiveness.
- A universal approximation theory for structured model classes would formalize how much expressiveness is lost when properties are enforced.
Where Pith is reading between the lines
- The same three-way enforcement taxonomy could be applied to networked and switched system identification, where the paper notes that properties like dissipativity need redefinition; a natural extension is to use the framework to define mode-dependent storage functions during identification.
- The counter-example suggests a practical model-selection criterion beyond fit: among models with comparable validation error, prefer ones that satisfy the target property; this could be tested systematically on standard benchmark systems.
- Enforcing a property in the model does not guarantee robustness if the true system violates that property; a testable extension is to quantify, for a given property and dataset, the error range in which hard-constraint benefit turns into bias harm.
- The taxonomy could inform experiment design: choose inputs that make the target property identifiable, not just persistently exciting.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper surveys the field of control-oriented system identification with physics-informed and control-relevant constraints. It organizes the literature through the constrained optimization formulation in Eq. (21), classifying approaches into direct parameterization, hard constraints, and soft constraints. The survey covers classical linear and nonlinear identification, deep learning architectures (neural ODEs, RENs, Hamiltonian/Lagrangian and monotone networks, PINNs), and behavioral/data-driven methods, including set-membership verification and online schemes. Several expository examples with accompanying code are provided, and the paper ends with future directions on networked, switched, and time-varying systems, experiment design, and tradeoffs between structure and expressivity.
Significance. The paper is a timely and well-organized survey that provides a useful map of an emerging area. The proposed taxonomy (direct parameterization / hard constraints / soft constraints) is a practical organizing principle, and the expository examples—especially the non-passivity counterexample in Example 3.2, the passivity-preserving perturbation in Example 4.1, and the stable Koopman model in Example 4.2—concretely illustrate the main ideas. The associated GitHub repository is a valuable asset for reproducibility. The paper states standard results (Lyapunov stability, dissipativity LMIs, Willems' fundamental lemma) accurately and is honest about the tradeoffs in Section 7.6. Its central claims are framed as a research program rather than as established theorems, which is appropriate for a survey. The main limitation is that the advertised benefits are conditional on the correctness of the physical prior and on bridging model-level guarantees to closed-loop guarantees; this should be made more explicit in the abstract and Section 3.1.
major comments (1)
- [Abstract and Sec. 3.1 / Sec. 7.6] The paper advertises that property-preserving identification can 'enable control synthesis with provable guarantees' and 'improve sample complexity.' These benefits are conditional on the physical prior actually holding for the true system, and model-level property certificates do not by themselves imply plant-level closed-loop guarantees unless model-error bounds are also available. Section 7.6 acknowledges the bias-variance tradeoff but does not provide a criterion for deciding when enforcing a property helps versus harms. I recommend adding a short paragraph in Sec. 3.1 or 7.6 that explicitly distinguishes model-level properties from closed-loop guarantees and states that the benefits are guaranteed only when the constrained model class contains the true system.
minor comments (3)
- [Eq. (30)] The Hamiltonian matrix M_H appears to be missing the bottom-right block in the displayed equation; the second row is also typeset in a garbled way. Please check the formatting and verify the standard expression for the passivity Hamiltonian.
- [Definition 2.3] The supply-rate condition is written as 'TR 0 |s(u,y)dt|<∞', which is typeset incorrectly. It should be an integral over [0,T] of |s(u,y)|, likely with a suitable absolute integrability condition.
- [Sec. 5.5] There is a typo in 'This aspects will be further discussed'—should be 'This aspect' or 'These aspects.' Also, in the caption of Figure 10, 'V oltage' should be 'Voltage.'
Circularity Check
No significant circularity; the central thesis is explicitly a postulate and the examples are illustrative, with limitations disclosed.
full rationale
The paper is a survey and does not derive the central claim. Section 3.1 states: "we postulate that merging system identification algorithms with such control-relevant or physics-informed properties can provide useful inductive bias, enhance explainability, enable control synthesis with provable guarantees, and improve sample complexity." This is a research program, not a result derived from its own inputs. The optimization formulation (21) is a definitional taxonomy (direct parameterization, hard constraints, soft constraints), not a prediction. The expository examples that cite the authors' own work (Duong et al. 2024a/b, Feng et al. 2023, Xu and Sivaranjani 2023) are feasibility illustrations with publicly available code, and the surrounding text also cites independent literature (Cranmer, Greydanus, Zhong, Miller, Ljung, etc.). None of the examples takes a fitted quantity and renames it as a prediction: e.g., Example 5.3 reports that after weight perturbation the model is dissipative, which is a constraint-satisfaction check, and Examples 5.1 and 5.2 evaluate accuracy honestly (Example 5.2 reports MNNs are "comparable but slightly worse" than a standard FNN). The paper's own limitation statement in Section 7.6 — "hard constraints or rigid model parameterizations can introduce model bias" — explicitly bounds the thesis; this is a correctness caveat, not circularity. Similarly, Section 6.1's disclaimer that fundamental-lemma-based verification requires "noise-free measurements, is restricted to finite horizon, and an extension to general nonlinear systems is unknown" is an assumption disclosure, not a circular step. No equation is shown to reduce to its input by construction; no fitted parameter is renamed as a prediction; no uniqueness or ansatz is imported from a self-citation. The conditionality of the claimed benefits is exactly what the paper concedes. Therefore, score 0.
Axiom & Free-Parameter Ledger
free parameters (4)
- Soft-constraint penalty λ =
200
- Number of RBF centers N_rbf =
8
- Noise bound ε =
0.002–0.04
- Perturbation weights λ1, λ2, λ =
10, 10, 27.822
axioms (6)
- standard math Lyapunov stability theorem and LaSalle's invariance principle
- domain assumption Willems' fundamental lemma
- standard math LMI dissipativity characterization for LTI systems (Eq. 16)
- standard math Positive real lemma
- standard math Universal approximation by feedforward and recurrent neural networks
- domain assumption Physics/control properties actually hold for the systems being identified
read the original abstract
We survey classical, machine learning, and data-driven system identification approaches to learn control-relevant and physics-informed models of dynamical systems. Recently, machine learning approaches have enabled system identification from noisy, high-dimensional, and complex data. However, their utility is limited by their ability to provide provable guarantees on control-relevant properties. Meanwhile, control theory has identified several properties that are useful in analysis and control synthesis, such as dissipativity, monotonicity, energy conservation, and symmetry-preserving structures. We posit that merging system identification with such control-relevant or physics-informed properties can provide useful inductive bias, enhance explainability, enable control synthesis with provable guarantees, and improve sample complexity. We formulate system identification as an optimization problem where control-relevant properties can be enforced through direct parameterization (constraining the model structure to satisfy a desired property by construction), soft constraints (encouraging control-relevant properties through regularization or penalty terms), and hard constraints (imposing control-relevant properties as constraints in the optimization problem). Through this lens, we survey methods to learn physics-informed and control-relevant models spanning classical linear and nonlinear system identification, machine learning approaches, and direct identification through data-driven and behavioral representations. We also provide several expository examples that are accompanied by code and brief tutorials on a public Github repository. We also describe challenging directions for future research, including identification in networked, switched, and time-varying systems, experiment design, and bridging the gaps between data-driven, learning-based, and control-oriented approaches.
Figures
Forward citations
Cited by 3 Pith papers
-
Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control
A physics-informed co-learning method jointly learns port-Hamiltonian dynamics and optimal energy-shaping controllers from data, guaranteeing closed-loop passivity and stability for pendulum regulation and swing-up tasks.
-
Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control
A co-learning approach jointly optimizes a port-Hamiltonian system model and an energy-balancing passivity-based controller from data via alternating optimization with neural networks that embed structure for guarante...
-
PE-MHL: Physics-Encoded Modular Hybrid Layers for Scalable Learning of Complex Systems
PE-MHL incrementally refines a physics baseline with modular sub-models, proving monotonic non-increasing training error that converges, and outperforming monolithic networks on NARX and Quanser Aero benchmarks.
Reference graph
Works this paper leans on
-
[4]
IEEE Transactions on Automatic Control (TAC) 68, 214–229
Control Barriers in Bayesian Learning of System Dy- namics. IEEE Transactions on Automatic Control (TAC) 68, 214–229. DiPietro, D., Xiong, S., Zhu, B., 2020. Sparse symplectically integrated neural networks. Advances in Neural Information Processing Systems 33, 6074–6085. Dirr, G., Ito, H., Rantzer, A., Rüffer, B., 2015. Separable lya- punov functions for...
Pith/arXiv arXiv 2020
-
[11]
Distributed learning-based stability assessment for large scale networks of dissipative systems, in: 2021 60th IEEE Conference on Decision and Control (CDC), IEEE. pp. 1509–1514. Kaptanoglu, A.A., Callaham, J.L., Aravkin, A., Hansen, C.J., Brunton, S.L., 2021. Promoting global stability in data- driven models of quadratic nonlinear dynamics. Physical Re- ...
2021
-
[12]
URL:https://pysindy.readthedocs.io/en/stable/ examples/8_trapping_sindy_paper_examples/ example.html
Pysindy example: Trapping sindy for lorenz model. URL:https://pysindy.readthedocs.io/en/stable/ examples/8_trapping_sindy_paper_examples/ example.html. accessed: 2024-04-15. Karniadakis, G., Kevrekidis, I., Lu, L., Perdikaris, P., Wang, S., L., Y ., 2021. Physics-informed machine learning. Nature Reviews Physics 3, 422–440. Kelly, J., Bettencourt, J., Joh...
2024
-
[16]
IEEE Transactions on Automatic Control 61, 1223–1238
Port-Hamiltonian systems in adaptive and learning control: A survey. IEEE Transactions on Automatic Control 61, 1223–1238. Narendra, K.S., Annaswamy, A.M., 1987. Persistent excita- tion in adaptive systems. International Journal of Control 45, 127–160. Nghiem, T.X., Drgo ˇna, J., Jones, C., Nagy, Z., Schwan, R., Dey, B., Chakrabarty, A., Di Cairano, S., P...
arXiv 1987
-
[20]
IEEE Transactions on Auto- matic control 46, 1416–1420
Identification of stable models in subspace identifi- cation by using regularization. IEEE Transactions on Auto- matic control 46, 1416–1420. Van Overschee, P., De Moor, B., 1996. Subspace identification for linear systems: Theory–Implementation–Applications. Springer. 44 Van Overschee, P., De Moor, B., 2012. Subspace identification for linear systems: Th...
1996
-
[21]
IEEE Control Systems Magazine 43, 32–66
The informativity approach: To data-driven analysis and control. IEEE Control Systems Magazine 43, 32–66. Vardi, Y ., 1996. Network tomography: Estimating source- destination traffic intensities from link data. Journal of the American statistical association 91, 365–377. Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A.N., Kaiser, ...
Pith/arXiv arXiv 1996
-
[22]
IEEE Transactions on Automatic Control 69, 8603–8616
Data-driven dissipativity analysis of linear parameter- varying systems. IEEE Transactions on Automatic Control 69, 8603–8616. Verhoek, C., Koelewijn, P.J.W., Tóth, R., 2023b. Convex incre- mental dissipativity analysis of nonlinear systems. Automat- ica 150, 110859. Verhoek, C., Tóth, R., Abbas, H.S., 2022. Direct data-driven state-feedback control of li...
Pith/arXiv arXiv 2022
-
[25]
arXiv preprint arXiv:2001.02908
Spatial-temporal transformer networks for traffic flow forecasting. arXiv preprint arXiv:2001.02908 . Xu, Y ., Sivaranjani, S., 2023. Learning dissipative neural dy- namical systems. IEEE Control Systems Letters 7, 3531– 3536. Xue, A., Matni, N., 2021. Data-driven system level synthesis, in: Proc. of Machine Learning Research, p. 1–12. Ye, L., Chi, M., Gu...
Pith/arXiv arXiv 2001
-
[478]
Lauricella, M., 2020
Springer. Lauricella, M., 2020. Set membership identification and filter- ing of linear systems with guaranteed accuracy . Lauricella, M., Fagiano, L., 2020. Set membership identifica- tion of linear systems with guaranteed simulation accuracy. IEEE Transactions on Automatic Control 65, 5189–5204. Lavaei, A., Zamani, M., 2022. From dissipativity theory to...
2020
-
[2001]
IEEE Control Sys- tems Magazine 21, 18–33
Putting energy back in control. IEEE Control Sys- tems Magazine 21, 18–33. Pan, S., Duraisamy, K., 2018. Long-time predictive model- ing of nonlinear dynamical systems using neural networks. Complexity 2018, 4801012. Pan, Y ., Wang, J., 2011. Model predictive control of un- known nonlinear dynamical systems based on recurrent neu- ral networks. IEEE Trans...
Pith/arXiv arXiv 2018
-
[2007]
Theory and Applications 2, 2–5
Dissipative systems analysis and control. Theory and Applications 2, 2–5. Brunton, S.L., Proctor, J.L., Kutz, J.N., 2016. Discovering gov- erning equations from data by sparse identification of nonlin- ear dynamical systems. Proceedings of the national academy of sciences 113, 3932–3937. Calliess, J.P., 2014. Conservative decision-making and infer- ence i...
Pith/arXiv arXiv 2016
-
[2010]
Peds: Passivity enforcement for descriptor systems via hamiltonian-symplectic matrix pencil perturbation, in: 2010 IEEE/ACM International Conference on Computer- Aided Design (ICCAD), IEEE. pp. 800–807. Wehenkel, A., Louppe, G., 2019. Unconstrained monotonic neural networks. Advances in neural information processing systems 32. Wei, T., Liu, C., 2022. Saf...
Pith/arXiv arXiv 2010
-
[2011]
Enforcing a system model to be negative imaginary via perturbation of hamiltonian matrices, in: 2011 50th IEEE Conference on Decision and Control and European Control Conference, IEEE. pp. 3748–3752. Maciejowski, J.M., 1995. Guaranteed stability with subspace methods. Systems & Control Letters 26, 153–156. Majumdar, A., Ahmadi, A.A., Tedrake, R., 2013. Co...
Pith/arXiv arXiv 2011
-
[2013]
Springer Science & Business Media
Passivity-based control of Euler-Lagrange systems: mechanical, electrical and electromechanical applications. Springer Science & Business Media. Ortega, R., van der Schaft, A., Castanos, F., Astolfi, A., 2008. Control by interconnection and standard passivity-based con- trol of port-Hamiltonian systems. IEEE Transactions on Au- tomatic Control 53, 2527–25...
2008
-
[2014]
Automatica 50, 1955–1988
Models, feedback control, and open problems of 3d bipedal robotic walking. Automatica 50, 1955–1988. Guo, M., De Persis, C., Tesi, P., 2022. Data-driven stabiliza- tion of nonlinear polynomial systems with noisy data. IEEE Trans. Automat. Control 67, 4210–4217. Gupta, J.K., Menda, K., Manchester, Z., Kochenderfer, M.J.,
1955
-
[2015]
Springer
Passivity-based control and estimation in networked robotics. Springer. Hewing, L., Kabzan, J., Zeilinger, M.N., 2020. Cautious model predictive control using Gaussian process regression. IEEE Transactions on Control Systems Technology 28, 2736– 2743. Hill, D.J., Moylan, P., 1980. Dissipative dynamical sys- tems: Basic input-output and state properties. J...
2020
-
[2016]
4661–4666
Safe learning of regions of attraction for uncertain, nonlinear systems with gaussian processes, in: IEEE Confer- ence on Decision and Control (CDC), pp. 4661–4666. Berkenkamp, F., Turchetta, M., Schoellig, A., Krause, A., 2017. Safe model-based reinforcement learning with stability guar- antees, in: Advances in Neural Information Processing Sys- tems (Ne...
2017
-
[2017]
Evangelisti, G., Hirche, S., 2022
Identification of gaussian process state space mod- els, in: Advances in Neural Information Processing Systems (NeurIPS). Evangelisti, G., Hirche, S., 2022. Physically consistent learn- ing of conservative Lagrangian systems with Gaussian pro- cesses, in: IEEE Conference on Decision and Control (CDC), pp. 4078–4085. Evangelisti, G., Hirche, S., 2024. Data...
Pith/arXiv arXiv 2022
-
[2019]
arXiv preprint arXiv:1902.08705
A general framework for structured learning of me- chanical systems. arXiv preprint arXiv:1902.08705 . Gustavsen, B., 2007. Computer code for passivity enforce- ment of rational macromodels by residue perturbation. IEEE Transactions on Advanced Packaging 30, 209–215. Gustavsen, B., 2008. Passivity enforcement of rational models via modal perturbation. IEE...
Pith/arXiv arXiv 1902
-
[2020]
Advances in Neural Information Processing Sys- tems 33, 11936–11948
Counterexample-guided learning of monotonic neural networks. Advances in Neural Information Processing Sys- tems 33, 11936–11948. Sivaranjani, S., Agarwal, E., Gupta, V ., 2022. Data-driven iden- tification of dissipative linear models for nonlinear systems. IEEE Transactions on Automatic Control 67, 4978–4985. Sivaranjani, S., Agarwal, E., Gupta, V ., An...
arXiv 2022
-
[2021]
Learning contact dynamics using physically structured neural networks, in: International Conference on Artificial Intelligence and Statistics, PMLR. pp. 2152–2160. Hochreiter, S., Schmidhuber, J., 1997. Long short-term mem- ory. Neural computation 9, 1735–1780. Holm, D., 2008. Geometric Mechanics. World Scientific Pub- lishing Company. Holmsen, S., Eidnes...
Pith/arXiv arXiv 1997
-
[2022]
IEEE Robotics and Automation Letters 7, 7295– 7302
Safe control synthesis with uncertain dynamics and constraints. IEEE Robotics and Automation Letters 7, 7295– 7302. Lopez, V .G., Müller, M.A., 2022. On a continuous-time ver- sion of willems’ lemma, in: 2022 IEEE 61st conference on decision and control (CDC), IEEE. pp. 2759–2764. Lovisari, E., Como, G., Savla, K., 2014. Stability of mono- tone dynamical ...
2022
-
[2023]
Bear-data: Analysis and applications of an open mul- tizone building dataset, in: Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, pp. 240–243. Biloš, M., Sommer, J., Rangapuram, S.S., Januschowski, T., Günnemann, S., 2021. Neural flows: Efficient alternative to neural odes. Advanc...
2021
-
[2024]
Simultaneous identification of changepoints and model parameters in switching dynamical systems. bioRxiv , 2024–01. Funahashi, K.i., Nakamura, Y ., 1993. Approximation of dy- namical systems by continuous time recurrent neural net- works. Neural networks 6, 801–806. Gaby, N., Zhang, F., Ye, X., 2022. Lyapunov-Net: A deep neu- ral network architecture for ...
Pith/arXiv arXiv 2024
-
[2025]
First ed., Kindle Direct Publishing
Data-Based Linear Systems and Control Theory. First ed., Kindle Direct Publishing. URL:https:// henkvanwaarde.github.io/dblsct. Wahlberg, B., Syberg, M.B., Hjalmarsson, H., 2010. Non- parametric methods forL2-gain estimation using iterative ex- periments. Automatica 46, 1376–1381. Wang, J.S., Chen, Y .P., 2006. A fully automated recurrent neu- ral network...
Pith/arXiv arXiv 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.