arxiv: 2605.10037 · v1 · submitted 2026-05-11 · 🧮 math.OC

Recognition: 2 theorem links

· Lean Theorem

Stabilization for a Cascaded ODE-Wave Equation with Boundary Nonlinear Disturbances

Lan-Xi Tang, Zhan-Dong Mei

Pith reviewed 2026-05-12 02:45 UTC · model grok-4.3

classification 🧮 math.OC

keywords cascaded ODE-wave systemboundary controldisturbance estimatorLuenberger observerexponential stabilizationoutput feedbackwave equationnonlinear disturbances

0 comments

The pith

A novel transformation and disturbance estimator enable exponential stabilization of a cascaded ODE-wave system with boundary nonlinear disturbances via observer-based output feedback.

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

The paper addresses stabilization of a cascaded system consisting of an ordinary differential equation connected to a wave partial differential equation, with control and disturbances applied at the boundary. It examines four possible boundary interconnection types between the ODE and wave components. In the absence of disturbances, a new transformation folds the wave equation's boundary input directly into the ODE dynamics, after which a state feedback controller is designed to drive both subsystems to zero exponentially. When matching internal uncertainties and external disturbances appear, the authors build a disturbance estimator that supports a Luenberger-type observer; the resulting observer-based scheme rejects the disturbances, stabilizes the full system exponentially, and guarantees boundedness of all closed-loop signals.

Core claim

By introducing a novel transformation that incorporates the PDE boundary control input into the ODE subsystem for the four types of boundary interconnections, exponential stability is achieved for the undisturbed cascaded system through state feedback. When internal uncertainties and external disturbances matching the control structure are present, a disturbance estimator is constructed to develop a Luenberger-type state observer, which rejects the disturbances and exponentially stabilizes the original system via an observer-based control scheme, with the boundedness of the entire closed-loop system rigorously established.

What carries the argument

The novel transformation that maps the PDE boundary control input into the ODE subsystem, together with the disturbance estimator and Luenberger observer for the disturbed case.

Load-bearing premise

The disturbances must enter through the same boundary channel as the control, and the boundary interconnections must be one of the four types that permit the transformation to map the PDE input into the ODE subsystem.

What would settle it

Numerical trajectories or analytic counter-examples showing that the states fail to converge exponentially or become unbounded when the boundary interconnections lie outside the four permitted types or when disturbances enter through a different channel.

read the original abstract

In this article, we investigate the problem of exponential stabilization via output feedback for a cascaded system composed of an ordinary differential equation (ODE) and a wave partial differential equation (PDE) under boundary control. Four types of boundary interconnections are considered. In the absence of disturbances, a novel transformation is introduced to incorporate the PDE boundary control input into the ODE subsystem. Based on this transformation, a state feedback controller is designed to achieve exponential stability for both the ODE and PDE components. When internal uncertainties and external disturbances that match the control structure are present, a disturbance estimator is constructed. Utilizing this estimator, a Luenberger-type state observer is developed to reject the disturbances and exponentially stabilize the original system via an observer-based control scheme. Furthermore, the boundedness of the entire closed-loop system is rigorously established. Numerical simulations are provided to illustrate the theoretical results.

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.

Desk Editor's Note private letter to a colleague

The paper gives a concrete transformation to fold wave PDE boundary inputs into the ODE for four interconnection cases, then adds a matched-disturbance estimator and observer to get exponential stability plus boundedness.

read the letter

The main thing to know is that this work supplies a transformation that incorporates the PDE boundary control input directly into the ODE subsystem across four different boundary interconnection types. From there they design a state feedback for the clean case and, when matched nonlinear disturbances appear, they build a disturbance estimator plus a Luenberger observer that rejects them and keeps the whole closed loop exponentially stable and bounded. Numerical simulations are included to check the behavior. That combination for these specific cascaded setups is the actual new piece; it is not just a routine copy of earlier ODE-PDE cascade results. The paper handles the matched-disturbance case cleanly enough on paper and gives explicit controller forms that readers can try to replicate. The proofs are claimed to be rigorous, and the simulations back up the claims without obvious red flags. The soft spots are proportionate: the method stays within standard transformation and observer techniques rather than introducing a new paradigm, and the results are restricted to disturbances that enter through the same boundary channel as the control. Without the full Lyapunov derivations it is hard to judge how tightly the nonlinear terms are controlled, but nothing in the structure suggests circularity or hidden fitting. This paper is for control theorists who work on boundary stabilization of wave-ODE cascades and need to handle matched disturbances. A reader already familiar with backstepping-style methods for hyperbolic systems will get the most out of the four interconnection cases and the estimator construction. It deserves a serious referee because the technical steps are specific enough to be checked and the simulations give something concrete to evaluate.

