Distributed Event-Based Control for Interconnected Linear Systems

Similar documents
Distributed Event-Based Control Strategies for Interconnected Linear Systems

Chapter 7 Distributed Event-Based Control for Interconnected Linear Systems

An Event-Triggered Consensus Control with Sampled-Data Mechanism for Multi-agent Systems

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

Control of Multi-Agent Systems via Event-based Communication

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

Event-Triggered Control for Synchronization

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

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

Stabilization of Large-scale Distributed Control Systems using I/O Event-driven Control and Passivity

Event-Triggered Decentralized Dynamic Output Feedback Control for LTI Systems

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

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

Event-triggered Control for Discrete-Time Systems

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

Decentralized Event-triggered Broadcasts over Networked Control Systems

Event-Triggered Broadcasting across Distributed Networked Control Systems

A Simple Self-triggered Sampler for Nonlinear Systems

On a small-gain approach to distributed event-triggered control

Event-based control of input-output linearizable systems

ON SEPARATION PRINCIPLE FOR THE DISTRIBUTED ESTIMATION AND CONTROL OF FORMATION FLYING SPACECRAFT

Robust Event-Triggered Control Subject to External Disturbance

arxiv: v2 [math.oc] 3 Feb 2011

Automatica. Event-based broadcasting for multi-agent average consensus. Georg S. Seyboth a,1, Dimos V. Dimarogonas b, Karl H. Johansson b.

Event-based Stabilization of Nonlinear Time-Delay Systems

Floor Control (kn) Time (sec) Floor 5. Displacement (mm) Time (sec) Floor 5.

NOWADAYS, many control applications have some control

MOST control systems are designed under the assumption

Robust Connectivity Analysis for Multi-Agent Systems

On event-based PI control of first-order processes

Discrete Event-Triggered Sliding Mode Control With Fast Output Sampling Feedback

LMI-Based Synthesis for Distributed Event-Based State Estimation

Encoder Decoder Design for Event-Triggered Feedback Control over Bandlimited Channels

Event-triggered control subject to actuator saturation

Event-Triggered Communication and Control of Networked Systems for Multi-Agent Consensus

Bisimilar Finite Abstractions of Interconnected Systems

Comparison of Periodic and Event-Based Sampling for Linear State Estimation

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

AN EVENT-TRIGGERED TRANSMISSION POLICY FOR NETWORKED L 2 -GAIN CONTROL

Hybrid Systems Course Lyapunov stability

Introduction. Introduction. Introduction. Standard digital control loop. Resource-aware control

Decentralized Stabilization of Heterogeneous Linear Multi-Agent Systems

Communication constraints and latency in Networked Control Systems

Event-Triggered Communication and Control of Network Systems for Multi-Agent Consensus

An event-triggered distributed primal-dual algorithm for Network Utility Maximization

Dynamical Decentralized Voltage Control of Multi-Terminal HVDC Grids

A State-Space Approach to Control of Interconnected Systems

SUCCESSIVE POLE SHIFTING USING SAMPLED-DATA LQ REGULATORS. Sigeru Omatu

MULTI-AGENT TRACKING OF A HIGH-DIMENSIONAL ACTIVE LEADER WITH SWITCHING TOPOLOGY

Distributed Randomized Algorithms for the PageRank Computation Hideaki Ishii, Member, IEEE, and Roberto Tempo, Fellow, IEEE

Lecture 4: Introduction to Graph Theory and Consensus. Cooperative Control Applications

Distance-based Formation Control Using Euclidean Distance Dynamics Matrix: Three-agent Case

Lectures 25 & 26: Consensus and vehicular formation problems

Encoder Decoder Design for Event-Triggered Feedback Control over Bandlimited Channels

Structural Consensus Controllability of Singular Multi-agent Linear Dynamic Systems

A Robust Event-Triggered Consensus Strategy for Linear Multi-Agent Systems with Uncertain Network Topology

Disturbance Attenuation for a Class of Nonlinear Systems by Output Feedback

IMPULSIVE CONTROL OF DISCRETE-TIME NETWORKED SYSTEMS WITH COMMUNICATION DELAYS. Shumei Mu, Tianguang Chu, and Long Wang

