Hostname: page-component-76fb5796d-vvkck Total loading time: 0 Render date: 2024-04-25T16:48:58.640Z Has data issue: false hasContentIssue false

Exponential Stability and Transfer Functions of Processes Governed by Symmetric Hyperbolic Systems

Published online by Cambridge University Press:  15 September 2002

Cheng-Zhong Xu
Affiliation:
Inria (CORIDA, CONGE) & ESA 7035 du CNRS (MMAS), bâtiment A, Université de Metz, 57045 Metz Cedex 01, France; xu@loria.fr.
Gauthier Sallet
Affiliation:
Inria (CORIDA, CONGE) & ESA 7035 du CNRS (MMAS), bâtiment A, Université de Metz, 57045 Metz Cedex 01, France; sallet@loria.fr.
Get access

Abstract

In this paper we study the frequency and time domain behaviour of a heat exchanger network system. The system is governed by hyperbolic partial differential equations. Both the control operator and the observation operator are unbounded but admissible. Using the theory of symmetric hyperbolic systems, we prove exponential stability of the underlying semigroup for the heat exchanger network. Applying the recent theory of well-posed infinite-dimensional linear systems, we prove that the system is regular and derive various properties of its transfer functions, which are potentially useful for controller design. Our results remain valid for a wide class of processes governed by symmetric hyperbolic systems.