Referee Report

2 major / 3 minor

Summary. The manuscript investigates exponential stabilization via output feedback for a cascaded ODE-wave PDE system subject to boundary nonlinear disturbances, considering four types of boundary interconnections. In the disturbance-free case, a novel transformation incorporates the PDE boundary control input into the ODE subsystem to enable state-feedback design achieving exponential stability of both components. With matched internal uncertainties and external disturbances, a disturbance estimator is constructed, followed by a Luenberger-type observer and observer-based controller that rejects disturbances to exponentially stabilize the system; boundedness of the full closed-loop system is rigorously proved, with numerical simulations provided to illustrate the results.

Significance. If the central claims hold, the work provides a systematic extension of transformation-based and observer-design techniques to cascaded hyperbolic systems with matched boundary disturbances. The handling of four distinct interconnection types and the explicit boundedness result alongside exponential stability constitute a useful contribution for applications in mechanical and fluid systems. The combination of a novel boundary transformation with standard Luenberger estimation yields a practical framework whose reproducibility is supported by the provided simulations.

major comments (2)

[§3] §3 (Transformation technique): the novel mapping that folds the PDE boundary input into the ODE subsystem must be shown to preserve the matched structure of the nonlinear disturbances for all four interconnection cases; otherwise the subsequent estimator design rests on an unverified assumption.
[§5.2] §5.2 (Observer-based controller): the Lyapunov analysis establishing exponential stability of the closed-loop system under the observer-based law needs an explicit bound on the nonlinear disturbance terms to confirm that they do not destroy the negative-definiteness of the derivative; the current sketch leaves this step implicit.

minor comments (3)

[Abstract] The abstract states that boundedness is 'rigorously established' but does not specify the function space or norm; this should be stated explicitly in the introduction and theorem statements.
[§2] Notation for the four interconnection types is introduced only in the abstract; a clear table or enumerated list in §2 would improve readability.
[Simulations] The numerical simulations section would benefit from reporting the specific parameter values used for the wave speed and disturbance amplitude to allow direct reproduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will revise the manuscript to incorporate the suggested clarifications.

read point-by-point responses

Referee: [§3] §3 (Transformation technique): the novel mapping that folds the PDE boundary input into the ODE subsystem must be shown to preserve the matched structure of the nonlinear disturbances for all four interconnection cases; otherwise the subsequent estimator design rests on an unverified assumption.

Authors: We agree that an explicit verification is needed. In the revised version we will add a short lemma in Section 3 that substitutes the transformed state into the disturbance terms for each of the four boundary interconnection cases and shows that the disturbances remain matched with the control channel in the resulting ODE subsystem. The argument relies only on the linearity of the transformation and the fact that the disturbances enter through the same boundary ports as the control input. revision: yes
Referee: [§5.2] §5.2 (Observer-based controller): the Lyapunov analysis establishing exponential stability of the closed-loop system under the observer-based law needs an explicit bound on the nonlinear disturbance terms to confirm that they do not destroy the negative-definiteness of the derivative; the current sketch leaves this step implicit.