Stability Analysis of Stochastically Varying Formations of Dynamic Agents

STATE AND OUTPUT FEEDBACK CONTROL IN MODEL-BASED NETWORKED CONTROL SYSTEMS

A Decentralized Stabilization Scheme for Large-scale Interconnected Systems

Stability Analysis of a Proportional with Intermittent Integral Control System

arxiv: v2 [cs.sy] 17 Sep 2017

Distributed Receding Horizon Control of Cost Coupled Systems

Formation Control and Network Localization via Distributed Global Orientation Estimation in 3-D

Australian National University WORKSHOP ON SYSTEMS AND CONTROL

Consensus of Information Under Dynamically Changing Interaction Topologies

Discrete-time Consensus Filters on Directed Switching Graphs

Event-Triggered Control for Linear Systems Subject to Actuator Saturation

Effects of time quantization and noise in level crossing sampling stabilization

Observer-based quantized output feedback control of nonlinear systems

Global stabilization of feedforward systems with exponentially unstable Jacobian linearization

Distributed Algebraic Connectivity Estimation for Adaptive Event-triggered Consensus

Time and Event-based Sensor Scheduling for Networks with Limited Communication Resources

A Hybrid Systems Approach to Trajectory Tracking Control for Juggling Systems

Consensus Seeking in Multi-agent Systems Under Dynamically Changing Interaction Topologies

DESIGN OF OBSERVERS FOR SYSTEMS WITH SLOW AND FAST MODES

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

Event-based control of nonlinear systems: An input-output linearization approach

STRUCTURED SPATIAL DISCRETIZATION OF DYNAMICAL SYSTEMS

Output Adaptive Model Reference Control of Linear Continuous State-Delay Plant

Distributed Optimization over Networks Gossip-Based Algorithms

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

Graph and Controller Design for Disturbance Attenuation in Consensus Networks

Network Reconstruction from Intrinsic Noise: Non-Minimum-Phase Systems

Decentralized Formation Control including Collision Avoidance

Distributed Coordinated Tracking With Reduced Interaction via a Variable Structure Approach Yongcan Cao, Member, IEEE, and Wei Ren, Member, IEEE

Non-Collision Conditions in Multi-agent Robots Formation using Local Potential Functions

On Identification of Cascade Systems 1

AN EXTENSION OF GENERALIZED BILINEAR TRANSFORMATION FOR DIGITAL REDESIGN. Received October 2010; revised March 2011

Level Crossing Sampling in Feedback Stabilization under Data-Rate Constraints

Feedback Control CONTROL THEORY FUNDAMENTALS. Feedback Control: A History. Feedback Control: A History (contd.) Anuradha Annaswamy

Appendix A Prototypes Models

Patterned Linear Systems: Rings, Chains, and Trees

ADAPTIVE control of uncertain time-varying plants is a

Quantized average consensus via dynamic coding/decoding schemes

Distributed Fault Detection for Interconnected Second-Order Systems with Applications to Power Networks

NETWORKED control systems (NCS), that are comprised

Structured State Space Realizations for SLS Distributed Controllers

On the complexity of maximizing the minimum Shannon capacity in wireless networks by joint channel assignment and power allocation

Transcription:

211 5th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC Orlando, FL, USA, December 12-15, 211 Distributed Event-Based Control for Interconnected Linear Systems M Guinaldo, D V Dimarogonas, K H Johansson, J Sánchez, S Dormido Abstract This paper presents a distributed event-based control strategy for a networked dynamical system consisting of N linear time-invariant interconnected subsystems Each subsystem broadcasts its state over the network according to some triggering rules which depend on local information only The system converges to an adjustable region around the equilibrium point under the proposed control design, and the existence of a lower bound for the broadcasting period is guaranteed The effect of the coupling terms over the region of convergence and broadcasting period lower bound is analyzed, and a novel model-based approach is derived to reduce the communications Simulation results show the effectiveness of the proposed approaches and illustrate the theoretical results I INTRODUCTION Event-based methods invoke a communication between the components of a control loop only when something significant occurred in the system [1], [2] In recent work, event- and self-triggered policies have been proposed to use more efficiently the limited bandwith available in networked control [3]-[8] When the number of systems increases, the bandwidth saving becomes more important The centralized control of large-scale systems would require an accurate knowledge of the interaction between the subsystems, also called agents, and the consumption of a lot of network resources On the other hand, in a distributed control approach, each agent could collect information from its neighboring nodes and trigger controller updates according to some rules The limitations imposed by the network renders the frequency at which the system communicates an important issue A reduction in the transmission frequency implies bandwidth saving but a certain level of performance must be guaranteed A more natural choice is to transmit only when a certain condition depending on the state is satisfied, that is, when an event occurs Distributed event-triggered control for multi-agent system has already been examined in [9] In [1], distributed event-based control for average consensus problems for both single- and double-integrator multi-agent systems is proposed We extend here this event-based control strategy M Guinaldo, J Sánchez and S Dormido are with the Department of Computer Science and Automatic Control, Spanish University of Distance Education (UNED, Spain mguinaldo,jsanchez,sdormido@diaunedes D V Dimarogonas and K H Johansson are with the School of Electrical Engineering, Royal Institute of Technology (KTH, Sweden dimos,kallej@kthse The work of first, fourth and fifth authors was supported in part by Spanish Ministry of Science and Technology under Project DPI27-6168 The work of the second and third author was supported by the Swedish Research Council (VR, the Swedish Governmental Agency for Innovation Systems (VINNOVA and the Swedish Foundation for Strategic Research (SSF The second author is also supported by the Swidish Research Council through VR contract 29-3948 to interconnected linear systems, with symetric interconnections The agents communicate through a network and the overall system converges to non-cooperative equilibrium points, whereas in [1] the equilibria are cooperative Thus our contribution sums up to a novel distributed eventbased control design for interconnected linear systems A neighboring relationship is defined in the sense of dynamical interaction between the nodes The distributed control of interconnected dynamical systems has been discussed in the past [11] However, the timing issue imposed by the network makes necessary a redesign of the control structure A similar idea was presented in [7] Each subsystem broadcasts its state to its neighbors only at event times With regards to [7], the main contribution of this work is that the triggering mechanism does not continuously depend on the state of the system but on the error between the current and the latest broadcasted state In a first approach, the control law is updated whenever the agent sends or receives a new measurement value, and so both the control law and the broadcasted states are piecewise constant functions In a second approach, the broadcasted states are used by each agent to generate the control signal according to a local model of its neighborhood This leads to substantial reduction in the number of events if the model is accurate enough Different triggering conditions are proposed to guarantee the convergence of the system to an arbitrary small region around the equilibrium and the existence of a state independent strictly positive lower bound for the broadcast period The rest of the paper is organized as follows: Section II contains the problem statement for this work The eventbased control strategy is presented in Section III The effect of the coupling terms over the system stability is analyzed in Section IV Section V presents the model-based extension of the work Numerical simulations in Section VI show the efficiency of the proposed strategy with respect to previous results The conclusions in Section VII end the paper II PROBLEM STATEMENT Consider a system of N linear time-invariant subsystems The dynamics of each subsystem are given by: ẋ i (t = A i x i (t B i u i (t H ij x j (t (1 i = 1,, N, where N i is the set of neighbors of subsystem i and H ij is the interaction term between agent i and agent j We assume that neighboring is a symmetric relation, and so H ij = H ji The state x i has dimension n i, u i is the m i -dimensional local control signal of agent i, and A i, B i and H ij are matrices of appropriate dimensions 978-1-61284-81-3/11/$26 211 IEEE 2553

A digital communication network is used, and so every subsystem can only broadcast its state to its neighbors in a discrete-time manner The control law is given by: u i (t = K i x i (t L ij x j (t, i = 1,, N (2 where K i is the feedback gain for the nominal subsystem i, ie, we assume that A i B i K i is Hurwitz, L ij is a set of decoupling gains, and x j (t is the latest state broadcasted by agent j at time t The times at which the agents broadcast their state generates a sequence of broadcasting times {t i k } k=, where ti k < ti k1 for all k Let also n = N n i i= Let us define the error e i as e i = x i x i, and rewrite (1 in terms of e i and the control law (2: ẋ i (t = A K,i x i (tb i K i e i (t ( ij x j (tb i L ij e j (3 i = 1,, N, where A K,i = A i B i K i, and ij = B i L ij H ij We first assume that the perfect decoupling condition ij = i, j holds In this case, (3 becomes ẋ i (t = A K,i x i (t B i K i e i (t B i L ij e j We also define A K = diag(a K,1, A K,2,, A K,N, B = diag(b 1, B 2,, B N, M = B 1 K 1 H 12 H 1N H 21 B 2 K 2 H 2N and ˆK = H N1 H N2 B n K N K 1 L 12 L 1N L 21 K 2 L 2N L N1 L N2 K N Note that M = B ˆK Define the stack vectors x = (x T 1, x T 2,, x T N T and e = (e T 1, e T 2,, e T N T as the state and error vectors of the overall system, respectively Thus ẋ(t = A K x(t Me(t = A K x(t B ˆKe(t (4 As the broadcasted states x i remain constant between consecutive events, ė(t in each interval is given by: ė(t = A K x(t Me(t = A K x(t B ˆKe(t (5 III EVENT-BASED CONTROL STRATEGY The occurrence of an event is defined by trigger functions f i which depend on local information of agent i only and take values in R The sequence of broadcasting times t i k are determined recursively by as t i k1 = inf{t : t > ti k, f i(t > } The next subsections present some results for the problem stated above under different trigger functions A Static trigger function In this subsection, we first propose a set of static trigger functions as follows f i (e i (t = e i (t c (6 where c is a positive constant Note that the trigger function for each subsystem only depends on its state The following theorem proves that system (4 with trigger functions (6 asymptotically converges to a region around the equilibrium point which, without loss of generality, is assumed to be (,, T The functions (6 bound the errors by c, since an event is triggered as soon as the norm of e i becomes larger than c Assumption 1: We assume that A K,i, i = 1,, N is diagonalizable so that the Jordan form of A K,i is diagonal and its elements are the eigenvalues of A K,i, λ k (A K,i k = 1,, n This assumption facilitates the calculations, but the extension to general Jordan blocks is straightforward Theorem 2: Consider the closed-loop system (4 and trigger functions of the form (6 Then, for all initial conditions x( R n, and t >, it holds x(t k ( M Nc λ max(a K e λmax(a K t ( x( M Nc λ max(a K (7 where λ max (A K denotes the maximum real part of the eigenvalues of A K, and k is a positive constant k = V V 1, where V is the matrix of the eigenvectors of A K Furthermore, the closed-loop system does not exhibit Zeno behavior Proof: The analytical solution of (4 is given by x(t = e A Kt x( e A K(t τ Me(τdτ Remark 3: The integrability of e(t is justified by the definition of f i (e i (t, which guarantees that e i (t cannot be updated to zero immediately after it had done so Thus there is an arbitrarily small, yet positive lower bound on the interexecution times Thus the right hand side of (4 is piecewise continuous Then, the state is bounded by x(t e A Kt x( e A K(t τ Me(τdτ e A Kt x( e A K(t τ Me(τdτ e A Kt x( e A K(t τ M e(τ dτ The matrix A K is diagonalizable by construction Thus A K = V DV 1 = e A K = V e D V 1 (8 where D is the diagonal matrix of the eigenvalues of A K and V is the matrix with the corresponding eigenvectors as its columns Denote as λ max (A K the maximum real part of the eigenvalues of A K Thus we can bound e A Kt V V 1 e λmax(a Kt and the state as x(t V V 1 (e λmax(a Kt x( e λmax(a K(t τ M e(τ dτ The trigger condition f i (e i (t > enforces e i (t c so that e(t ( Nc Defining k = V V 1, we have x(t k e λmax(akt x( M Nc λ max(a K (eλmax(akt 1, which can be rewritten as (7 since the eigenvalues of A K all have negative real part (λ max (A K < 2554

In order to prove that Zeno behavior is excluded, let s assume that agent i s latest event trigger occurs at t = t > Then e i (t =, and so f i ( = c < Therefore agent i cannot trigger at the same time instant Between two consecutive events it holds that ė i (t = ẋ i (t From definition of the error e i (t e(t, and from (5 we derive ė(t A K x(t M e(t A K x(t M Nc ( From (7 it follows that the state is bounded by x(t M Nc k λ max(a K x(, t t Denote this bound as x max,1 Then for any t between t and the next event time for agent i, e i (t e(t t ė(τ dτ ( A K x(τ M Ncdτ ( A K x max,1 t M Nc(t t From (8, it is also derived that A K V D V 1 k λ min (A K, where λ min (A K is the eigenvalue of A K with largest modulus If all eigenvalues are real, λ min (A K is the minimum eigenvalue of A K The next event is not triggered before e i (t reaches the value of c Thus a lower bound on the inter-event times is c τ = k 2 λmin(a K x( M ( Nc k 2 λ min(a K λ max(a K 1 (9 which is strictly positive Thus Zeno behavior is excluded Remark 4: The norm of A K is computed as the spectral norm Since A K is diagonalizable, the norm of D can be bounded by the largest modulus of the eigenvalues ( D λ min (A K If they are all real, the largest modulus of the eigenvalues is the minimum eigenvalue since they all have negative real part B Time-dependent trigger condition This subsection presents a set of time-dependent trigger functions defined as f i (e i (t = e i (t (c e αt >, α > (1 where c, > When the parameters α and are adequately selected, the time-dependency can decrease the number of events without degrading the performance, meanwhile c guarantees the convergence to an arbitrary small region The following theorem holds: Theorem 5: Consider the closed-loop system (4 and the trigger functions of the form (1, with < α < λ max (A K Then, for all initial conditions x( R n and t >, it holds x(t k ( M Nc M N( λ max(a K e λmax(a K t ( x( c λ max(a K λ max(a K α e αt M N λ max(a K α (11 and the closed-loop system does not exhibit Zeno behavior Proof: Proceeding as before we get x(t ( k x( e λmax(a Kt t e λmax(ak(t τ M e(τ dτ Note that now we can compute e(τ N(c e ατ, by the definition of the trigger function Thus ( t x(t k e λmax(a K(t τ N(c e ατ M dτ ( e λmax(akt x( = k M Nc λ max(a K (1 e λmax(ak t M N λ max(a K α (e αt e λmax(ak t x( e λmax(a K t, which by reordering terms proves the first part We next show that broadcasting period is lower bounded Specifically, (11 can be bounded by x(t k ( x( e λmax(ak t M Nc λ max (A K M λ max (A K α e αt (12 Denote this bound as x max,2 (t Let s prove now that the Zeno behavior is excluded, that is, there exists a positive lower bound for the inter-event times Proceeding as before, it holds that ė(t A K x(t M e(t A K x(t M N(c e αt k 2 λ min (A K ( M Nc λ max(a K x( e λmax(a K t M N λ max(a K α e αt M N(c e αt Denoting k 1 = k 2 λ min (A K x(, k 2 = M N ( k 2 λmin(a K λ max(a K α 1 and k 3 = M Nc ( k 2 λmin(a K λ max(a K 1, it follows that ė(t k 1 e λmax(a K t k 2 e αt k 3 (13 Assume that c Then, k 3 and ė(t k 1 k 2 k 3 The fact that e i (t e(t allows to bound the error of agent i as e i (t e(t ė(τ dτ (k 1 k 2 t t k 3 dτ = (k 1 k 2 k 3 (t t The trigger condition is not fulfilled before e i (t = c c e αt Thus a lower bound τ on the inter-execution time is given by τ = c /(k 1 k 2 k 3 (14 This is a positive quantity, and so, the inter-event times are lower bounded Let s assume now the case c = In that case k 3 = Then, the state is bounded by x(t k ( x( e λmax(ak t M N λ max(a K α (e αt e λmax(ak t, and so the overall system converges asymptotically to the equilibrium point In order to determine the lower bound of the inter-event times for this case, let us bound (13 with k 3 = as ė(t k 1 e λmax(ak t k 2 e αt k 1 e λmax(a K t k 2 e αt, since t < t With that bound and considering that e i (t e(t, it follows that e i (t k 1 e λmax(a K t k 2 e αt dτ = t (k 1 e λmax(a K t k 2 e αt (t t According to (1 with c =, the next event will not be triggered before e i (t = e αt Thus, a lower bound on the inter-event intervals is given by ( k1 e (α λmax(a K t k2 τ = e ατ (15 2555

Fig 1 Graphical solution of (15 The right hand side of (15 is always positive Moreover, for α < λ max (A K the left hand side is strictly positive as well, and the term in brackets is upper bounded by k2k1 and lower bounded by k 2 /, and this yields to a positive value of τ for all t The existence of the solution τ can also be depicted graphically (see Figure 1 The solution is given by the intersection of the exponential curve and the straight line between the two bounds whose slope depends on t Thus, there is no Zeno behavior IV COUPLING STABILIZATION At the beginning of Section II, it has been assumed that for each i, A K,i is Hurwitz The motivation of this section is to relax the previous condition Specifically, the case when the design of the nominal control law makes the system closedloop stable due to the interconnections but each isolated subsystem can still be unstable, is presented Consider (1 This initial set of equations can be rewritten in terms of the state of the overall system as ẋ(t = Âx(t Bu(t, where u = (u T 1, u T 2,, u T N and  = A 1 H 12 H 1N H 21 A 2 H 2N H N1 H N2 A N Assume that we can design a state-feedback controller based on the latest broadcasted state x, that is u(t = ˆK x(t K 11 K 12 K 1N Now ˆK is defined as ˆK K 21 K 22 K 2N = K N1 K N2 K NN that renders the nominal system given by ẋ(t = ( B ˆKx(t = ÂKx(t stable and ÂK diagonalizable However, A i B i K ii is not necessarily Hurwitz in this case Then we have ẋ(t = ÂKx(t B ˆKe(t (16 The following can then be stated: Theorem 6: The state norm of (16 with trigger functions (1, and for all initial conditions x( R n and t >, fulfills the following condition x(t ˆk ( B ˆK Nc B ˆK N( λ max(âk e λmax(âk t ( x( c ˆλ max(âk ˆλ max(âk α e αt B ˆK N ˆλ max(âk α where ˆλ max (ÂK represents the maximum real part of the eigenvalues of  K Furthermore, the closed-loop system does not exhibit Zeno-behavior Proof: The solution of (16 is x(t = eâkt x( eâk(t τ B ˆKe(τdτ Using similar calculations as in the previous sections, the state norm can be bounded as x(t eâkt x( eâk(t τ B ˆKe(τdτ The matrix ÂK is stable and thus all its eigenvalues have negative real part Moreover,  K is diagonalizable and can be decomposed as  K = ˆV ˆD ˆV 1, where ˆD is the diagonal matrix and ˆV contains the eigenvectors Then, by defining ˆk = ˆV 1 ˆV we get that eâkt ˆk e ˆλ max(âk t, where ˆλ max (ÂK is maximum real part of the eigenvalues of ÂK Thus, assuming trigger functions as in (1 with c,, we have x(t ˆk (e ˆλ max(âk t x( e ˆλ max(âk (t τ B ˆK N(c e αt dτ Solving the integral ( and grouping terms, it follows that x(t ˆk B ˆK ( Nc e ˆλ max(âk t x( ˆλ max(âk B ˆK N ( c c 1 ˆλ max(âk ˆλ max(âk α, which proves the first part of the e αt B ˆK N ˆλ max(âk α theorem Similar calculations to the previous sections yield a lower bound for the broadcasting period of τ = c /(ˆk 1 ˆk 2 ˆk 3, where ˆk1 = ˆk 2 ˆλ min (ÂK x(, ˆk 2 = B ˆK N ( ˆk2 ˆλ min(âk ˆλ max(âk α 1 and ˆk 3 = B ˆK ( ˆk2 Nc ˆλ min(âk 1 Hence, the ˆλ max(âk system does not exhibit Zeno-behavior Remark 7: The case c = can be studied as in Section III-B In that case, ˆk3 = and the lower bound on the broadcasting period is the solution of ( ˆk1 e (α ˆλ max(a K t ˆk 2 τ = e ατ (17 The existence of a positive solution in (17 can be proved graphically as in Figure 1 V MODEL-BASED CONTROL The event-based strategy analyzed previously is based on a control law which maintains its value between two consecutive events and is based on the latest broadcasted state One alternative to this control law can be achieved in the event that each agent has knowledge of the dynamics of its neighborhood In particular, let us define the control law for each agent based on a model as u i (t = K i x i (t L ij x j (t, where x i now represents the state estimation of x i given by the model (Ãi, B i of each isolated agent x i (t = ÃK,i x i (t, where à K,i = Ãi B i K i Let us also define ÃK = diag(ãk,1,, ÃK,n The error e i is defined as previously and is also reset at events occurrence Let s introduce a sequence of functions ˆx k,i : R R ni supported over the 2556

time interval between two consecutive events for agent i Let s denote this interval as [t i k, ti1 k The value of ˆx k,i at time t R is x i (t i k eãk,i(t t i k if t [t i k, ti1 k and zero otherwise With this notation, the state estimation t is x i (t = ˆx k,i (t (18 k= In this approach, if the difference between the system state and the model differs from a given quantity, which depends on the trigger function, an event is triggered and the model is updated to the state at the event time If we consider the trigger function defined in (1, the state will be also bounded by (11 However, the lower bound for the inter-event time will have a different expression Assumption 8: Let be ĀK = ÃK A K be the difference between the model and the real plant closed loop dynamics We assume that the following is satisfed: N(c /k λ max(a K M λ max(a K α x( M Nc < A K ĀK ÃK (19 Theorem 9: If assumptions 8 holds, the lower bound of the broadcasting period for the system (4 when the control law for each agent is based on state estimations of the form (18, with triggering functions (1, < α < λ max (A K, is greater than (14 Proof: Define the overall system state estimation as x(t = ( x T 1,, x T N Let s prove that the bound for the inter-events time is larger in the model-based approach We have ė(t = x(t ẋ(t = ÃK x(t (A K x(t Me(t = (ÃK A K x(t (ÃK Me(t = ĀKx(t (ÃK Me(t Then, ė(t ĀK x(t ÃK M e(t ĀK x(t ÃK M N(c e αt Assume that the last event occurred at a time t t and consider the case when c, It follows that c e αt c e αt c Moreover, the state norm can be bounded as in (12, and so: ( x(t k x( M Nc λ max (A K M Then e i (t e(t ( ( ĀK k x( M Nc ÃK M N(c (t t λ max(a K λ max (A K α t ė(τ dτ M N λ max(a K α The next event will not occur before e i (t c c e αt This condition gives a lower bound for the broadcasting period τ that will be larger than (14 if ĀK k ( x( M Nc ÃK λ max(a K M λ max(a K α M N(c < A K k ( x( M Nc λ max(a K M N λ max(a K α M N(c, or equivalently ( ÃK M M ( N(c < ( A K ĀK x( Fig 2 Simulation result with trigger functions (6, c = 5 M Nc λ max(a K M λ max(a K α N(c λ max(a K M λ max(a K α After some manipulations < k A K ĀK ÃK M M x( M Nc (2 The denominator on the right hand side is bounded as ÃK M M ÃK M M = ÃK If Assumption 8 holds, (2 is fulfilled, and the broadcasting period lower bound is larger for the model-based approach Remark 1: Assumption 8 is not a strong assumption since when ĀK goes to zero, ÃK A K, and the right hand side of (19 can be approximated to one For initial conditions satisfying k x > N(c, it holds N(c k < x( M Nc λ max(a K M λ max(a K α VI SIMULATION RESULTS This section presents some simulation results in order to demonstrate the event-based control strategy The system considered is a collection of N inverted pendulums of mass m and length l coupled by springs with rate k Each subsystem can be described as follows: ( 1 ẋ i = q l aik ml 2 x i ( 1 ml 2 u i ( h ijk ml 2 where x i = ( T x i1 x i2, ai is the number of springs connected to the ith pendulum and h ij = 1, j N i and otherwise K i and L ij gains are designed to decouple the system and place the poles at -1, -2 This yields ( 3ml 2 the control law u i = x i ( k xj, where x i = ( x T i1 x i2 In the following, the system parameters are set to g = 1, m = 1, l = 2 and k = 5, as in [7] A Static trigger function a i k ml2 4 (8 4g l The output of the system and the sequence of events for N = 4 with trigger functions (6 with c = 5 is shown in Figure 2 for initial conditions x( = ( π/2 π/3 π/2 π/4 The lower graph shows the generation of events for each agent, whereas the upper graph depicts their output x j 2557

TABLE I INTER-EVENT TIMES FOR DIFFERENT N VALUES GIVEN IN SECONDS Trig cond (1, Trig cond (1, Trig cond approach III-B approach V of [7] N {τk i} min {τk i}mean {τ k i} min {τk i}mean {τ k i}mean 1 263 688 185 9 1149 5 25 62 184 93 1175 1 185 627 211 978 1152 15 184 664 21 975 118 2 183 65 181 967 1177 Fig 3 Simulation result with trigger functions (1, c = 1, = 5 and α = 7 Fig 4 Simulation result with trigger functions (1 for the approaches of the sections III-B and V B Time-dependent trigger function Figure 3 shows the system response under the previously described conditions but with trigger functions (1 with parameters c = 1, = 5 and α = 7 The convergence of the system to the equilibrium point is guaranteed whereas the number of events generated (see the lower graph decreases significantly, especially for small values of time C Model based control In Section V a model-based approach was presented as a means of improving the event-based control of Section III Figure 4 compares the output of agent 1 when a simulation under the conditions of the previous section is performed for both approches Additionally, a disturbance is induced to the agent at t = 25s The lower graph shows the evolution of the broadcasting period We observe how the model based approach gives larger values, especially around the equilibrium point Table I extends this study for a larger N Several simulations were performed for different initial conditions for each value of N Mininum and mean values of the inter-event times (τk i were calculated for the set of the simulations with the same number of agents We see that the model-based approach gives around 5% larger broadcasting periods, remaining almost constant when N increases If we compare these results to [7], we see that the proposed scheme can provide around six times larger τk i For example, for N = 1, trigger functions of the form (1 give mean values of τk i of 627 and 978 for the approaches of sections III-A and V, respectively, while the trigger functions in [7] gives 1152 Though the approach in [7] ensures asymptotic stability, we guarantee the convergence to an arbitrary small region around the origin with c Alternatively, one can choose c = to get rid of this drawback VII CONCLUSIONS We presented a novel distributed event-based control strategy for linear interconnected subsystems The events are generated by the agents based on local information only, broadcasting their state over the network The proposed trigger functions preserve the desired convergence properties and guarantee the existence of a strictly positive lower bound for the broadcast period, excluding the Zeno behavior A model-based approach was also presented as a means of reducing the number of events The contribution of the current paper with respect to previous work are verified through computer simulations The inclusion in the formalism of network problems as time-delays and dropouts, the consideration of the used protocol, and the application to discrete-time systems are part of the future work REFERENCES [1] Åstrom, K J (27 Astrolfi, A & editors, L M (Eds Event based control Springer Verlag [2] Lunze, J and Lehmann, D (21 A state-feedback approach to eventbased control Automatica, 46(1, 211-215 [3] Åstrom, K, Bernhardsson, B (22 Comparison of Riemann and Lebesgue sampling for first order stochastic systems IEEE Conference on Decision and Control, pp 211216 [4] Tabuada, P (27 Event-triggered real-time scheduling of stabilizing control tasks IEEE Transactions on Automatic Control, 52(9 [5] Cervin, A, Henningsson, T (28 Scheduling of event-triggered controllers on a shared network 47th IEEE Conference on Decision and Control, pp 361366 [6] Mazo, M, Tabuada, P (28 On event-triggered and self-triggered control over sensor/actuator networks 47th IEEE Conference on Decision and Control, pp 43544 [7] Wang, X and Lemmon, M D (28 Event-Triggered Broadcasting across Distributed Networked Control Systems American Control Conference, pp 31393144 [8] Rabi, M, Johansson, K H, Johansson, M (28 Optimal stopping for event-triggered sensing and actuation 47th IEEE Conference on Decision and Control, pp 3673612 [9] Dimarogonas, D V, Johansson, K H (29 Event-Triggered Control for Multi-Agent Systems 48th IEEE Conference on Decision and Control, pp 7131-7136 [1] Seyboth, G S,Dimarogonas, D V, Johansson, K H (211 Control of Multi-Agent Systems via Event-based Communication 18th IFAC World Congress [11] Šiljak, D (1991 Decentralized Control of Complex Systems Cambridge, MA: Academic Press 2558