ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws

A family of time-varying hyperbolic systems of balance laws is considered. The partial differential equations of this family can be stabilized by selecting suitable boundary conditions. For the stabilized systems, the classical technique of construction of Lyapunov functions provides a function which is a weak Lyapunov function in some cases, but is not in others. We transform this function through a strictification approach to obtain a time-varying strict Lyapunov function. It allows us to establish asymptotic stability in the general case and a robustness property with respect to additive disturbances of input-to-state stability (ISS) type. Two examples illustrate the results.

[1]  A. Haraux,et al.  An Introduction to Semilinear Evolution Equations , 1999 .

[2]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[3]  Günter Leugering,et al.  Classical solutions and feedback stabilization for the gas flow in a sequence of pipes , 2010, Networks Heterog. Media.

[4]  Georges Bastin,et al.  On Lyapunov stability of linearised Saint-Venant equations for a sloping channel , 2009, Networks Heterog. Media.

[5]  Sergey Dashkovskiy,et al.  On the uniform input-to-state stability of reaction-diffusion systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[6]  Eduardo Sontag.  Input to State Stability: Basic Concepts and Results , 2008 .

[7]  Christophe Prieur,et al.  Boundary Control of Open Channels With Numerical and Experimental Validations , 2008, IEEE Transactions on Control Systems Technology.

[8]  C. SIAMJ.,et al.  ON THE NULL ASYMPTOTIC STABILIZATION OF THE TWO-DIMENSIONAL INCOMPRESSIBLE EULER EQUATIONS IN A SIMPLY CONNECTED DOMAIN , 1999 .

[9]  Zongli Lin,et al.  On Input-to-State Stability for Nonlinear Systems with Delayed Feedbacks , 2007, 2007 American Control Conference.

[10]  M. Herty,et al.  Optimal Control for Traffic Flow Networks , 2005 .

[11]  Justin Hudson,et al.  Formulations for Numerically Approximating Hyperbolic Systems Governing Sediment Transport , 2003, J. Sci. Comput..

[12]  Lawrence F. Shampine.  Two-step Lax-Friedrichs method , 2005, Appl. Math. Lett..

[13]  H. Logemann,et al.  The Circle Criterion and Input-to-State Stability , 2011, IEEE Control Systems.

[14]  Georges Bastin,et al.  Using hyperbolic systems of balance laws for modeling, control and stability analysis of physical networks , 2009 .

[15]  Jonathan de Halleux,et al.  Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations , 2004, Syst. Control. Lett..

[16]  Jan Schuurmans,et al.  Classification of Canal Control Algorithms , 1995 .

[17]  Günter Leugering,et al.  Global boundary controllability of the Saint-Venant system for sloped canals with friction , 2009 .

[18]  M. Slemrod.  A Note on Complete Controllability and Stabilizability for Linear Control Systems in Hilbert Space , 1974 .

[19]  Georges Bastin,et al.  A strict Lyapunov function for boundary control of hyperbolic systems of conservation laws , 2004, CDC.

[20]  Didier Georges,et al.  Predictive Control with guaranteed stability for hyperbolic systems of conservation laws , 2010, 49th IEEE Conference on Decision and Control (CDC).

[21]  L. Shampine.  Solving Hyperbolic PDEs in MATLAB , 2005 .

[22]  Institute for Applied Problems of Mechanics and Mathematics, Ukrainian Academy of Sciences , 2004 .

[23]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[24]  Georges Bastin,et al.  A second order model of road junctions in fluid models of traffic networks , 2007, Networks Heterog. Media.

[25]  R. M. COLOMBO,et al.  Optimal Control in Networks of Pipes and Canals , 2009, SIAM J. Control. Optim..

[26]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[27]  G. Sallet,et al.  Exponential Stability and Transfer Functions of Processes Governed by Symmetric Hyperbolic Systems , 2002 .

[28]  Emmanuel Trélat,et al.  GLOBAL STEADY-STATE STABILIZATION AND CONTROLLABILITY OF 1D SEMILINEAR WAVE EQUATIONS , 2006 .

[29]  F. Mazenc,et al.  Strict Lyapunov functions for semilinear parabolic partial differential equations , 2011 .

[30]  Georges Bastin,et al.  Dissipative Boundary Conditions for One-Dimensional Nonlinear Hyperbolic Systems , 2008, SIAM J. Control. Optim..

[31]  M. Malisoff,et al.  Constructions of Strict Lyapunov Functions , 2009 .

[32]  Olivier Bernard,et al.  A Simplified Design for Strict Lyapunov Functions Under Matrosov Conditions , 2009, IEEE Transactions on Automatic Control.

[33]  Joseph J. Winkin,et al.  Robust boundary control of systems of conservation laws , 2008, Math. Control. Signals Syst..

[34]  Ta-Tsien Li.  Global classical solutions for quasilinear hyperbolic systems , 1994 .

[35]  Georges Bastin,et al.  Lyapunov exponential stability of linear hyperbolic systems of balance laws , 2011 .

[36]  Dragan Nesic,et al.  Lyapunov functions for time-varying systems satisfying generalized conditions of Matrosov theorem , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[37]  W. Marsden.  I and J , 2012 .

[38]  Ali Tafarojnoruz,et al.  Fluvial hydraulics , 2010 .

[39]  W. Graf.  Hydraulics of Sediment Transport , 1984 .

[40]  Miroslav Krstic,et al.  Backstepping boundary control for first order hyperbolic PDEs and application to systems with actuator and sensor delays , 2007, 2007 46th IEEE Conference on Decision and Control.