Authors: We accept the remark. The revised proof in Section 5.2 will explicitly bound the nonlinear disturbance contributions by invoking the assumed growth condition on the nonlinear functions together with Young's inequality. The resulting cross terms will be absorbed into the negative-definite quadratic form provided the observer and controller gains are chosen sufficiently large, which is already permitted by the existing gain-selection conditions. The expanded derivation will be inserted immediately after the current Lyapunov derivative expression. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds from the cascaded ODE-wave system equations via an explicitly constructed boundary transformation that maps the PDE input into the ODE subsystem for the four interconnection cases, followed by standard state-feedback design, matched-disturbance estimator construction, and Luenberger observer synthesis. Exponential stability and closed-loop boundedness are then proved by direct Lyapunov or semigroup analysis on the resulting closed-loop system. None of these steps reduce by construction to their own inputs, fitted parameters renamed as predictions, or load-bearing self-citations; the transformation and observer are defined from the plant dynamics and standard control-theoretic tools without circular re-use of the target stability result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard well-posedness and existence results for linear wave equations under boundary control, plus the assumption that disturbances enter in a form compatible with the control channel; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The cascaded ODE-wave system is well-posed and the wave equation admits solutions under the given boundary conditions and interconnections.
Invoked implicitly when claiming exponential stability and boundedness of the closed-loop system.

pith-pipeline@v0.9.0 · 5443 in / 1255 out tokens · 78694 ms · 2026-05-12T02:45:33.809342+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
a novel transformation is introduced to incorporate the PDE boundary control input into the ODE subsystem... Luenberger-type state observer... exponential stability
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
disturbance estimator... observer-based control scheme... boundedness of the entire closed-loop system

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

[1]

Bekiaris-Liberis, M

N. Bekiaris-Liberis, M. Krstic, Compensation of wave actuator dynamics for nonlinear systems, IEEE Transactions on Automatic Control, 59(6) (2014), 1555-1570

work page 2014
[2]

Chebre, Y

M. Chebre, Y. Creff, and N. Petit, Feedback control and optimization for the production of commercial fuels by blending,J. Process Control, 20 (2010), 441-451

work page 2010
[3]

Di Meglio, F.B

F. Di Meglio, F.B. Argomedo, L. Hu, M. Krstic, Stabilization of coupled linear heterodirec- tional hyperbolic PDE-ODE systems,Automatica,87 (2018), 281-289

work page 2018
[4]

Feng, B.Z

H. Feng, B.Z. Guo, A new active disturbance rejection control to output feedback stabiliza- tion for a one-dimensional anti-stable wave equation with disturbance,IEEE Transactions on Automatic Control, 62(8) (2017), 3774-3787

work page 2017
[5]

Feng, B.Z

H. Feng, B.Z. Guo, X.H. Wu, Trajectory planning approach to output tracking for a 1-D wave equation,IEEE Trans. Autom. Control,65 (2020), 1841-1854

work page 2020
[6]

Guo and C.Z

B.Z. Guo and C.Z. Xu, The stabilization of a one-dimensional wave equation by boundary feedback with noncollocated observation,IEEE Trans. Automatic Controll, 52(2) (2007), 371- 377

work page 2007
[7]

Guo, F.F

B.Z. Guo, F.F. Jin, Sliding mode and active disturbance rejection control to the stabilization of anti-stable one-dimensional wave equation subject to boundary input disturbance,IEEE Trans. Automatic Control, 58 (2013), 1269-1274

work page 2013
[8]

Guo, F.F

B.Z. Guo, F.F. Jin, The active disturbance rejection and sliding mode control approach to the stabilization of Euler-Bernoulli beam equation with boundary input disturbance,Automatica, 49 (2013), 2911-2918

work page 2013
[9]

Guo, J.J

B.Z. Guo, J.J. Liu, , A.S. AL-Fhaidd, Arshad Mahmood M. Younasd and A. Asiri, The active disturbance rejection control approach to stabilisation of coupled heat and ODE system subject to boundary control matched disturbance,International Journal of Control, 88(8) (2015), 1554-1564

work page 2015
[10]

Guo, J.J

Y.P. Guo, J.J. Liu, Stabilization of ODE-Schr¨ odinger cascaded systems subject to boundary control matched disturbance,Electronic Journal of Differential Equations, 248 (2015), 1-22

work page 2015
[11]

Hasan, O.M

