pith. machine review for the scientific record. sign in

arxiv: 2605.10152 · v1 · submitted 2026-05-11 · 📡 eess.SY · cs.SY

Recognition: 2 theorem links

· Lean Theorem

Online Learning-Based Control with Guaranteed Error Bounds for a Class of Nonlinear Systems

Harald Aschemann, Malin Lotta Husmann, Ricus Husmann, Sven Weishaupt

Pith reviewed 2026-05-12 03:14 UTC · model grok-4.3

classification 📡 eess.SY cs.SY
keywords online learningGaussian processadaptive controlnonlinear systemslinear matrix inequalitieserror boundsexponential stability
0
0 comments X

The pith

Adaptive control using online-learned Gaussian process models guarantees exponential stability and user-defined output error bounds for first-order nonlinear systems.

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

The paper establishes a control architecture for first-order single-input single-output nonlinear systems that learns a Gaussian process model online and incorporates it into an adaptive controller. Stability conditions and the system's peak-to-peak gains are derived from linear matrix inequalities. These gains determine the maximum prediction error rate that the disturbance error rate limiting algorithm must enforce. This setup ensures the output error stays within bounds chosen by the user. The method is demonstrated in simulation and validated experimentally on a pneumatic test rig.

Core claim

By embedding the online-learned Gaussian process submodel into the adaptive controller and using linear matrix inequalities to find peak-to-peak gains, the authors show that the prediction error rate can be limited such that the overall output error is bounded while the closed loop remains exponentially stable.

What carries the argument

The key machinery consists of linear matrix inequalities that certify stability and compute peak-to-peak gains from the closed-loop dynamics including the Gaussian process model; these gains then set the allowable rate of model prediction error.

If this is right

  • The closed-loop system exhibits exponential stability whenever the derived linear matrix inequalities are feasible.
  • User-specified output error bounds are achieved by adjusting the prediction error rate limit in the disturbance error rate limiting algorithm according to the computed gains.
  • The guarantees hold for the class of first-order single-input-single-output nonlinear systems to which the approach applies.
  • Both simulation and experimental results on a pneumatic rig confirm that the error bounds are met in practice.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the linear matrix inequality conditions can be formulated and solved for higher-order systems, the same error bounding technique would extend directly.
  • The approach allows trading faster model learning, which increases prediction errors, against looser but still guaranteed output error bounds.
  • Real-time implementation on embedded hardware could be tested to assess computational feasibility for similar physical plants.

Load-bearing premise

The nonlinear system is first-order and single-input single-output, and the linear matrix inequalities for stability and gain computation admit a feasible solution.

What would settle it

An experiment on a qualifying first-order single-input single-output nonlinear system in which the output error exceeds the prescribed bound, even though the prediction error rate is limited according to the peak-to-peak gain from the linear matrix inequalities, would falsify the result.

Figures

Figures reproduced from arXiv: 2605.10152 by Harald Aschemann, Malin Lotta Husmann, Ricus Husmann, Sven Weishaupt.

