arxiv: 2604.03009 · v2 · submitted 2026-04-03 · 📡 eess.SY · cs.SY

Recognition: no theorem link

On observer forms for hyperbolic PDEs with boundary dynamics

Luca Mayer , Frank Woittennek

Authors on Pith no claims yet

Pith reviewed 2026-05-13 19:31 UTC · model grok-4.3

classification 📡 eess.SY cs.SY

keywords hyperbolic PDEobserver canonical formboundary dynamicsneutral functional differential equationobservability coordinatesstate transformation

0 comments

The pith

Linear hyperbolic PDEs with boundary dynamics can be transformed into a hyperbolic observer canonical form using observability coordinates from a neutral functional differential equation.

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

The paper establishes a hyperbolic observer canonical form for linear hyperbolic partial differential equations that include dynamics at the boundaries. The transformation proceeds by first defining observability coordinates from the input-output relation, which is represented exactly by a neutral functional differential equation. This matters for building observers because the canonical form ties the coordinates directly to the FDE, allowing systematic state estimation from boundary measurements without losing the distributed nature of the original system. A sympathetic reader would care because the method applies to physical models like vibrating strings attached to masses and springs, where boundary effects are essential.

Core claim

A hyperbolic observer canonical form (HOCF) for linear hyperbolic PDEs with boundary dynamics is presented. The transformation to the HOCF is based on a general procedure that uses so-called observability coordinates as an intermediate step. These coordinates are defined from an input-output relation given by a neutral functional differential equation (FDE), which, in the autonomous case, reduces to an autonomous FDE for the output. The HOCF coordinates are directly linked to this FDE, while the state transformation between the original coordinates and the observability coordinates is obtained by restricting the observability map to the interval corresponding to the maximal time shift.

What carries the argument

Hyperbolic observer canonical form (HOCF) constructed by directly linking coordinates to the neutral functional differential equation that captures the input-output behavior.

If this is right

The state transformation is obtained by restricting the observability map to the maximal time-shift interval from the FDE.
In the autonomous case the input-output relation reduces to an autonomous FDE for the output.
The HOCF coordinates remain directly linked to the neutral FDE.
The method is demonstrated on the string-mass-spring system.

Where Pith is reading between the lines

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

Finite-dimensional observer approximations could be derived from the HOCF for numerical implementation.
The neutral FDE step might extend the approach to other boundary-driven distributed systems.
Numerical simulation of the transformed string-mass-spring equations would provide a direct test of the coordinate restriction.
Connections to existing PDE observer techniques could be examined by comparing the resulting gains.

Load-bearing premise

The input-output behavior of the hyperbolic PDE system with boundary dynamics can be exactly captured by a neutral functional differential equation.

What would settle it

Computing the coordinate change explicitly for the string-mass-spring example and checking whether the resulting equations satisfy the HOCF structure with no residual terms would confirm the transformation; any leftover dynamics or mismatch at the boundaries would falsify the exact equivalence.

Figures

Figures reproduced from arXiv: 2604.03009 by Frank Woittennek, Luca Mayer.