A. Hasan, O.M. Aamoa, M. Krstic, Boundary observer design for hyperbolic PDE–ODE cas- cade systems,Automatica,68 (2016), 75-86

work page 2016
[12]

Herty, J

M. Herty, J. Lebacque, and S. Moutari, A novel model for intersections of vehicular traffic flow,Netw. Heterogenous Media, 4 (2009), 813-826. 16

work page 2009
[13]

Jankovic and S

M. Jankovic and S. Magner, Disturbance attenuation in time-delay systems—A case study on engine air-fuel ratio control, in Proc. Amer. Control Conf., San Francisco, CA, USA, 2011, pp. 3326-3331

work page 2011
[14]

Jia, J.J

Y.N. Jia, J.J. Liu, Output feedback stabilization for a cascaded heat PDE-ODE system subject to uncertain disturbance,Int J Robust Nonlinear Control., 28 (2018), 5173-5190

work page 2018
[15]

Jia, J.J

Y.N. Jia, J.J. Liu, Output feedback stabilization of an ODE-Schr¨ odinger cascade system sub- ject to boundary control matched unknown disturbance,Journal of Dynamical and Control Systems, 26(2) (2020), 393-405

work page 2020
[16]

Jin, B.Z

F.F. Jin, B.Z. Guo, Lyapunov approach to output feedback stabilization for Euler-Bernoulli beam equation with boundary input disturbance,Automatica, 52 (2015), 95-102

work page 2015
[17]

Krstic, A

M. Krstic, A. Smyshlyaev, Backstepping boundary control for first-order hyperbolic PDEs and application to systems with actuator and sensor delays,Systems & Control Letters, 57(9) (2008), 750-758

work page 2008
[18]

Krstic, Compensating actuator and sensor dynamics governed by diffusion PDEs,Syst

M. Krstic, Compensating actuator and sensor dynamics governed by diffusion PDEs,Syst. Control Lett., 58(5) (2009), 372- 377

work page 2009
[19]

R.C. Li, F.F. Jin, B.Q. Yan, Boundary output feedback stabilization for a cascaded-wave PDE-ODE system with velocity recirculation,Complexity,Volume 2021, Article ID 9977714, 15 pages

work page 2021
[20]

Liu, J.M

J.J. Liu, J.M. Wang, Boundary stabilization of a cascade of ODE-wave systems subject to boundary control matched disturbance,International Journal of Robust and Nonlinear Con- trol, 27 (2017), 252-280

work page 2017
[21]

J.J. Liu, Sliding mode control to stabilization of an ODE-Schr¨ odinger cascade systems subject to boundary control matched disturbance.Journal of Systems Science and Complexity, 31(5) (2018), 1146-1163

work page 2018
[22]

Liu, Y.N

J.J. Liu, Y.N. Jia, Stabilisation of a cascaded ODE-Heat system with boundary input term incorporates both enforceable control and external unknown disturbance,International Journal of Control, 94(1) (2021), 21-29

work page 2021
[23]

Mei, H.C

Z.D. Mei, H.C. Zhou, Output feedback exponential stabilization for a one-dimensional wave equation with control matched nonlinear disturbance,IEEE Trans. Automat. Control, 66(5) (2021), 2273-2280

work page 2021
[24]

Mei, Dynamic stabilisation for an Euler-Bernoulli beam equation with boundary control and matched nonlinear disturbance,International Journal of Control, 95(3) 2022, 626-640

Z.D. Mei, Dynamic stabilisation for an Euler-Bernoulli beam equation with boundary control and matched nonlinear disturbance,International Journal of Control, 95(3) 2022, 626-640. 17

work page 2022
[25]

Z.D. Mei, Infinite-dimensional extended state observer based stabilization for an ODE-wave cascaded system with control matched disturbance,Asian Journal of Control,25 (2023), 2315- 2325

work page 2023
[26]

Smyshlyaev, B.Z

A. Smyshlyaev, B.Z. Guo, M. Krstic, Arbitrary decay rate for Euler-Bernoulli beam by back- stepping boundary feedback,IEEE Trans Automat Contr, 2009, 54: 1134-1140

work page 2009
[27]

Ren, J.M