Type
Research Article
Copyright
© EDP Sciences, SMAI, 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Benchimol, C.D., A note on weak stabilizability of contraction semigroups. SIAM J. Control Optim. 16 (1978) 373-379. CrossRef
H. Bounit, H. Hammouri and J. Sau, Regulation of an irrigation canal system through the semigroup approach, in Proc. of the International Workshop Regulation of Irrigation Canals: State of the Art of Research and Applications. Marocco (1997) 261-267.
S.X. Chen, Introduction to partial differential equations. People Education Press (in Chinese) (1981).
V.T. Chow, Open channel hydraulics. Mac-Graw $\cdot$ Hill Book Company, New York (1985).
J.M. Coron, B. d'Andréa-Novel and G. Bastin, A Lyapunov approach to control irrigation canals modeled by Saint-Venant equations, in European Control Conference ECC'99. Karlsruhe (1999).
Curtain, R.F., Equivalence of input-output stability and exponential stability for infinite-dimensional systems. Math. Systems Theory 21 (1988) 19-48. CrossRef
C. Foias, H. Özbay and A. Tannenbaum, Robust Control of Infinite Dimensional Systems. Frequency Domain Methods. Springer, Hong Kong, Lecture Notes in Control and Inform. Sci. 209 (1996).
Francis, B.A. and Zames, G., On $H^{\infty}$ -optimal sensitivity theory for SISO feedback systems. IEEE Trans. Automat. Control 29 (1984) 9-16. CrossRef
J.C. Friedly, Dynamic Behavior of Processes. Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1972).
Gauthier, J.P. and Xu, C.Z., $H^{\infty}$ -control of a distributed parameter system with non-minimum phase. Int. J. Control 53 (1991) 45-79. CrossRef
Hangos, K.M., Alonso, A.A., Perkins, J.D. and Ydstie, B.E., Thermodynamic approach to the structural stability of process plants. AIChE J. 45 (1999) 802-816. CrossRef
H. Hoffman, Banach Spaces of Analytic Functions. Prentice-Hall Inc., Englewood Cliffs (1962).
Huang, F.L., Characteristic conditions for exponential stability of linear dynamical systems in Hilbert spaces. Ann. Differential Equations 1 (1985) 43-56.
Kreiss, H.O., Ortiz, O.E. and Reula, O.A., Stability of quasi-linear hyperbolic dissipative systems. J. Differential Equations 142 (1998) 78-96. CrossRef
Lax, P.D. and Phillips, R.S., Local boundary conditions for dissipative symmetric linear differential operators. Comm. Pure Appl. Math. 13 (1960) 427-455. CrossRef
T.S. Li, Global Classical Solutions for Quasilinear Hyperbolic Systems, Research in Applied Mathematics, edited by P.G. Ciarlet and J.-L. Lions. John Willey & Sons, New York (1994).
Logemann, H., Ryan, E.P. and Townley, S., Integral control of infinite-dimensional linear systems subject to input saturation. SIAM J. Control Optim. 36 (1998) 1940-1961. CrossRef
Logemann, H. and Townley, S., Low gain control of uncertain regular linear systems. SIAM J. Control Optim. 35 (1997) 78-116. CrossRef
Morris, K.A., Justification of input/output methods for systems with unbounded control and observation. IEEE Trans. Automat. Control 44 (1999) 81-85. CrossRef
Ortiz, O.E., Stability of nonconservative hyperbolic systems and relativistic dissipative fluids. J. Math. Phys. 42 (2001) 1426-1442. CrossRef
A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York (1983).
Pohjolainen, S.A., Robust multivariable PI-controllers for infinite dimensional systems. IEEE Trans. Automat. Control 27 (1985) 17-30. CrossRef
Prüss, J., On the spectrum of C 0-semigroups. Trans. Amer. Math. Soc. 284 (1984) 847-857. CrossRef
Rauch, J., Symmetric positive systems with boundary characteristic of constant multiplicity. Trans. Amer. Math. Soc. 291 (1985) 167-187. CrossRef
Rauch, J. and Taylor, M., Exponential decay of solutions to hyperbolic equations in bounded domain. Indiana Univ. Math. J. 24 (1974) 79-86. CrossRef
Rebarber, R., Conditions for the equivalence of internal and external stability for distributed parameter systems. IEEE Trans. Automat. Control 38 (1993) 994-998. CrossRef
Russell, D.L., Controllability and stabilizability theory for linear partial differential equations: Recent progress and open questions. SIAM Rev. 20 (1978) 639-739. CrossRef
Salamon, D., Realization theory in Hilbert space. Math. Systems Theory 21 (1989) 147-164. CrossRef
Staffans, O.J., Feedback representations of critical controls for well-posed linear systems. Int. J. Robust Nonlinear Control 8 (1998) 1189-1217. 3.0.CO;2-4>CrossRef
Weiss, G., Admissible observation operators for linear semigroups. Israel J. Math. 65 (1989) 17-43. CrossRef
G. Weiss, Regular linear systems with feedback. Math. Control, Signals & Systems 7 (1994) 23-57. CrossRef
Weiss, G., Transfer functions of regular linear systems. Part I: Characterizations of regularity. Trans. Amer. Math. Soc. 342 (1994) 827-854.
Weiss, G. and Curtain, R.F., Dynamic stabilization of regular linear systems. IEEE Trans. Automat. Control 42 (1997) 4-21. CrossRef
Xu, C.Z. and Feng, D.X., Linearization method to stability analysis for nonlinear hyperbolic systems. C. R. Acad. Sci. Paris Sér. I Math. 332 (2001) 809-814. CrossRef
Xu, C.Z. and Gauthier, J.P., Analyse et commande d'un échangeur thermique à contre-courant. RAIRO APII 25 (1991) 377-396.
C.Z. Xu, J.P. Gauthier and I. Kupka, Exponential stability of the heat exchanger equation, in Proc. of the European Control Conference. Groningen, The Netherlands (1993) 303-307.
Xu, C.Z. and Jerbi, H., A robust PI-controller for infinite dimensional systems. Int. J. Control 61 (1995) 33-45. CrossRef
C.Z. Xu, Exponential stability of a class of infinite dimensional time-varying linear systems, in Proc. of the International Conference on Control and Information. Hong Kong (1995).
C.Z. Xu, Exact observability and exponential stability of infinite dimensional bilinear systems. Math. Control, Signals & Systems 9 (1996) 73-93. CrossRef
C.Z. Xu and G. Sallet, Proportional and Integral regulation of irrigation canal systems governed by the Saint-Venant equation, in 14th IFAC World Congress. Beijing, China (1999).
C.Z. Xu and D.X. Feng, Symmetric hyperbolic systems and applications to exponential stability of heat exchangers and irrigation canals, in Proc. of the MTNS'2000. Perpignan (2000).
Ydstie, B.E. and Alonso, A.A., Process systems and passivity via the Clausius-Planck inequality. Systems Control Lett. 30 (1997) 253-264. CrossRef