**Figure 1.** Figure 1: Schematic of the HOCF. B. Input-output-relation and observability coordinates Integrating (1c) along the characteristics and employing the output equation (1d) yields the Volterra integral equation ηn+1(τ, t + τ ) = y(t + ˆτ ) + Z τˆ τ y(t + s)dα(s) (2a) relating the distributed part of the state and the restriction of the output trajectory to the interval [t, t + ˆτ ]. Note that for any ηn+1(•, t) ∈ L 2 (… view at source ↗

**Figure 2.** Figure 2: Transformations between the original system and the HOCF via [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 4.** Figure 4: The in-domain dynamics are governed by the wave [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

read the original abstract

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 procedure to transform linear hyperbolic PDEs with boundary dynamics into a hyperbolic observer canonical form by pulling observability coordinates from a matching neutral FDE.

read the letter

The main contribution is a systematic way to get from the original PDE coordinates to this HOCF using an intermediate observability map defined from the neutral FDE that reproduces the input-output behavior. They restrict that map to the finite interval set by the largest delay in the FDE to obtain the state transformation. The string-mass-spring example makes the steps visible and shows how the boundary dynamics fit into the picture. This linkage to the FDE feels like a practical bridge between the infinite-dimensional system and something closer to finite-dimensional observer design, which could help engineers who already work with delay equations. The approach is presented as general for the stated class rather than ad-hoc for one model, which is a plus if the derivations hold up. The central assumption is that the neutral FDE exactly captures the input-output map and that the restricted observability map remains injective enough to give a valid coordinate change. If boundary dynamics introduce distributed delays or other effects outside a finite number of point delays, that step could fail and the diffeomorphism would not be guaranteed. The abstract does not include the proofs or error bounds, so the soundness rests on whether the full manuscript closes those gaps without extra restrictions. This is aimed at researchers in systems and control who handle hyperbolic PDEs and want structured observer forms. A reader already familiar with canonical forms and neutral delay equations would get the most out of it and could judge the technical details quickly. It deserves a serious referee to check the derivations and the example against the stated assumptions.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a hyperbolic observer canonical form (HOCF) for linear hyperbolic PDEs with boundary dynamics. The transformation to the HOCF uses observability coordinates derived from an input-output neutral functional differential equation (FDE) as an intermediate step; the HOCF coordinates are linked directly to this FDE, while the state transformation is obtained by restricting the observability map to the interval corresponding to the maximal time shift in the FDE. The procedure is illustrated on a string-mass-spring example.

Significance. If the central claims hold, the work supplies a systematic route from hyperbolic PDEs with boundary dynamics to an observer canonical form via neutral FDEs. This could streamline observer design for a class of infinite-dimensional systems by reducing the problem to one with a finite number of delays, provided the mapping is shown to be a diffeomorphism. The explicit use of observability coordinates as an intermediate step is a constructive contribution when the required invertibility is established.

major comments (2)

[Transformation procedure] The procedure asserts that the input-output behavior of the hyperbolic PDE with boundary dynamics is exactly captured by a neutral FDE. This assumption is load-bearing for the entire construction; the manuscript must supply a derivation showing that boundary dynamics produce only point delays and no residual distributed-delay or non-neutral terms (see the general procedure description and the autonomous FDE reduction).
[State transformation via restricted observability map] The state transformation is defined by restricting the observability map to the maximal time-shift interval of the FDE. It must be shown that this finite-interval restriction preserves injectivity and yields a valid diffeomorphism onto the HOCF coordinates; otherwise the observer design is not guaranteed to be well-posed (see the paragraph linking observability coordinates to the HOCF).

minor comments (2)

[Example] In the string-mass-spring example, explicitly state the neutral FDE (including the numerical values of the delays) obtained from the boundary conditions and verify that the restriction interval matches the largest delay.
[Preliminaries] Clarify the notation for the observability map and the precise definition of the maximal time-shift interval to avoid ambiguity when the FDE contains multiple delays.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments on our manuscript. We will revise the paper to address the points raised regarding the derivation of the neutral FDE and the properties of the restricted observability map.

read point-by-point responses

Referee: The procedure asserts that the input-output behavior of the hyperbolic PDE with boundary dynamics is exactly captured by a neutral FDE. This assumption is load-bearing for the entire construction; the manuscript must supply a derivation showing that boundary dynamics produce only point delays and no residual distributed-delay or non-neutral terms (see the general procedure description and the autonomous FDE reduction).

Authors: We agree that an explicit derivation is required. In the revised manuscript, we will include a new subsection deriving the neutral FDE from the PDE system. Using the method of characteristics, we will show step-by-step that the boundary dynamics result in an input-output relation involving only point delays, with no distributed delays or non-neutral terms remaining, as the hyperbolic transport equations lead to finite propagation times. revision: yes
Referee: The state transformation is defined by restricting the observability map to the maximal time-shift interval of the FDE. It must be shown that this finite-interval restriction preserves injectivity and yields a valid diffeomorphism onto the HOCF coordinates; otherwise the observer design is not guaranteed to be well-posed (see the paragraph linking observability coordinates to the HOCF).

Authors: We will strengthen the manuscript by adding a rigorous proof that the restriction of the observability map to the interval corresponding to the maximal time shift preserves injectivity. This will be established by showing that the map is invertible on this interval due to the structure of the neutral FDE and the observability of the system, thereby ensuring it is a diffeomorphism onto the HOCF state space. This addresses the well-posedness of the observer design. revision: yes

Circularity Check

0 steps flagged

No significant circularity in HOCF derivation via observability coordinates from neutral FDE

full rationale

The paper presents a constructive procedure that defines observability coordinates directly from a neutral FDE asserted to capture the input-output behavior of the hyperbolic PDE system, then obtains the state transformation by restricting the observability map to the maximal time-shift interval of that FDE. No step reduces by construction to its own inputs, no parameters are fitted and relabeled as predictions, and no load-bearing self-citations or uniqueness theorems imported from prior author work are invoked in the provided description. The derivation chain remains a coordinate change based on an external IO representation, making the result self-contained rather than tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or non-standard axioms are identifiable from the given text.

axioms (1)

domain assumption The system belongs to the class of linear hyperbolic PDEs with boundary dynamics whose input-output map is representable by a neutral FDE
This is the foundational modeling assumption stated in the abstract for defining observability coordinates.

pith-pipeline@v0.9.0 · 5411 in / 1269 out tokens · 50175 ms · 2026-05-13T19:31:59.338518+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

A classification of linear controllable systems,

P. Brunovsk ´y, “A classification of linear controllable systems,”Kyber- netika, vol. 6, no. 3, pp. 173–188, 1970

work page 1970
[2]

Canonical forms for nonlinear systems,

M. Zeitz, “Canonical forms for nonlinear systems,”IFAC Proceedings Volumes, vol. 22, no. 3, pp. 33–38, 1989

work page 1989
[3]

Canonical forms and spectral determination for a class of hyperbolic distributed parameter control systems,

D. L. Russell, “Canonical forms and spectral determination for a class of hyperbolic distributed parameter control systems,”Journal of Mathematical Analysis and Applications, vol. 62, no. 1, pp. 186–225, 1978

work page 1978
[4]

Bastin and J.-M

G. Bastin and J.-M. Coron,Stability and Boundary Stabilization of 1-D Hyperbolic Systems. Birkh ¨auser, July 2016

work page 2016
[5]

Krstic and A

M. Krstic and A. Smyshlyaev,Boundary Control of PDEs: A Course on Backstepping Designs. Philadelphia, PA: Society for Industrial and Applied Mathematics, Sept. 2008

work page 2008
[6]

Back- stepping for partial differential equations: A survey,

R. Vazquez, J. Auriol, F. Bribiesca-Argomedo, and M. Krstic, “Back- stepping for partial differential equations: A survey,”Automatica, vol. 183, p. 112572, 2026

work page 2026
[7]

Controller canonical forms and flatness based state feedback for 1d hyperbolic systems,

F. Woittennek and J. Rudolph, “Controller canonical forms and flatness based state feedback for 1d hyperbolic systems,”IFAC Proceedings Volumes, vol. 45, no. 2, pp. 792–797, 2012

work page 2012
[8]

Flatness based feedback design for hyperbolic dis- tributed parameter systems with spatially varying coefficients,

F. Woittennek, “Flatness based feedback design for hyperbolic dis- tributed parameter systems with spatially varying coefficients,”IFAC Proceedings Volumes, vol. 46, no. 26, pp. 37–42, 2013

work page 2013
[9]

Flatness-based analysis and control design for2×2hyperbolic pdes with nonlinear boundary dynamics,

F. Woittennek, A. Irscheid, and N. Gehring, “Flatness-based analysis and control design for2×2hyperbolic pdes with nonlinear boundary dynamics,”IFAC-PapersOnLine, vol. 55, no. 26, pp. 13–19, 2022

work page 2022
[10]

Control of distributed-parameter systems using normal forms: An introduction,

N. Gehring, A. Irscheid, J. Deutscher, F. Woittennek, and J. Rudolph, “Control of distributed-parameter systems using normal forms: An introduction,”Automatisierungstechnik, vol. 71, no. 8, pp. 624–646, 2023

work page 2023
[11]

Backstepping boundary stabilization and state estimation of a2×2linear hyperbolic system,

R. Vazquez, M. Krstic, and J.-M. Coron, “Backstepping boundary stabilization and state estimation of a2×2linear hyperbolic system,” inProceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011, pp. 4937–4942

work page 2011
[12]

A backstepping boundary observer for a class of linear first-order hyperbolic systems,

F. D. Meglio, M. Krstic, and R. Vazquez, “A backstepping boundary observer for a class of linear first-order hyperbolic systems,” in European Control Conference (ECC), 2013, pp. 1597–1602

work page 2013
[13]

Disturbance rejection in 2 x 2 linear hyperbolic systems,

O. M. Aamo, “Disturbance rejection in 2 x 2 linear hyperbolic systems,”IEEE Transactions on Automatic Control, vol. 58, no. 5, pp. 1095–1106, 2013

work page 2013
[14]

Boundary observer design for hyperbolic pde–ode cascade systems,

A. Hasan, O. M. Aamo, and M. Krstic, “Boundary observer design for hyperbolic pde–ode cascade systems,”Automatica, vol. 68, pp. 75–86, 2016

work page 2016
[15]

Observer design for2×2linear hyperbolic pdes that are bidirectionally coupled with nonlinear odes,

A. Irscheid, N. Gehring, J. Deutscher, and J. Rudolph, “Observer design for2×2linear hyperbolic pdes that are bidirectionally coupled with nonlinear odes,” inEuropean Control Conference (ECC), 2021, pp. 2506–2511

work page 2021
[16]

On the hyperbolic observer canonical form,

F. Woittennek, “On the hyperbolic observer canonical form,” in Proceedings of the 8th International Workshop on Multidimensional Systems (nDS), Sept. 2013, pp. 1–6

work page 2013
[17]

Late lumping of observer-based state feedback for boundary control systems with boundary observa- tion,

M. Riesmeier and F. Woittennek, “Late lumping of observer-based state feedback for boundary control systems with boundary observa- tion,”IFAC-PapersOnLine, vol. 56, no. 2, pp. 11 407–11 414, 2023, 22nd IFAC World Congress

work page 2023
[18]

Tucsnak and G

M. Tucsnak and G. Weiss,Observation and Control for Operator Semigroups. Birkh ¨auser Basel, 01 2009

work page 2009
[19]

Courant and D

R. Courant and D. Hilbert,Methods of mathematical physics. Inter- science Publication, 1953, vol. 2

work page 1953