B.B. Ren, J.M. Wang, M. Krstic, Stabilization of an ODE-Schr¨ odinger cascade,Systems & Control Letters, 62 (2013), 503-510

work page 2013
[28]

Sagert, F

C. Sagert, F. Di Meglio, M. Krstic, P. Rouchon (2013), Backstepping and flatness approaches for stabilization of the stick-slip phenomenon for drilling. Proceedings of the IFAC symposium on system, structure and control, TDS Grenoble, France

work page 2013
[29]

S. X. Tang and C. K. Xie, State and output feedback boundary control for a coupled PDE-ODE system,Syst. Control Lett., 60(8) 2011, 540-545. 2011

work page 2011
[30]

S. X. Tang and C. K. Xie, Stabilization for a coupled PDE-ODE control system,Journal of the Franklin Institute, 348 (2011), 2142-2155

work page 2011
[31]

J. Wang, S. Koga, Y. Pi, M. Krstic, Axial vibration suppression in a partial differential equation model of ascending mining cable elevator,Journal of Dynamic Systems, Measurement, and Control,140 (2018), 2018

work page 2018
[32]

Wang, S.X

J. Wang, S.X. Tang, M. Kristic, Adaptive output-feedback control of torsional vibration in off-shore rotary oil drilling systems,Automatica111 (2020), 108640

work page 2020
[33]

Wang, X.W

J.M. Wang, X.W. Lv, D.X. Zhao, Exponential stability and spectral analysis of the pendulum system under position and delayed position feedbacks,International Journal of Control, 84(5) (2011), 904-915

work page 2011
[34]

J. M. Wang, J. J. Liu, B. B. Ren, and J. H. Chen, Sliding mode control to stabilization of cas- caded heat PDE-ODE systems subject to boundary control matched disturbance,Automatica, 52 (2015), 23-34

work page 2015
[35]

J. Wei, H. Feng, Output tracking for one-dimensional wave equation with non-collocated con- trol and output configuration,J Syst Sci Complex.,33 (2020), 1469-1484

work page 2020
[36]

X.H. Wu, H. Feng, Exponential stabilization of an ODE system with Euler-Bernoulli beam actuator dynamics,Sci China Inf Sci,65(5) 2022, 159202

work page 2022
[37]

H. Yu, M. Diagne, L. Zhang, and M. Krstic, Bilateral boundary control of moving shockwave in LWR model of congested traffic,IEEE Transactions on Automatic Control,66(3) (2021), 1429-1436. 18

work page 2021
[38]

Z.Y. Zhen, K. Wang, Z.C. Zhou, L. Ryan, Stabilization of a coupled second order ODE-wave system. In: 2016 35th Chinese Control Conference (CCC). IEEE, 2016. p. 1377-1382

work page 2016
[39]

Zhou, B.Z

H.C. Zhou, B.Z. Guo, Z.H. Wu, Output feedback stabilisation for a cascaded wave PDE-ODE system subject to boundary control matched disturbance,International Journal of Control, 89(12) (2016), 2396-2405

work page 2016
[40]

Feng, Disturbance estimator based output feedback exponential stabilization for Euler-Bernoulli beam equation with boundary control,Automatica, 91 (2018), 79-88

H.C, Zhou, H. Feng, Disturbance estimator based output feedback exponential stabilization for Euler-Bernoulli beam equation with boundary control,Automatica, 91 (2018), 79-88

work page 2018
[41]

Zhou and G

H.C. Zhou and G. Weiss, Output feedback exponential stabilization for one-dimensional un- stable wave equations with boundary control matched disturbance,SIAM J. Control Optim., 56 (2018), 4098-4129

work page 2018
[42]

Zhou, S.X

Z.C. Zhou, S.X. Tang, Boundary stabilization of a coupled wave-ODE system with internal anti-damping,International Journal of Control, 85(11) (2012), 1683-1693

work page 2012
[43]

Zhou and C

Z.C. Zhou and C. Xu, Stabilization of a second order ODE-heat system coupling at interme- diate point,Automatica, 60 (2015), 57-64. 19

work page 2015