Spectral Boundary Observer for Counter-Flow Heat Exchangers
Provides a theoretically rigorous observer design for a class of hyperbolic PDE systems, with potential applications in thermal engineering.
This paper designs a boundary observer for counter-flow heat exchangers using only one boundary temperature measurement, achieving tunable exponential convergence of the observation error in L^2 norm via spectral assignment.
We consider a system of two coupled first-order linear hyperbolic partial differential equations modeling heat transport in a counter-flow heat exchanger: one equation describes the transport of a hot fluid, and the other the transport of a cold fluid in the opposite direction. For this system, we design a boundary observer that uses only the temperature of the cold fluid measured at one boundary. Our approach is spectral: by assigning the spectrum of the operator governing the observation error dynamics to a prescribed region within the open left-half complex plane, we can freely tune the convergence rate of the observation error to zero in the $L^2$ norm. The main technical contribution is the proof that spectral stability, that is, the location of the spectrum in the open left-half plane, is equivalent to $L^2$ exponential stability of the origin for the observation error dynamics. This equivalence is established by showing that the operator governing the observation error dynamics satisfies the so-called spectral mapping property.