Figure 1
Figure 1. Figure 1: Schematic structure of the control scheme including the [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Scheme of the considered pneumatic test rig at the Chair [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Cumulated absolute error (CAE) for different bounds [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
read the original abstract

In this paper, we present a learning-based control for a class of nonlinear systems that guarantees exponential stability as well as bounded output errors. The control is based on the Gaussian Process Submodel Online Learning (GPSOL) algorithm and the Disturbance Error Rate Limiting (DERL) algorithm, both of which were developed in previous work. The GPSOL algorithm provides a method to learn Gaussian Process (GP) models for subsystems online, whereas the DERL algorithm allows to limit the rate of the prediction error of these GP models. The focus of this paper is the utilization of the GP model within an adaptive controller and the derivation of corresponding stability conditions and system peak-to-peak gains by means of linear matrix inequalities (LMIs). These peak-to-peak gains are then used to prescribe a desired prediction error rate for the DERL algorithm to achieve user-defined output error bounds. The gains and the related bounds were successfully verified using a simulation model. Furthermore, results form a successful experimental validation of the bounds and the overall control structure on a pneumatic test rig are presented. While the control scheme and error bounds proposed in this paper are limited to first-order single-input-single-output systems, an extension to certain classes of higher-order and multiple-input-multiple-output systems is expected to be forthcoming.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proposes an online learning-based control method for a class of first-order single-input single-output nonlinear systems. It utilizes the GPSOL algorithm for online learning of Gaussian Process submodels and the DERL algorithm to limit the rate of prediction errors. The main technical contribution is the design of an adaptive controller incorporating the GP model, the derivation of closed-loop stability conditions and peak-to-peak gains from the prediction error to the output error using linear matrix inequalities (LMIs), and the use of these gains to set the prediction error rate in DERL to achieve prescribed output error bounds. The method is validated in simulation and through experiments on a pneumatic test rig.

Significance. This approach is significant because it provides a framework for guaranteeing exponential stability and user-specified error bounds in learning-based control systems, which is crucial for applications where safety and performance guarantees are required. The use of LMIs to derive the necessary gains offers a systematic way to analyze the closed-loop system. The successful experimental validation demonstrates the practical feasibility for the considered class of systems. The work builds upon previous contributions on GPSOL and DERL, extending them with stability analysis.

minor comments (3)
  1. [Abstract] The phrase 'results form a successful experimental validation' in the abstract contains a typographical error and should read 'results from a successful experimental validation'.
  2. [Abstract] The final sentence of the abstract states that an extension to higher-order and MIMO systems is 'expected to be forthcoming'; this could be clarified to indicate whether this is planned future work by the authors or simply a possibility.
  3. [Introduction] The introduction should include a brief, self-contained recap of the key properties of GPSOL and DERL (e.g., the exact form of the prediction-error bound provided by DERL) so that readers do not need to consult the prior references to follow the LMI derivation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work, the recognition of its significance, and the recommendation for minor revision. The referee's description accurately captures the technical contributions, including the use of GPSOL, DERL, LMI-based stability analysis, and experimental validation on the pneumatic rig. Since no specific major comments appear in the report, we have no points requiring rebuttal or clarification at this stage.

Circularity Check

0 steps flagged

No significant circularity; new LMI analysis and validation are independent

full rationale

The paper's derivation begins with the GPSOL algorithm (from prior work) to learn a GP submodel online for a first-order SISO nonlinear system, embeds this model in an adaptive controller, derives closed-loop exponential stability and peak-to-peak gains from prediction error to output error via new LMI conditions, and then uses those gains to select a DERL prediction-error rate that enforces user-specified output bounds. The LMI step and the subsequent bound prescription constitute independent first-principles analysis that does not reduce by construction to the inputs or to the cited prior algorithms; the manuscript further supplies simulation verification of the gains/bounds and experimental confirmation on a pneumatic rig. Reliance on the earlier GPSOL/DERL results is ordinary incremental use of established tools rather than a self-definitional loop, fitted-input renaming, or load-bearing uniqueness claim that collapses the central result. No step matches any enumerated circularity pattern.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The paper depends on previously developed algorithms (GPSOL, DERL) and standard LMI techniques for robust control analysis. No new entities are invented, but the integration assumes the applicability of these tools to the class of systems considered.

free parameters (1)
  • LMI-derived peak-to-peak gains
    These are computed via LMIs but depend on system parameters and may involve choices in the optimization.
axioms (2)
  • domain assumption The nonlinear system can be modeled with Gaussian Process submodels learned online
    Relies on the GPSOL algorithm from prior work.
  • domain assumption The DERL algorithm can effectively limit the prediction error rate as prescribed
    Central to achieving the bounds.

pith-pipeline@v0.9.0 · 5536 in / 1372 out tokens · 52672 ms · 2026-05-12T03:14:21.371624+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

162 extracted references · 162 canonical work pages

  1. [1]

    Aschemann, H., Ritzke, J., and Schulte, H. (2009). Model-based nonlinear trajectory control of a drive chain with hydrostatic transmission. IFAC Proceedings Volumes, 42(13), 461--466. 14th IFAC Conference on Methods and Models in Automation and Robotics

  2. [2]

    and Wittenmark, B

    str \"o m, K. and Wittenmark, B. (2008). Adaptive Control (2 rev. Dover ed.). Dover Publications

  3. [3]

    Berberich, J., Köhler, J., Müller, M.A., and Allgöwer, F. (2021). Data-driven model predictive control with stability and robustness guarantees. IEEE Transactions on Automatic Control, 66(4), 1702--1717

  4. [4]

    Boyd, S., El Ghaoui, L., Feron, E., and Balakrishnan, V. (1994). Linear Matrix Inequalities in System and Control Theory. Society for Industrial and Applied Mathematics

  5. [5]

    Bradford, E., Imsland, L., Zhang, D., and del Rio Chanona , E.A. (2020). Stochastic data-driven model predictive control using Gaussian processes. Computers & Chemical Engineering, 139, 106844

  6. [6]

    and Rysdyk, R.T

    Calise, A.J. and Rysdyk, R.T. (1998). Nonlinear adaptive flight control using neural networks. IEEE Control Systems Magazine, 18(6), 14--25

  7. [7]

    Chen, W.H., Yang, J., Guo, L., and Li, S. (2016). Disturbance-observer-based control and related methods—an overview. IEEE Transactions on Industrial Electronics, 63(2), 1083--1095

  8. [8]

    Chen, Z., Renda, F., Le Gall, A., Mocellin, L., Bernabei, M., Dangel, T., Ciuti, G., Cianchetti, M., and Stefanini, C. (2025). Data-driven methods applied to soft robot modeling and control: A review. IEEE Transactions on Automation Science and Engineering, 22, 2241--2256

  9. [9]

    Cuomo, S., Di Cola, V.S., Giampaolo, F., Rozza, G., Raissi, M., and Piccialli, F. (2022). Scientific machine learning through physics--informed neural networks: Where we are and what’s next. Journal of Scientific Computing, 92(3), 88

  10. [10]

    Gr \"o tschel, M., Lov \'a sz, L., and Schrijver, A. (1993). The Ellipsoid Method, 64--101. Springer Berlin Heidelberg, Berlin, Heidelberg

  11. [11]

    and Rawlings, J.B

    Haseltine, E.L. and Rawlings, J.B. (2005). Critical evaluation of extended Kalman filtering and moving-horizon estimation. Industrial & Engineering Chemistry Research, 44(8), 2451--2460

  12. [12]

    Huber, M.F. (2013). Recursive Gaussian process regression. In 2013 IEEE International Conference on Acoustics, Speech and Signal Processing, 3362--3366

  13. [13]

    (2025 a )

    Husmann, R., Weishaupt, S., and Aschemann, H. (2025 a ). Direct integration of recursive Gaussian process regression into extended Kalman filters with application to vapor compression cycle control. In 13th IFAC Symposium on Nonlinear Control Systems NOLCOS 2025

  14. [14]

    (2025 b )

    Husmann, R., Weishaupt, S., and Aschemann, H. (2025 b ). Recursive Gaussian process regression with integrated monotonicity assumptions for control applications. In Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO. INSTICC, SciTePress

  15. [15]

    (2026 a )

    Husmann, R., Weishaupt, S., and Aschemann, H. (2026 a ). Extending Gaussian process submodel online learning ( GPSOL ) to state-dependent and time-varying hidden functions. 23rd IFAC World Congress, Busan, Korea. Accepted

  16. [16]

    (2026 b )

    Husmann, R., Weishaupt, S., and Aschemann, H. (2026 b ). Gaussian process submodel online learning and its usage in control. Submitted and under review

  17. [17]

    and Uhlmann, J.K

    Julier, S.J. and Uhlmann, J.K. (1997). A new extension of the Kalman filter to nonlinear systems. In Proc. of AeroSense: The 11th Int. Symp. on Aerospace/Defence Sensing Simulation and Controls

  18. [18]

    and Grizzle, J.W

    Khalil, H.K. and Grizzle, J.W. (2002). Nonlinear systems, volume 3. Prentice hall Upper Saddle River, NJ

  19. [19]

    Krstic, M., Kokotovic, P.V., and Kanellakopoulos, I. (1995). Nonlinear and Adaptive Control Design. John Wiley & Sons, Inc., USA, 1st edition

  20. [20]

    L \" o fberg, J. (2004). Yalmip : A toolbox for modeling and optimization in matlab. In In Proceedings of the CACSD Conference. Taipei, Taiwan

  21. [21]

    Lutter, M., Ritter, C., and Peters, J. (2019). Deep lagrangian networks: Using physics as model prior for deep learning. In 7th International Conference on Learning Representations (ICLR). ICLR

  22. [22]

    Nguyen, N.T. (2018). Model-Reference Adaptive Control. Springer Cham

  23. [23]

    and Weiland, S

    Scherer, C. and Weiland, S. (2015). Linear matrix inequalities in control. Lecture notes, Department of Mathematics, University of Stuttgart, Germany

  24. [24]

    Scholl, P., Iskandar, M., Wolf, S., Lee, J., Bacho, A., Dietrich, A., Albu-Schäffer, A., and Kutyniok, G. (2024). Learning-based adaption of robotic friction models. Robotics and Computer-Integrated Manufacturing, 89, 102780

  25. [25]

    Sch \"u rch, M., Azzimonti, D., Benavoli, A., and Zaffalon, M. (2020). Recursive estimation for sparse Gaussian process regression. Automatica, 120

  26. [26]

    Sena, H.J., da Silva, F.V., and Fileti, A.M.F. (2021). ANN model adaptation algorithm based on extended Kalman filter applied to ph control using mpc. Journal of Process Control, 102, 15--23

  27. [27]

    Sturm, J.F. (1999). Using sedumi 1.02, a matlab toolbox for optimization over symmetric cones. Optimization Methods and Software, 11(1-4), 625--653

  28. [28]

    and Aschemann, H

    Wache, A. and Aschemann, H. (2021). Self-tuning of adaptive backstepping control for reference tracking. IFAC-PapersOnLine, 54(14), 313--318. 3rd IFAC Conference on Modelling, Identification and Control of Nonlinear Systems MICNON 2021

  29. [29]

    Wietzke, T., Landgraf, D., and Graichen, K. (2025). Application of stochastic model predictive control for building energy systems using latent force models. at - Automatisierungstechnik, 73(6), 441--450

  30. [30]

    Liu, Liuchen and Zhu, Tong and Gao, Naiping and Gan, Zhongxue , year =

  31. [31]

    Model Predictive Control for an Organic Rankine Cycle System applied to a Heavy-Duty Diesel Engine , year=

    Keller, Martin and Neumann, Marcel and Eichler, Katharina and Pischinger, Stefan and Abel, Dirk and Albin, Thivaharan , booktitle=. Model Predictive Control for an Organic Rankine Cycle System applied to a Heavy-Duty Diesel Engine , year=

  32. [32]

    2010 , issn =

    A dynamic model of a vapor compression cycle with shut-down and start-up operations , journal =. 2010 , issn =

  33. [33]

    Multiphysics Modeling , publisher =

    5 - Stabilization schemes for highly nonlinear problems , editor =. Multiphysics Modeling , publisher =

  34. [34]

    2016 , series =

    Multiphysics Modeling , publisher =. 2016 , series =

  35. [35]

    udecke and Dorothea L\

    Christa L\"udecke and Dorothea L\"udecke , YEAR =. Thermodynamik (in German) , SUBTITLE =

  36. [36]

    2020 , author =

    A comparative analysis of dynamic evaporator models for organic Rankine cycle waste heat recovery systems , journal =. 2020 , author =

  37. [37]

    2008 , author =

    Applied Thermal Engineering , volume =. 2008 , author =

  38. [38]

    Energies , VOLUME =

    Desideri, Adriano and Dechesne, Bertrand and Wronski, Jorrit and Van den Broek, Martijn and Gusev, Sergei and Lemort, Vincent and Quoilin, Sylvain , TITLE =. Energies , VOLUME =. 2016 , NUMBER =

  39. [39]

    and Wronski, Jorrit and Quoilin, Sylvain and Lemort, Vincent , title =

    Bell, Ian H. and Wronski, Jorrit and Quoilin, Sylvain and Lemort, Vincent , title =. Industrial & Engineering Chemistry Research , volume =

  40. [40]

    Modelica 2002 Proceedings

    Jakob Munch Jensen and Hubertus Tummescheit , title=. Modelica 2002 Proceedings

  41. [41]

    2011 , address=

    Sylvain Quoilin , title=. 2011 , address=

  42. [42]

    Schmidt and C

    D. Schmidt and C. Goetschkes and C. Pollerberg , title=. 2020 , address=

  43. [43]

    Regelungstechnik 2 (in German) , SUBTITLE =

    Jan Lunze , YEAR =. Regelungstechnik 2 (in German) , SUBTITLE =

  44. [44]

    Optimierung (in German) , SUBTITLE =

    Markos Papageorgiou and Marion Leibold and Martin Buss , YEAR =. Optimierung (in German) , SUBTITLE =

  45. [45]

    Krener and Kayo Ide , booktitle=

    Arthur J. Krener and Kayo Ide , booktitle=. Measures of unobservability , year=

  46. [46]

    2018 , publisher =

    Bastian Ritter and Edwin Mora and Axel Schild , title =. 2018 , publisher =

  47. [47]

    Willcox and J

    K. Willcox and J. Peraire , title =. 2002 , publisher =

  48. [48]

    Conley and M.E

    A. Conley and M.E. Salgado , booktitle=. Gramian based interaction measure , year=

  49. [49]

    Moore , journal=

    B. Moore , journal=. Principal component analysis in linear systems: Controllability, observability, and model reduction , year=

  50. [50]

    Thomas Maurer , YEAR =. K

  51. [51]

    Dynamic Modeling of a Vapor Compression Cycle , journal =

    Ricus Husmann and Harald Aschemann , keywords =. Dynamic Modeling of a Vapor Compression Cycle , journal =. 2022 , note =

  52. [52]

    Analysis and Qualitative Observability of Two Vapor Compression Cycle Models , year=

    Ricus Husmann and Harald Aschemann , booktitle=. Analysis and Qualitative Observability of Two Vapor Compression Cycle Models , year=

  53. [53]

    2014 , edition=

    J\"uergen Adamy , title =. 2014 , edition=

  54. [54]

    Marcinichen and Thiago N

    Jackson B. Marcinichen and Thiago N. del Holanda and Claudio Melo , booktitle=. A dual

  55. [55]

    Cornell University Library , year =

    Qingfu Zhang and Xu Zhang , title =. Cornell University Library , year =

  56. [56]

    Alleyne , booktitle=

    Neera Jain and Andrew G. Alleyne , booktitle=. Comparison of. 2009 , pages=

  57. [57]

    2022 , note =

    Nonlinear Model Order Reduction for Feedforward Control of an Air Conditioning System in an Electric Vehicle , journal =. 2022 , note =

  58. [58]

    Taschenbuch f

    Karl-Josef Albers , YEAR =. Taschenbuch f

  59. [59]

    Flatness-Based Control for an Internal Combustion Engine Cooling System , year=

    Aschemann, Prabel , booktitle=. Flatness-Based Control for an Internal Combustion Engine Cooling System , year=

  60. [60]

    1991 , publisher=

    Applied Nonlinear Control , author=. 1991 , publisher=

  61. [61]

    Nonlinear Control of a Vapor Compression Cycle by Input-Output Linearisation , year=

    Ricus Husmann and Sven Weishaupt and Harald Aschemann , booktitle=. Nonlinear Control of a Vapor Compression Cycle by Input-Output Linearisation , year=

  62. [62]

    Cascaded Sliding-Mode Control of a Vapor Compression Cycle , year=

    Ricus Husmann and Sven Weishaupt and Harald Aschemann , booktitle=. Cascaded Sliding-Mode Control of a Vapor Compression Cycle , year=

  63. [63]

    Miller , year=

    Ronald E. Miller , year=. Optimization , SUBTITLE =

  64. [64]

    Handbook of Discrete and Computational Geometry , publisher =

    Martin Dyer and Bernd G\". Handbook of Discrete and Computational Geometry , publisher =

  65. [65]

    2022 , edition=

    J\"uergen Adamy , title =. 2022 , edition=

  66. [66]

    Mathematical Programming Computation , volume =

    Joel A E Andersson and Joris Gillis and Greg Horn and James B Rawlings and Moritz Diehl , title =. Mathematical Programming Computation , volume =. 2019 , publisher =

  67. [67]

    Sontag , chapter =

    Eduardo D. Sontag , chapter =. Nonlinear and Optimal Control Theory , publisher =

  68. [68]

    1997 , address=

    Alberto Bemporad , title=. 1997 , address=

  69. [69]

    Gilbert and Ilya Kolmanovsky , title =

    Jelmer G. Gilbert and Ilya Kolmanovsky , title =. International Journal of Robust and Nonlinear Control , volume =

  70. [70]

    2003 , issn =

    A survey of industrial model predictive control technology , journal =. 2003 , issn =

  71. [71]

    Ahmad Taher Azar and Fernando E. Serrano. Design and Modeling of Anti Wind Up PID Controllers. Complex System Modelling and Control Through Intelligent Soft Computations. 2015

  72. [72]

    2007 , publisher=

    Optimal Control with Engineering Applications , author=. 2007 , publisher=

  73. [73]

    1992 , author =

    A moving-boundary formulation for modeling time-dependent two-phase flows , journal =. 1992 , author =

  74. [74]

    2013 , author =

    Accurate low-order dynamic model of a compact plate heat exchanger , journal =. 2013 , author =

  75. [75]

    A Moving Boundary Modeling Approach for Heat Exchangers with Binary Mixtures , volume =

    Donghun Kim and Davide Ziviani and James Braun and Eckhard Groll , year =. A Moving Boundary Modeling Approach for Heat Exchangers with Binary Mixtures , volume =

  76. [76]

    Doyle , journal=

    Sigurd Skogestad and Manfred Morari and John C. Doyle , journal=. Robust control of ill-conditioned plants: high-purity distillation , year=

  77. [77]

    Control of a Vapor Compression Cycle Based on a Moving-Boundary Model

    Ricus Husmann and Sven Weishaupt and Harald Aschemann. Control of a Vapor Compression Cycle Based on a Moving-Boundary Model

  78. [78]

    Control of a Vapor Compression Cycle Based on a Moving-Boundary Model , year=

    Ricus Husmann and Sven Weishaupt and Harald Aschemann , booktitle=. Control of a Vapor Compression Cycle Based on a Moving-Boundary Model , year=

  79. [79]

    Nonlinear Control of a Vapor Compression Cycle Based on a Partial

    Husmann, Ricus and Weishaupt, Sven and Aschemann, Harald , booktitle=. Nonlinear Control of a Vapor Compression Cycle Based on a Partial. 2024 , volume=

  80. [80]

    Tracking Control for Thermofluidic Systems With Input Constraints and Relative Degree One , year=

    Husmann, Ricus and Aschemann, Harald , booktitle=. Tracking Control for Thermofluidic Systems With Input Constraints and Relative Degree One , year=

Showing first 80 references.