Stabilization of Boundary Controlled Hyperbolic PDEs via Lyapunov-Based Event Triggered Sampling and Quantization

Similar documents
Lyapunov functions for switched linear hyperbolic systems

Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques

Stabilité des systèmes hyperboliques avec des commutations

Stabilité des systèmes hyperboliques avec des commutations

Stability analysis of a singularly perturbed coupled ODE-PDE system

Event-based Stabilization of Nonlinear Time-Delay Systems

Control of 2 2 Linear Hyperbolic Systems: Backstepping-Based Trajectory Generation and PI-Based Tracking

Stability and output regulation for a cascaded network of 2 2 hyperbolic systems with PI control

A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems

ON LYAPUNOV STABILITY OF LINEARISED SAINT-VENANT EQUATIONS FOR A SLOPING CHANNEL. Georges Bastin. Jean-Michel Coron. Brigitte d Andréa-Novel

Observer-Based Feedback Stabilization of Linear Systems with Event-triggered Sampling and Dynamic Quantization

Delay-independent stability via a reset loop

Fluid-flow modeling and stability analysis of communication networks

An asymptotic ratio characterization of input-to-state stability

Passification-based adaptive control with quantized measurements

Passivity-based Stabilization of Non-Compact Sets

Event-Triggered Decentralized Dynamic Output Feedback Control for LTI Systems

Observer-based quantized output feedback control of nonlinear systems

Stability of non-linear systems by means of event-triggered sampling algorithms

Symbolic Control of Incrementally Stable Systems

Lyapunov stability analysis of a system coupled to a hyperbolic PDE with potential

Coupling conditions for transport problems on networks governed by conservation laws

Lyapunov Stability of Linear Predictor Feedback for Distributed Input Delays

L -Bounded Robust Control of Nonlinear Cascade Systems

General Fast Sampling Theorems for Nonlinear Systems

Quasi-ISS Reduced-Order Observers and Quantized Output Feedback

Observer-based event-triggered control for linear systems subject to cone-bounded nonlinearities

Exponential stabilization of a Rayleigh beam - actuator and feedback design

Convergence Rate of Nonlinear Switched Systems

Networked Control Systems, Event-Triggering, Small-Gain Theorem, Nonlinear

AQUANTIZER is a device that converts a real-valued

Stability and performance of hybrid systems

Stability analysis of linear systems under asynchronous samplings

Global stabilization of feedforward systems with exponentially unstable Jacobian linearization

Stability of Hybrid Control Systems Based on Time-State Control Forms

QUANTIZED SYSTEMS AND CONTROL. Daniel Liberzon. DISC HS, June Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign

APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS 1. Antoine Girard A. Agung Julius George J. Pappas

EXPONENTIAL STABILITY OF SWITCHED LINEAR SYSTEMS WITH TIME-VARYING DELAY

OUTPUT CONSENSUS OF HETEROGENEOUS LINEAR MULTI-AGENT SYSTEMS BY EVENT-TRIGGERED CONTROL

Detectability and Output Feedback Stabilizability of Nonlinear Networked Control Systems

Stability analysis of coupled linear ODE-hyperbolic PDE systems with two time scales

Gramians based model reduction for hybrid switched systems

ISS Lyapunov functions for time-varying hyperbolic partial differential equations

STABILITY AND STABILIZATION OF A CLASS OF NONLINEAR SYSTEMS WITH SATURATING ACTUATORS. Eugênio B. Castelan,1 Sophie Tarbouriech Isabelle Queinnec

1 Lyapunov theory of stability

Converse Lyapunov theorem and Input-to-State Stability

Approximate Bisimulations for Constrained Linear Systems

Stabilizing Uncertain Systems with Dynamic Quantization

Stability of Linear Distributed Parameter Systems with Time-Delays

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control

Robust Fault Diagnosis of Uncertain One-dimensional Wave Equations

A Simple Self-triggered Sampler for Nonlinear Systems

Trajectory Tracking Control of Bimodal Piecewise Affine Systems

A nonsmooth hybrid invariance principle applied to robust event-triggered design

Control for stability and Positivity of 2-D linear discrete-time systems

H State-Feedback Controller Design for Discrete-Time Fuzzy Systems Using Fuzzy Weighting-Dependent Lyapunov Functions

State estimation of uncertain multiple model with unknown inputs

Analysis of different Lyapunov function constructions for interconnected hybrid systems

Observer design for a general class of triangular systems

A Delay-dependent Condition for the Exponential Stability of Switched Linear Systems with Time-varying Delay

Zeno-free, distributed event-triggered communication and control for multi-agent average consensus

Nonlinear Control Design for Linear Differential Inclusions via Convex Hull Quadratic Lyapunov Functions

A NONLINEAR TRANSFORMATION APPROACH TO GLOBAL ADAPTIVE OUTPUT FEEDBACK CONTROL OF 3RD-ORDER UNCERTAIN NONLINEAR SYSTEMS

Explicit computation of the sampling period in emulation of controllers for nonlinear sampled-data systems

Stability Analysis and Synthesis for Scalar Linear Systems With a Quantized Feedback

Small Gain Theorems on Input-to-Output Stability

Robust boundary control of systems of conservation laws: theoretical study with numerical and experimental validations

Event-triggered PI control: Saturating actuators and anti-windup compensation

On the Inherent Robustness of Suboptimal Model Predictive Control

Global stabilization of a Korteweg-de Vries equation with saturating distributed control

A Hybrid Systems Approach to Trajectory Tracking Control for Juggling Systems

Boundary Control of Open Channels With Numerical and Experimental Validations Valérie Dos Santos and Christophe Prieur

Input-output finite-time stabilization for a class of hybrid systems

Refined exponential stability analysis of a coupled system

Input to state Stability

Event-Based Control of Nonlinear Systems with Partial State and Output Feedback

STABILIZATION FOR A CLASS OF UNCERTAIN MULTI-TIME DELAYS SYSTEM USING SLIDING MODE CONTROLLER. Received April 2010; revised August 2010

Bisimilar Finite Abstractions of Interconnected Systems

Lecture Note 7: Switching Stabilization via Control-Lyapunov Function

L 2 -induced Gains of Switched Systems and Classes of Switching Signals

FOR OVER 50 years, control engineers have appreciated

State-norm estimators for switched nonlinear systems under average dwell-time

Stability and performance analysis for input and output-constrained linear systems subject to multiplicative neglected dynamics

On the Inherent Robustness of Suboptimal Model Predictive Control

Global Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems

1 The Observability Canonical Form

Event-based control of input-output linearizable systems

Enlarging the basin of attraction by a uniting output feedback controller

Communication constraints and latency in Networked Control Systems

Stabilization of Lebesgue sampled systems with bounded controls: the chain of integrators case

Low-Complexity Switching Controllers for Safety using Symbolic Models

L 1 Adaptive Output Feedback Controller to Systems of Unknown

Event-Triggered Output Feedback Control for Networked Control Systems using Passivity: Time-varying Network Induced Delays

Input-to-state stability of self-triggered control systems

Minimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality

IMPROVED MPC DESIGN BASED ON SATURATING CONTROL LAWS

NONLINEAR CONTROL with LIMITED INFORMATION. Daniel Liberzon

Lyapunov Stability Theory

Adaptive Nonlinear Model Predictive Control with Suboptimality and Stability Guarantees

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

Transcription:

Stabilization of Boundary Controlled Hyperbolic PDEs via Lyapunov-Based Event Triggered Sampling and Quantization Nicolás Espitia Aneel Tanwani Sophie Tarbouriech Abstract With the growing utility of hyperbolic systems in modeling physical and controlled systems, this paper considers the problem of stabilization of boundary controlled hyperbolic partial differential equations where the output measurements are communicated after being time-sampled and space-quantized. Static and dynamic controllers are designed, which establish stability in different norms with respect to measurement errors using Lyapunov-based techniques. For practical purposes, stability in the presence of event-based sampling and quantization errors is analyzed. The design of sampling algorithms ensures practical stability. I. INTRODUCTION Hyperbolic partial differential equations (PDEs have been useful in modeling physical networks of different nature: e.g. hydraulic, road traffic, gas networks ([2], [3], [3] to mention a few. Stabilizing this class of infinite dimensional systems, when applying control action either on the domain or on the boundary, has also been well studied, see for example [6] for backstepping control, and [4], [5], [7] for other Lyapunov techniques in general. Several results on the modeling of physical systems in hyperbolic PDE setting, along with the stability and boundary stabilization of such systems can be found in a recent book []. For the most part of boundary controllers for hyperbolic systems, digital control without reducing the model has not been studied in general. In fact, for control of PDEs, digital control synthesis commonly relies on reducing the model by discretizing the space so that one gets ordinary differential equations. In that case, finite dimensional approaches for digital control can be applied. However, without reducing the model, it is not sufficiently clear how fast continuous-time boundary controllers of hyperbolic PDEs must be sampled in a periodic fashion so as to implement them into a digital platform. Besides this, in large scale scenarios where sensors and actuators are distributed, information is transmitted through digital communication channels. Therefore, the need to reduce energy consumption and save communication resources is also a central issue. Motivated by all of this, a recent work [] introduced event-based sampling algorithms for boundary control of linear hyperbolic systems of conservation laws. The proposed rigorous framework establishes well-posedness of the closedloop system and uses Lyapunov techniques for sampling algorithms to ensure exponential stability of the system. *This work has been partially supported by the LabEx PERSYVAL-Lab (ANR--LABX-25-. N. Espitia is with Univ. Grenoble Alpes, CNRS, Gipsa-lab, F-38 Grenoble, France. A. Tanwani and S. Tarbouriech are with LAAS-CNRS, Université de Toulouse, CNRS, 34 Toulouse, France. Corresponding author: nicolas.espitia-hoyos@gipsa-lab.fr Furthermore, in [22], [23], boundary control of linear hyperbolic systems is treated when the output measurements are quantized. Few approaches on sampled data and eventtriggered control for another class of infinite dimensional systems, namely, parabolic PDEs, are considered e.g. in [] and [8], [25]. The later combines event-triggered sampling with a logarithmic quantizer. It is worth recalling that for finite dimensional networked control systems, several contributions have been developed in the field of event-triggered and quantized control. See for instance, [4], [6], [7], and [2]. Among triggering strategies, we point out a static rule based on a robustness notion, called input-to-state stability (ISS, as introduced in [2], a dynamic rule as introduced in [2], [24], and the strategies relying on the time-derivative of a Lyapunov function as developed for instance in [5], [9]. When considering sampling and quantization issues, measurement errors are introduced which in most cases can cause the hyperbolic system to become unstable. Therefore, ISS properties with respect to those errors must be properly addressed. In [], a static boundary control yields ISS in L 2 - norm by means of Lyapunov analysis. While in [22], [23], ISS in H -norm leading to practical stability is obtained by using a dynamic controller. The use of H -norm is motivated by the fact that the output function to be quantized, must remain within the range of the quantizer, which is considered to be bounded. This work builds on the ISS notions developed in [] and [22] to solve the stabilization problem of hyperbolic PDEs when the output is subjected to event-based sampling, and quantization. The main contribution lies on the fact that even under event-triggered sampling of the output, one can still obtain ISS stability in both L 2 and H norms and the well-posedness of the system. In the first instance, assuming the quantizers do not have limitations on data rate, a static control is used and bounds on L 2 -norm of the state are obtained. For finite data-rate quantizers, it turns out to be necessary to work with a dynamic controller, and stability in H -norm is established. This paper is organized as follows. In Section II, we introduce the problem statement. In Section III, we present the static control and stability result in L 2 -norm. Section IV provides the result on stability in H -norm for dynamic boundary control. Section V provides a numerical example to illustrate the main results. Due to space limitations, the proofs of several results are omitted. We sketch the outline describing the major steps involved in the proof of main results.

II. PROBLEM FORMULATION Consider the linear hyperbolic PDE: t y(t, x + Λ x y(t, x = ( where x [, ], t R + and Λ = diag( i is a diagonal positive definite matrix. The boundary condition is given by and the initial condition is y(t, = Hy(t, + Bu(t (2 y(, x = y (x, x (,, (3 where y : R n [, ] R n, the input u : R + R m, H R n n and B R n m. We consider the output of this system to be z(t = y(t,. (4 The objective is to design the control input u in (2 as a function of the output measurements such that the resulting closed-loop system is asymptotically stable in appropriate sense. In our setup, we impose certain restrictions on the transmission of output to the controller. Motivated by the fact that the output is communicated to the controller via a communication channel, we determine the sampling instants, t k R +, k N, such that y(t k, is transmitted to the controller for t [t k, t k+. Additionally, after the sampling instants have been computed, a quantizer q : R n Q encodes each output sample y(t k, to a discrete alphabet set Q. We consider two cases: The domain of the quantizer is not necessarily compact, so that Q is countably infinite. The quantizers have a compact domain, and Q is finite. In both cases, we solve the design problem where we compute the sampling instants t k, k N. In order to save communication resources, our objective is to employ eventbased strategy for computing the sampling times. We provide the sampling algorithms for both aforementioned cases, and show that the closed-loop system is ISS with respect to the quantization error with appropriate norms. III. STATIC CONTROL WITH INFINITE DATA RATE To highlight the fundamental ideas behind our approach, we first treat the case where quantization error is assumed to be bounded for all possible values of the output, for example, q(y = y +.5. In that case, we can talk about stability of y(t, in L 2 -norm without requiring any bounds on z(t. We first describe how ISS in L 2 -norm is achieved via static output feedback, and then present the sampling algorithm. A. ISS via static output feedback We start by introducing perturbations in the output measurements by letting z d (t = y(t, + d(t (5 with d L (R + ; R n. We are interested in designing an output feedback which achieves ISS with respect to d in the following sense: Definition (L 2 -ISS: The system (-(3,(5, with controller u = φ(z d is input-to-state stable (ISS in L 2 -norm with respect to disturbance d L (R + ; R n, if there exist ν >, C > and C 2 > such that, for every y L 2 ([, ]; R n, the solution satisfies, for all t R +, y(t, 2 L 2 ([,],R n C e νt ( y 2 L 2 ([,];R n +C 2 d [,t] 2. (6 In case there are no perturbation, i.e. d, a particular case of φ is a static output feedback control u(t = Kz(t, which renders the system globally exponential stable. Setting G := H + BK, the boundary condition (2 is y(t, = Gz(t. (7 The design of K R m n relies on the following assumption, which states a sufficient (dissipative boundary condition for the global exponential stability of the system. Let us recall it here as follows [4]: Assumption : The following inequality holds: ρ 2 (G = inf { G ; D n,+ } < (8 where denotes the induced Euclidean-norm of matrices in R n n and D n,+ denotes the set of diagonal positive definite matrices. In case there are perturbations, and u = Kz d, the resulting boundary condition can be expressed as y(t, = Gz(t + BKd(t. (9 Under Assumption, let us recall that the function defined for all y L 2 ([, ]; R n by V (y = y(x T Qy(xe 2µx dx ( is a Lyapunov function for system (-(3, (4, (7 where Q is a diagonal positive definite matrix and µ > (see [8]. Even in the presence of perturbations, the system (-(3, (5 with control u = Kz d, is ISS in L 2 -norm. The result follows using ( as well, see [], [7]. B. Static control with event-based sampling and quantizer In this section, we analyze the stability of the closedloop system when the output is subject to event-triggered sampling and quantization. Highly inspired by [2] and [], we design the sampling algorithm so that L 2 -norm of y(t, converges to a bound parameterized by quantization error. In the sequel, we use the boundary controller as u = φ s (z. The operator φ s encloses the triggering condition, the quantizer and the control function. This requires us to first state a result from [] that allows us to express V from ( in terms of measured output. Denoting = min i n { i }, we define the function Ṽ : [, R +, at t =, by Ṽ (t = n Q ii i= ( ( 2 H i z t x i e 2µx dx, (

and for all t >, by Ṽ (t = n i= Q ( ( 2 ii H i z (t xi + B i u t x i e 2µx dx (2 with Q R n n a diagonal positive definite matrix. Proposition ([]: Let y be a solution to (-(3, (4. It holds that for all t, Ṽ (t = V (y(t, with Ṽ given by (2. Having stated the above issues, let us now characterize φ s as follows: Definition 2 (Defintion of φ s : Let σ (,, γ s, ξ, δ, µ, ν >, and K R m n. Let ε s (t = ε s (e δt, for all t, with ε s( ξṽ (. To define the operator φ s, which maps the output function z to u, we consider The increasing sequence of time instants (t k that is defined iteratively by t =, t =, and for all k, t k+ = inf{t R + t > t k γ s BK( z(t+z(t k 2 2νσṼ (t+ε s(t}. (3 If Ṽ ( =, the time instants are t =, t = and t 2 =. The quantizer q : R n Q having the property that q(x x q, for some countable set Q, and a scalar q >. The static control function φ s is described by: u(t = t [t, t, u(t = Kq(z(t k t [t k, t k+, k. (4 For each t, the boundary condition (2, with (4, under static boundary control, u = φ s (z as u(t = Kq(z(t k, t [t k, t k+, can be rewritten as: y(t, = (H + BKz(t + d q (t + d s (t (5 where { d q (t := BK(q(z(t k z(t k d s (t := BK(z(t k z(t t [t k, t k+ (6 can be seen as errors related to the quantization and to the sampling respectively. Well-posedness of the closed-loop system: In this section, we use the notion of piecewise continuous solutions as in []. As a matter of fact, the controller φ s introduced in this section has the same nature as the operator defined in []. Using C rpw (resp. C lpw to denote piecewise right (resp. left continuous functions, it follows from the arguments presented in [] that u C rpw (R +, R m provided z C rpw (R +, R n. It allows us to state the following result on the existence of solutions [, Proposition ]: Proposition 2 (Existence of solutions: For any y C lpw ([, ], R n, there exists a unique solution to the closedloop system (-(3, (4 with controller u = φ s (z. 2 Stability result: Let us state the main result of this section on stability with static feedback. Theorem (L 2 -stability: Let K R m n be such that Assumption holds. Let µ >, Q D n,+, ν = µ, σ (,, and δ > 2ν( σ. Let ε s (t be the decreasing function as in Definition 2 and assume that there exist γ q and γ s > such that M c = GT QΛG QΛe 2µ G T QΛ G T QΛ QΛ γ q I QΛ QΛ QΛ γ s I (7 Then the closed-loop system (-(3, (4, (5 with controller u in (4 is ISS in L 2 -norm with respect to d q. To prove that the system is ISS with respect to d q, we use the Lyapunov function candidate (. Computing the right-time derivative of the Lyapunov function as done in [, Lemma 2], and using the definition of φ s, one ends up with V (y(t, C e 2ν( σt V (y + for some C >. γ q 2ν( σ sup d q (s 2 s [,t] IV. DYNAMIC CONTROL WITH FINITE DATA RATE In this section, we consider the case when the sampledoutput is subject to a quantizer, which has constraints on the domain. We define a finite-rate uniform quantizer q : R n Q where Q := {q, q 2,..., q N } is a set of finite alphabets. It has the following property: and q(x x q if x M q (8a q(x M q q if x > M q (8b where q > is the sensitivity of the quantizer and M q is the range of the quantizer. We refer to [4], or [2], [23] for further details. With the quantizer specified in (8, the sampled-output y(t k, (for some t k to be defined in the sequel, must be bounded in a proper sense. It turns out that it can be only bounded if the H -norm of y(t,, defined as y 2 H ([,];R n = y 2 L 2 ([,];R n + y 2 L 2 ([,];R n is bounded, as explained in Section IV-B. Thus, it is necessary for y to be absolutely continuous so that y is well-defined. When dealing with quantized and sampled output, a static control would introduce discontinuous inputs at the boundary, which result in y being discontinuous. To overcome this problem, we use a dynamic controller as proposed in [22], [23], which helps in smoothing the discontinuities caused by the quantization and sampling. We introduce then the dynamic variable η R n satisfying the following ordinary differential equation, η(t = αη(t + αz d (t η( = η (9 for some α > to be chosen later and z d (t given by (5 where d will be characterized later on. Once again, we shall consider ISS issues with respect to d.

Definition 3 (H input-to-state stability: The system (-(3, (5, (9 with controller u = φ d (z, η is ISS in H -norm with respect to disturbance d L (R +, R n, if there exist ν >, C > and C 2 > such that, for every y H ([, ]; R n, η R n, the solution satisfies, for all t R +, η(t y(t, 2 + y(t, 2 H ([,],R n C d [,t] 2 + C 2 e νt ( η y(, 2 + y 2 H ([,];R n (2 A. Event-based and quantized dynamic boundary control Proceeding similarly as in Section III-B, we will call the dynamic boundary controller as φ d, where this operator encloses the triggering condition, the quantizer and the dynamic control function. It is rigorously characterized as follows: Definition 4 (Definition of φ d : Let σ (,, κ >, γ s, ξ, µ >, K R m n and P be a symmetric positive definite matrix. Let Ṽ be given, at t = by ( and for all t >, by (2. For each t, let ( ( ( ( ( ε d (t = Ṽ + η z P ( η ( ( z e δt ξ. To define the operator φ d, which maps the output function z to u, we consider The increasing sequence of time instants (t k that is defined iteratively by t =, t =, and for all k, t k+ = inf{t R + t > t k γ s α( z(t + z(t k 2 κ (η(t z(t T P (η(t z(t + κ Ṽ (t +ε d (t} (2 where η is obtained from (9 by setting z d (t = q(y(t k,, with t [t k, t k+, and q defined in (8. If Ṽ ( = and (η( z( P (η( z( =, the time instants are t =, t = and t 2 =. The dynamic control function is defined as u(t = ũ(η, y t [t, t u(t = Kη(t t [t k, t k+, k (22 where, for i =,..., m, ũ i (η, y = ( n j= K ije αt ηj + t eαs αyj ( jsds, with η, y satisfying the compatibility condition y ( = Hy (+Bũ(η, y and u(t = ũ(η, y = Kη(t. With u = φ d (z, and (4, we can rewrite (9, for all t > t, as follows: η(t = αη(t + αz(t + d q (t + d s (t (23 where { d q (t = α(q(z(t k z(t k d s (t = α(z(t k z(t t [t k, t k+ (24 can be seen as the measurement errors resulting from the quantization and sampling, respectively. Well-posedness of the closed-loop system: The presence of dynamic controller makes it challenging to address the question of existence and uniqueness of solutions for the closed-loop systems. The authors of this paper have addressed this question in their other works. The work of [22], [23] proposes the framework where the closedloop trajectories (y, η are in C ([, T ], H ([, T ], R n AC([, T ], R n, where AC denotes the space of absolutely continuous functions. Continuing along the lines of [, Proposition ], solutions y which are absolutely continuous in spatial variable, and whose derivatives are piecewise continuous functions, are studied in [9]. 2 ISS stability result: Remark first that the boundary condition (2, with (4 under the dynamic boundary controller u = φ d (z, η as u = Kη is rewritten as follows: y(t, = Hz(t + BKη(t = Gz(t + BK(η(t z(t (25 with G = H + BK. In order to state the main result, let us introduce some notation. We denote F := Λ 2 G T Λ Q 2 GΛ 2 Λ T Q 2 Λ 2 e 2µ ; F := K T B T Λ Q 2 GΛ 2 ; F 2 := K T B T Λ Q 2 BK, (26 for scalars µ >, α >, = min i n { i }, diagonal positive definite matrices Q, Q 2 and a symmetric positive definite matrix P. In addition, we denote by M c the matrix in (27 (at the top of next page, and finally, define the matrix Mc d, for some scalars γ q and γ s >, as M d c = M c F T F 2 F T F 2 αf 2 αf 2 F 2 γ q I F 2 F 2 F 2 γ si. (28 Let us now present the main result of the second part of the paper. Theorem 2 (H -stability: Let K R m n be such that Assumption holds. Assume that there exist matrices Q, Q 2 D n,+, a symmetric positive definite matrix P R n n, K in R m n, α >, µ >, ν = µ, σ (,, δ > 2ν( σ, and γ q, γ s > such that and M c (29 M d c. (3 Then, the closed-loop system (-(3, (4, (23 with controller u in (22 is ISS in H -norm with respect to d q. To prove that the system is ISS with respect to d q, we use a Lyapunov function candidate V : H ([, ], R n R n R + given by V := V + V 2 + V 3 (3 where V : H ([, ], R n R + is defined as, V (y = y(x T Q y(xe 2µx dx, (32

G T Q ΛG Q Λe 2µ G T Q ΛBK M c = F F F T + F 2 αf T + αf 2 P (27 α 2 F 2 2αP + 2µP + K T B T Q ΛBK and V 2 : H ([, ], R n R + is defined as, V 2 (y = y x (x T Q 2 y x (xe 2µx dx (33 where y x := y x. Finally, V 3 : H ([, ], R n R n R + is defined as, V 3 (y, η = (η y(, T P (η y(, (34 Computing the time-derivative of V, and using the definition of φ d, we obtain V (y(t,, η(t C e 2ν( σt V (y, η + γ q 2ν( σ sup d q (s 2 s [,t] for some C >, whence the desired claim follows. B. Quantized control and practical stability Let us consider now the study of practical stability of the system under quantization errors, (see [22], [23] for further details. As mentioned earlier, in order to apply quantized control with finite data rate, according to rule (8, we have to find a bound for z(t = y(t,. It would hold also for z(t k for the time instants defined in (2. The main reason of having used H -norm stability analysis, is because a suitable bound for z(t can be deduced as follows. Observe that ( 2 z(t 2 = sy x (t, s + y(t, sds ( 2 ( 2 y x (t, s 2 ds + 2 ( sy x (t, s ds + 2 2 y(t, s ds y(t, s 2 ds 2 y(t, 2 H ([,],R n. (35 Moreover, from (35, it also holds that z(t 2 2( y x (t, 2 L 2 ([,],R n + y(t, 2 L 2 ([,],R n +2 η(t z(t 2. (36 Next, for all y H ([, ], R n and η R n, the Lyapunov function V given by (3 may be bounded as follows: c e 2µ( y(t, 2 L + y x(t, 2 2 L2 + η(t y(t, 2 V (y(t,, η(t c 2 ( y(t, 2 L 2 + y x (t, 2 L + η(t y(t, 2 2 (37 for some c, c 2 >. Therefore, using (37 with (36 we obtain that z(t 2 2e2µ c V (y(t,, η(t. (38 Inequality (38 will be useful when determining the ultimate boundedness of the system. To that end, let us prove first that the output remains within the range of the quantizer. Following the same arguments provided in [23, Section 5.2], and assuming that the initial conditions y and η are such that 2e 2µ c V (y, η M 2 q (39 where M q is the range of the quantizer defined in (8, one can obtain that V (y(t,, η(t M q 2 c 2e C 2µ e 2ν( σt γ q + 2ν( σ 2 q. Using the bound on V from (37, we get also that y(t, 2 H ([,],R n + η y(t, 2 M 2 q 2 C e 2ν( σt + γ qe 2µ 2ν( σc 2 q. Considering the behavior for t sufficiently large, we obtain the practical stability with ultimate boundedness of the closed-loop system (-(3,(4 with controller φ d, that is, lim sup{ y(t, 2 H ([,],R n + η y(t, 2 } γ qe 2µ 2 q. t 2ν( σc V. SIMULATIONS We illustrate the results of Section IV by considering the following example of a linear system of 2 2 hyperbolic conservation laws of the form ( with y = [y y 2 ] T, Λ = diag( ; 2, initial condition y(, x = [ cos(4πx cos(2πx ] T for all x [, ] and dynamic boundary condition given by y(t, = Hz(t + Bu(t where H = (., B = I 2 and u(t = Kη(t. Let us consider first the case when stabilization is carried out using a dynamic controller without any measurement error, that is, we set d q and d s in (24. Therefore, η just satisfies η(t = αη(t + αz(t, where we choose α =. Furthermore, the gain of the dynamic controller K has been chosen such that ρ 2 (G < with G = H + BK. Indeed with K = (.7, ρ2 (G = 3.82 and = ( 9.96.4. Hence, the dissipativity condition holds, which is a necessary condition for the result in Theorem 2. In addition, condition (29 is verified for suitable Q, Q 2 and P. In fact, by choosing properly K and α and performing a line search on µ, one leads to several LMIs (linear in variables P, Q(, and Q 2. With K and α ( given as before, we obtain 3.64 2.5 4.4 2 4.67 2 P = (, Q =.24 2.34 2, Q 2 = and scalars µ = ν =.4. Consider now the case of event-triggered sampling and quantized output. We use the following uniform quantizer

45 4 35 3 25 V 2 5 5 (a Evolution of y with d s = d q =. (b Evolution of y with quantized samples. 2 3 4 5 6 7 8 Time[s] (c Evolution of V and discrete samples. Fig.. Simulation results with dynamic controller. x+.5 q(x = q q whose sensitivity is given by q. We choose q = and, for the sake of simplicity, we assume the range of the quantizer to be large. The parameters for the triggering condition are σ =.9, ε( =. and δ =.28. Condition Mc d in (3 is verified with γ s = 22.4 and γ q = 67.4. Then, Theorem 2 applies. Figure (a shows the plot of y with a dynamic controller without measurement errors, and Fig. (b shows evolution of y with the same controller in the presence of sampling and quantization errors. Figure (c shows the time-evolution of function V given by (3 with d s = d q = (black line and with φ d (red dashed line with circle markers using sampled and quantized measurements. VI. CONCLUSION In this paper, the problem of stabilization of boundary controlled hyperbolic PDEs has been considered, where the output measurements are event-triggered and quantized. We have studied ISS in L 2 - and H - norms. It could be fruitful to consider also sampling algorithms for the control input in order to keep it constant until an update is necessary. VII. ACKNOWLEDGEMENTS Authors would like to thank Antoine Girard, Nicolas Marchand and Christophe Prieur for the valuables comments on the preliminary version of this paper. REFERENCES [] G. Bastin and J.-M. Coron. Stability and Boundary Stabilization of -D Hyperbolic Systems. 88. Birkhäuser Basel, first edition, 26. [2] G. Bastin, J.-M. Coron, and B. d Andréa Novel. Using hyperbolic systems of balance laws for modeling, control and stability analysis of physical networks. In Lecture notes for the Pre-Congress Workshop on Complex Embedded and Networked Control Systems, Seoul, Korea, 28. [3] G. M. Coclite, M. Garavello, and B. Piccoli. Traffic flow on a road network. SIAM Journal on Mathematical Analysis, 36(6:862 886, 25. [4] J.-M. Coron, G. Bastin, and B. d Andréa Novel. Dissipative boundary conditions for one-dimensional nonlinear hyperbolic systems. SIAM Journal on Control and Optimization, 47(3:46 498, 28. [5] J-M. Coron, B. d Andréa Novel, and G. Bastin. A strict Lyapunov function for boundary control of hyperbolic systems of conservation laws. IEEE Trans. on Automatic Control, 52(:2, 27. [6] J.-M. Coron, R. Vazquez, M. Krstic, and G. Bastin. Local exponential H 2 stabilization of a 2 2 quasilinear hyperbolic system using backstepping. SIAM Journal on Control and Optimization, 5(3:25 235, 23. [7] J. de Halleux, C. Prieur, J.-M. Coron, B. d Andréa Novel, and G. Bastin. Boundary feedback control in networks of open channels. Automatica, 39(8:365 376, 23. [8] A. Diagne, G. Bastin, and J.-M. Coron. Lyapunov exponential stability of -D linear hyperbolic systems of balance laws. Automatica, 48(:9 4, 22. [9] N. Espitia. Event-based control of networks modeled by a class of infinite-dimensional systems. PhD thesis, Université Grenoble Alpes, 27. [] N. Espitia, A. Girard, N. Marchand, and C Prieur. Event-based control of linear hyperbolic systems of conservation laws. Automatica, 7:275 287, August 26. [] E. Fridman and A. Blighovsky. Robust sampled-data control of a class of semilinear parabolic systems. Automatica, 48(5:826 836, 22. [2] A. Girard. Dynamic triggering mechanisms for event-triggered control. IEEE Trans. on Automatic Control, 6(7:992 997, July 25. [3] M. Gugat, M. Dick, and G. Leugering. Gas flow in fan-shaped networks: Classical solutions and feedback stabilization. SIAM Journal on Control and Optimization, 49(5:2 27, 2. [4] D. Liberzon. Hybrid feedback stabilization of systems with quantized signals. Automatica, 39(9:543 554, 23. [5] N. Marchand, S. Durand, and J. F. G. Castellanos. A general formula for event-based stabilization of nonlinear systems. IEEE Trans. on Automatic Control, 58(5:332 337, 23. [6] R. Postoyan, P. Tabuada, D. Nesic, and A. Anta. A framework for the event-triggered stabilization of nonlinear systems. IEEE Trans. on Automatic Control, 6(4:982 996, 25. [7] C. Prieur and A. Tanwani. Asymptotic stabilization of some finite and infinite dimensional systems by means of dynamic event-triggered output feedbacks. In Feedback Stabilization of Controlled Dynamical Systems, volume 473 of Lecture Notes in Control and Information Sciences, pages 2 23. Springer, 27. [8] A. Selivanov and E. Fridman. Distributed event-triggered control of transport-reaction systems. Automatica, 68:344 35, 26. [9] A. Seuret, C. Prieur, and N. Marchand. Stability of non-linear systems by means of event-triggered sampling algorithms. IMA Journal of Mathematical Control and Information, 3(3:45 433, 24. [2] P. Tabuada. Event-triggered real-time scheduling of stabilizing control tasks. IEEE Trans. on Automatic Control, 52(9:68 685, 27. [2] A. Tanwani, C. Prieur, and M. Fiacchini. Observer-based feedback stabilization of linear systems with event-triggered sampling and dynamic quantization. Systems & Control Letters, 94:46 56, 26. [22] A. Tanwani, C. Prieur, and S. Tarbouriech. Input-to-state stabilization in H -norm for boundary controlled linear hyperbolic pdes with application to quantized control. In 26 IEEE 55th Conference on Decision and Control (CDC, pages 32 37, Dec 26. [23] A. Tanwani, C. Prieur, and S. Tarbouriech. Disturbance-to-state stabilization and quantized control for linear hyperbolic systems. arxiv:73.32, 27. [24] A. Tanwani, A.R. Teel, and C. Prieur. On using norm estimators for event-triggered control with dynamic output feedback. In Proc. 54th IEEE Conf. on Decision and Control, pages 55 555, 25. [25] Z. Yao and N.H. El-Farra. Resource-aware model predictive control of spatially distributed processes using event-triggered communication. In Proceedings of the 52nd IEEE Conference on Decision and Control, pages 3726 373, Florence, Italy, 23.