An Introduction to Eventtriggered and Selftriggered Control


 Milton Conley
 1 years ago
 Views:
Transcription
1 An Introuction to Eventtriggere an Selftriggere Control W.P.M.H. Heemels K.H. Johansson P. Tabuaa Abstract Recent evelopments in computer an communication technologies have le to a new type of largescale resourceconstraine wireless embee control systems. It is esirable in these systems to limit the sensor an control computation an/or communication to instances when the system nees attention. However, classical sampleata control is base on performing sensing an actuation perioically rather than when the system nees attention. This paper provies an introuction to event an selftriggere control systems where sensing an actuation is performe when neee. Eventtriggere control is reactive an generates sensor sampling an control actuation when, for instance, the plant state eviates more than a certain threshol from a esire value. Selftriggere control, on the other han, is proactive an computes the next sampling or actuation instance ahea of time. The basics of these control strategies are introuce together with a iscussion on the ifferences between state feeback an output feeback for eventtriggere control. It is also shown how event an selftriggere control can be implemente using existing wireless communication technology. Some applications to wireless control in process inustry are iscusse as well. I. INTRODUCTION In toay s stanar control textbooks, e.g. [1], [2], perioic control is presente as the only choice for implementing feeback control laws on igital platforms. However, questions relate to perioic vs aperioic implementations have gone in an out of fashion since feeback control loops starte being implemente on computers. Some early examples inclue the following references [3], [4], [5], [6], [7], [8]. This paper is concerne with the latest wave of the perioic vs aperioic control ebate or, as we prefer to call it, perioic vs eventbase control. There are two funamental reasons for the resurgence of this ebate in the last 5 or 6 years. The first, is the increasing popularity of (share) wire an wireless networke control systems that raise the importance of explicitly aressing energy, computation, an communication constraints when esigning feeback control Maurice Heemels is with the Hybri an Networke Systems group, Department of Mechanical Engineering, Einhoven Univeristy of Technology, the Netherlans; Karl H. Johansson is with ACCESS Linnaeus Center, Royal Institute of Technology, Sween; Paulo Tabuaa is with Department of Electrical Engineering, University of California, Los Angeles, CA, USA. s: The work of the Maurice Heemels was partially supporte by the Dutch Science Founation (STW) an the Dutch Organization for Scientific Research (NWO) uner the VICI grant Wireless controls systems: A new frontier in automation. The work of Karl Johansson was partially supporte by the Knut an Alice Wallenberg Founation an the Sweish Research Council. Maurice Heemels an Karl Johansson were also supporte by the European 7th Framework Programme Network of Excellence uner grant HYCON The work of Paulo Tabuaa was partially supporte by NSF awars an loops. Eventbase control offers some clear avantages with respect to perioic control when hanling these constraints but it also introuces some new theoretical an practical problems. The secon reason is the appearance of two papers [9], [1] that highlighte some of the avantages of eventbase control an motivate the evelopment of the first systematic esigns of eventbase implementations of stabilizing feeback control laws, e.g.,[11], [12], [13], [14]. Since then, several researchers have improve an generalize these results an alternative approaches have appeare. In the meantime, also socalle selftriggere control [15] emerge. Eventtriggere an selftriggere control systems consists of two elements, namely, a feeback controller that computes the control input, an a triggering mechanism that etermines when the control input has to be upate again. The ifference between eventtriggere control an selftriggere control is that the former is reactive, while the latter is proactive. Inee, in eventtriggere control a triggering conition base on current measurements is continuously monitore an when violate, an event is triggere. In selftriggere control the next upate time is precompute at a control upate time base on preictions using previously receive ata an knowlege on the plant ynamics. Most of the existing eventtriggere control approaches employ the assumption that the full state information is available, even though in most practical situations this assumption is violate. As the separation principle oes not hol in general for eventtriggere control systems [16], outputbase schemes are inee har to esign an optimize. Recently, some work on outputbase eventtriggere control emerge an in this paper we will iscuss a few of these solutions. We istinguish these solutions base on their time sets an the aopte control laws. The nature of the time sets will ifferentiate existing eventtriggere control strategies base on the use of either continuoustime or iscretetime controllers/eventtriggering mechanisms. This ifferentiation oes not require much explanation, although one comment is relevant. In many works stuying iscretetime eventtriggere control schemes, the plant is also consiere to be of a iscretetime nature. Clearly, this allows to obtain irect parallels between some of the continuoustime eventtriggere control approaches an the iscretetime counterparts. However, it is more interesting to take a more sampleata like approach on iscretetime eventtriggere control schemes in the sense that the behavior is stuie when this controller interacts with a continuoustime plant. Also stability an performance properties have to be consiere then in a continuoustime setting. In this setup the close loop consists of a continuoustime plant
2 an an eventtriggere control strategy, which is a iscretetime controller operating in a perioic timetriggere manner. In this context, sometimes the term perioic eventtriggere control is use, see [17], [18]. Regaring the ifferentiation on the nature of the outputbase control law, we istinguish the approaches base on whether there is an observer or not. In the former cases we will talk about an observerbase control law, an in the latter about a irect outputbase law. Base on an observer, ifferent strategies can be implemente. In most cases the observer reconstructs the plant state using solely eventbase information in the sense that it only applies innovation steps exploiting receive measurements at the event times, although some schemes also exploit the information present at synchronous (timetriggere) instants of time at which no events occur. The latter is, for instance, the case in [19], [2], [21]. In fact, [19] states literally absence of an event is however information that can be use by the observer, see also [22]. The observerbase schemes can still be categorize further base on the fact if the corresponing eventtriggering conitions use information of the observer such as the estimate state, as, e.g., in [2], [23], [24] or not [21], [25]. The former schemes typically run the observer at the sensor sie using essentially all measurements available, while at the controller sie a preictorlike structure also prouces a state estimate, which is base on only sporaically receive information from the sensor system (incluing the observer) base on the eventtriggering mechanisms. Often the eventtriggering mechanisms provie new information to the preictor when the ifference between the state estimate of the preictor eviates too much from the state estimate available in the observer. Next to proviing an introuctory overview on some of the works in the area, the main objective of this paper is to emphasize the key ieas in three ifferent aspects of aperioic control: the basics on an ifferences between eventtriggere an selftriggere control, the use of outputbase eventtriggere control, an eventbase control over wireless communication networks. The outline of the paper is as follows. The basic ieas of eventtriggere control are introuce in Section II. Selftriggere control is iscusse in Section III. Outputbase eventtriggere control is surveye in Section IV followe by exemplary approaches for continuoustime irect outputbase control (Section V) an iscretetime observerbase control (Section VI). Eventtriggere transmission in wireless control systems is iscusse in Section VII. Finally, concluing remarks are given in SectionVIII. II. EVENTTRIGGERED CONTROL In this section we introuce the main ieas of eventtriggere control following [12]. In orer to simplify the presentation we consier the linear case only even though the results in [12] were originally evelope for nonlinear systems. We start with a linear plant t x p = A p x p + B p u, x p R np, u R nu (1) an assume that a linear feeback control law u = Kx p (2) has been esigne renering the ieal closeloop system t x p = A p x p + B p Kx p (3) asymptotically stable, i.e., renering the real part of the eigenvalues of A p + B p K negative. The question that now arises is how to implement the feeback control law (2) on a igital platform. One possibility is to perioically recompute (2) an keep the actuator values constant in between the perioic upates. Rather than using time (the perio) to etermine when (2) shoul be recompute, we are intereste in recomputing (2) only when performance is not satisfactory. One way to efine performance is to use a Lyapunov function for the ieal closeloop system (3). Such a Lyapunov function, that we enote by V (x p ) = x T p P x p for some symmetric an positiveefinite matrix P, satisfies t V (x p(t)) = V (A p + B p K)x p = x T p Qx p, (4) x p where Q is guarantee to be positiveefinite. Since the time erivative of V along the solution of the closeloop system is negative, V ecreases. Moreover, the rate at which V ecreases is specifie by the matrix Q. If we are willing to tolerate a slower rate of ecrease, we woul require the solution of an eventtriggere implementation to satisfy the weaker inequality t V (x p(t)) σx T p Qx p (5) for some σ [, 1[. Note that by choosing σ = 1 (5) becomes (4), while for σ < 1 (5) prescribes a slower rate of ecrease for V. The requirement (5) suggests that we only nee to recompute (2) an upate the actuator signals when (5) is about to be violate, i.e., when (5) becomes an equality. In orer to write such an equality in a convenient manner, we assume the inputs to be hel constant in between the successive recomputations of (2). This is often referre to in the literature as sampleanhol an can be formalize as u(t) = u(t k ) t [t k, t k+1 [, k N, (6) where the sequence {t k } k N represents the instants at which (2) is recompute an the actuator signals are upate. We refer to these instants as the triggering times or execution times. For simplicity, we assume that the process of collecting sensor measurements, recomputing (2) an upating the actuators can be one in zero 1 time. We now 1 This iealize assumption escribes the fact that in many implementations this time is much smaller than the time elapse between the instants t k an t k+1. This assumption is not essential an the intereste reaer can consult [12] for a specific extension of the results when this assumption oes not hol.
3 introuce the error e efine by e(t) = x p (t k ) x p (t) t [t k, t k+1 [, k N. Using this error we express the evolution of the closeloop system uring the interval [t k, t k+1 [ by t x p(t) = A p x p (t) + B p Kx p (t k ) = A p x p (t) + B p Kx p (t k ) + B p K(x p (t) x p (t)) = A p x p (t) + B p Kx p (t) + B p Ke(t). We can now use this expression to rewrite the time erivative of V (x p (t)) as t V (x p(t)) = V (A p + B p K)x p (t) + V B p Ke(t) x p x p = x T p (t)qx p (t) + 2x T p (t)p B p Ke(t) (7) Substituting (7) in inequality (5) we arrive at [ x T p (t) e T (t) ] [ (σ 1)Q P B p K K T B T p P ] [ xp (t) e(t) ]. (8) The triggering times t k can now be efine as the times at which the following equality hols with Ψ = z T (t k )Ψz(t k ) = (9) [ ] (σ 1)Q P Bp K K T Bp T, z(t P k ) = [ ] xp (t k ). e(t k ) The eventtriggere implementation of the feeback control law (2) thus consists in keeping the actuator values constant as long as the triggering conition (9) is not satisfie an recomputing (2) an upating the actuators when the triggering conition (9) is satisfie (assuming z() T Ψz() < ). By changing the matrix Ψ we obtain other quaratic triggering conitions. For instance, in [12] the triggering conition e 2 σ x 2 is use that correspons to the choice [ ] σi Ψ = I where I enotes the ientity matrix. All of these quaratic triggering conitions are esigne so as to guarantee a esire rate of ecay for the Lyapunov function V through an inequality of the form (5). Hence, asymptotical stability an performance, as measure by the rate of ecay of V, are guarantee by the ifferent choices of Ψ in the triggering conition (9). Furthermore, the triggering times implicitly efine by (9) will not be equiistant, in general, an thus eventtriggere implementations result in aperioic control. In fact, the set of triggering times {t k } k N can be formally efine by t =, t k+1 = inf{t R t > t k z T (t)ψz(t) = }. Since these instants are only known at execution time, the scheuling of energy, computation, an communication resources for eventtriggering control becomes a very challenging problem. Moreover, the implicit efinition of the times raises the question of the existence of a lower boun τ > for t k+1 t k, k N. The largest value τ for which t k+1 t k τ hols for all k N along all trajectories of interest, is calle the minimal interevent time. If the minimal interevent time is zero, then an eventtriggere implementation will require faster an faster upates an thus cannot be implemente on a igital platform. It was shown in [12] that such minimal interevent time is guarantee to exist even in the nonlinear case uner suitable assumptions. For linear plants an linear statefeeback controllers, the minimum interevent time is always guarantee to exist. Theorem 1 ([12]): Consier the linear plant (1) an linear feeback control law (2) renering the closeloop system (3) asymptotically stable. For any triggering conition (9) with σ [, 1[ there exists τ R + such that t k+1 t k τ for every k N. However, in case outputfeeback controllers are use in a similar setup, the minimal interevent time might be zero an accumulations of eventtimes occur (Zeno behaviour). This was pointe out in [26], see also Section V below. III. SELFTRIGGERED CONTROL Eventtriggere implementations require the constant monitoring of a triggering conition. For some applications this is a reasonable assumption, e.g., when we can use eicate harware for this purpose. Unfortunately, this is not always the case an the relate concept of selftriggere control is an alternative that can be use in such cases. The term selftriggere control was coine by [15] in the context of realtime systems. A selftriggere implementation of the feeback control law (2) has for objective the computation of the actuator values as well as the computation of the next instant of time at which the control law shoul be recompute. When ealing with linear plants an linear controllers we can leverage the closeform expression of the trajectories to evelop selftriggere implementations as we iscuss next. A. ISS selftriggere implementations The results in this section are base on [27], [28], [29]. We start by extening the linear moel (1) with isturbances t x p = A p x p + B p u + B w w, (1) where w R nw is the isturbance. It is well know that if the control law (2) reners the closeloop system (3) asymptotically stable then, in the presence of isturbances, the closeloop system t x p = (A p + B p K)x + B w w (11) is socalle exponentially inputtostate stable. Definition 1 (EISS an GES): The system (11) is sai to be exponentially inputtostate stable (EISS) if there exist λ R +, κ R +, an γ R + such that for any w L an any x() = x R nx it hols for the corresponing trajectory that x(t) κ x e λt + γ w (12)
4 for all t R +. When this inequality hols for w =, the system (3) is sai to be globally exponentially stable (GES). We now escribe a selftriggere implementation of (2) that results in an EISS closeloop system. A selftriggere implementation of the linear stabilizing controller (2) for the plant (1) is given by a map Γ : R nx R + etermining the triggering time t k+1 as a function of the state x(t k ) at the time t k, i.e., t k+1 = t k + Γ(x(t k )). If we enote by τ k the interexecution time τ k = t k+1 t k, we have τ k = Γ(x(t k )). Once the map Γ is efine, the expression selftriggere closeloop system refers to the system (1) an control law (2) implemente in a sampleanhol manner (6) with triggering times t k+1 given by t = an t k+1 = t k + Γ(x(t k )). In Section II we formalize the notion of performance base on the time erivative of a Lyapunov function. In this section we irectly consier the time evolution of a Lyapunov function of the form V (x) = (x T P x) 1 2. If, for the ieal closeloop system (3) we have V (x(t)) V (x )e λot, t R + x R nx, (13) then we woul like to enforce the weaker inequality V (x(t)) V (x(t k ))e λτ, τ [, t k+1 t k [ x R nx (14) for the selftriggere implementation in the absence of isturbances (w = ) where λ [, λ o [. If we enote by h c : R nx R + R the map h c (x(t k ), t) = V (x(t)) V (x(t k ))e λτ, then the inequality in (14) can be expresse as h c (x(t k ), τ). Since no igital implementation can check h c (x(t k ), τ) for all τ [, t k+1 t k [, we consier instea the following iscretetime version of h c base on a sampling time R + h (x(t k ), n) := h c (x(t k ), n ), [ [ for all n, tk+1 t k an for all k N. This conition results in the following selftriggere implementation where we use N min := τ min /, N max := τ max /, an τ min an τ max are esign parameters. Definition 2: The map Γ : R n R + is efine by Γ (x) := max{τ min, n(x) } with n(x) := max n N {n N max h (x, s), s =,..., n} for x R n. Using this efinition of Γ, a selftriggere implementation of the linear stabilizing controller (2) for plant (1) is prescribe. Note that the role of τ min an τ max is to enforce explicit lower an upper bouns, respectively, for the interexecution times of the controller. The upper boun enforces robustness of the implementation an limits the computational complexity. Remark 1: Linearity of (1) an (2) enables us to compute h 2 as a quaratic function of x(t k). Moreover, through a Veronese embeing we can implement the selftriggere policy escribe in Definition 2 so that its computation has space complexity q nx(nx+1) 2 an time complexity q + (2q + 1) nx(nx+1) 2 where q := N max N min. For reasons of space we omit these etails. They can be foun in [27]. The following result establishes EISS of the propose selftriggere implementation. Theorem 2: Let τ R + be efine by where τ = inf{τ R + : et M(τ) = } M(τ) := C(e F T τ C T P Ce F τ C T P Ce λτ )C T, [ ] A F := p + B p K B p K, C := [I ]. A p B p K B p K If τ min τ, the selftriggere implementation in Definition 2 reners the selftriggere closeloop system EISS. Remark 2: When implementing selftriggere policies on igital platforms several issues relate to realtime scheuling nee to be aresse. For a iscussion of some of these issues we refer the reaers to [3]. Here, we escribe the minimal computational requirements for the propose selftriggere implementation uner the absence of other tasks. Let us assume that the computation elays ominate the measurement an actuation elays, as is the case sometimes in practice. The computation of Γ is ivie in two steps: a preprocessing step performe once per execution, an a running step performe n times when computing h (x, n). The preprocessing step computes a matrix use to evaluate h an has time complexity (n 2 x + n x )/2. The running step consists of testing the inequality h (x, n) has time complexity n 2 x + n x. If we enote by τ c the time it takes to execute an instruction in a given igital platform, the selftriggere implementation can be execute if: 3 2 (n2 x + n x )τ c τ min, (n 2 x + n x )τ c. The first inequality imposes a minimum processing spee for the igital platform while the secon equality establishes a lower boun for the choice of. Remark 3: Theorem 2 only guarantees EISS of the selftriggere implementation. In [29] the reaers can fin more etaile results explaining how the constants κ an γ appearing in the efinition of EISS epen on the continuous ynamics (1), the control law (2), an the esign parameters τ min an τ max. We refer the intereste reaer to [27] an [28] for numerical examples illustrating the propose technique an the guarantees it provies. An example comparing this implementation with the implementation escribe in the next section appears in Section IIIC. B. Minimum attention implementations In Section IIIA we starte with a linear controller an constructe a selftriggere implementation. Although the selftriggere implementation was base on the controller
5 an the system ynamics, the controller was esigne in oblivion of the implementation etails. In this section we take a step towars the coesign of the control laws an its implementations. We consier a ifferent formulation of the minimum attention control problem introuce in [31]: Given the state of the system, compute a set of inputs that guarantee a certain level of performance while maximizing the next time at which the input nees to be upate. In this formulation of the minimum attention control problem we interpret attention as the inverse of the time elapse between consecutive input upates. The approach we will follow is base on the ieas in [32] an consists in computing all the inputs u R nu satisfying inequality (13), which we reprouce here in a version suitable for our nees: V ( e At x + t ) e A(t τ) Bu τ e λt V (x ). (15) We now make the important observation that by using  norm base Lyapunov functions, the computation of all the inputs satisfying (15) reuces to a feasibility problem with linear constraints an thus can be efficiently one online. Specifically, we take V to be a control Lyapunov function of the form V (x) = P x with P R m nx having rank n x an where enotes the infinity norm, i.e., x = max i {1,2,...,nx} x i. Similarly to Section IIIA we efine the map h c by h c (x(t k ), u, τ) = P e Aτ x(t k ) tk +τ + P e A(τ s) Bu s t k e λτ P x(t k ). (16) We can now observe that the constraint h c (x(t k ), u, τ), which appears in (16), is equivalent to [ tk +τ ] P e Aτ x(t k ) + P e A(τ s) Bu s t k e λτ P x(t k ), for all i {1,..., m}, which is equivalent to h c (x(t k ), u, τ), where [ P e Aτ x(t k ) + P ] t k +τ e A(τ s) sbu t h c(x(t k ), u, τ) = k P e Aτ x(t k ) P t k +τ e A(τ s) τbu t k 1 e λτ P x(t k ). (17) an the inequality is assume to be taken elementwise, which results in 2n x linear scalar constraints for u. Since the inequality h c (x(t k ), u, τ) cannot be checke for all τ R + we work, similarly as in Section IIIA, with its iscrete analogue h (x(t k ), u, n) := h c (x(t k ), u, n ). 1 i We note that while a selftriggere implementation of a linear control law is specifie by the map Γ : R nx R + etermining the next execution time (as the control law is alreay given), a minimum attention implementation aressing the coesign problem requires the map Γ as well as the map Ω : R nx 2 Rnu specifying any input u Ω(x) that can be use uring the next Γ(x) units of time, i.e., u(t) = u(t k ) Ω(x(t k )), t [t k, t k+1 [ (18a) t k+1 = t k + Γ(x(t k )) (18b) with t :=. In a concrete implementation one uses aitional criteria, e.g., minimum energy, to select a single input among all the possible inputs given by the set Ω(x(t k )). Algorithm 1 computes both Ω an Γ. Input: P R m nx efining an base control Lyapunov function an x(t k ) Output: Γ(x(t k )) an Ω(x(t k )) n := ; Ω := R nu ; while Ω n an n < N max o n := n + 1; Ω n := Ω n 1 {u R nu h (x(t k ), u, n) }; en if Ω n = then Ω(x(t k )) := Ω n 1 ; Γ(x(t k )) := (n 1) ; else Ω(x(t k )) := Ω n ; Γ(x(t k )) := n ; en Algorithm 1: Algorithm proviing Ω an Γ for a minimum attention implementation. The correctness of Algorithm 1 is guarantee by the following result whose proof can be foun in [32]. Theorem 3 ([32]): The minimum attention implementation efine by Γ an Ω compute by Algorithm 1 reners the minimum attention closeloop system consisting of (1) an (18) GES. Remark 4: Since verifying that Ω n as specifie in Algorithm 1 is a feasibility test for linear constraints, the algorithm can be efficiently implemente online using existing solvers for linear programs. Remark 5: Theorem 3 only states GES of the minimum attention implementation. In [32] the reaers can also fin more etaile results explaining how the constants κ an λ appearing in the efinition of GES (i.e., (12) for w = ) epen on the continuous ynamics (1) an the choice of. Reference [32] also iscusses how norm base Lyapunov functions can be constructe. A stuy of the robustness properties of this implementation, e.g. EISS, has not yet appeare in the literature.
6 C. Illustrative example In this section, we illustrate the selftriggere an minimum attention implementations using a wellknown example from the networke control systems literature, see, e.g., [33], consisting of a linearize moel of a batch reactor. The linearize batch reactor is given by (1) with [ ] A B = We consier the linear control law (2) with [ ] K = , (19) renering the eigenvalues of A + BK real, istinct an smaller than or equal to 2. In orer to compare the selftriggere with the minimum attention aproach we use in both case the norm base Lyapunov function V = P x with P = Reference [32] offers more etails on how P was compute. To implement Algorithm 1 in MATLAB, we use the routine polytope of the MPTtoolbox [34], to hanle the sets Ω(x(t k )). When we the response of the plant is simulate with the minimum attention implementation for the initial conition x() = [1 1 ], we can observe that the closeloop system is inee GES, see Fig. 1(a) an Fig. 1(c). The selftriggere implementation also reners the closeloop system GES as can be seen from Fig. 1(b) an Fig. 1(c). Note that the ecay rates for both implementations are comparable as expecte. However, when we compare the resulting interexecution times as epicte in Fig. 1(), we observe that the minimum attention implementation yiels much larger interexecution times than the selftriggere implementation. This can be explaine from the fact that the former solves a coesign problem thereby optimizing current values of the control inputs with the objective to maximize the next execution time. The consiere selftriggere approach oes not as it has a prescribe (emulationbase) control law. D. Other approaches to selftriggere control Other approaches to selftriggere control have appeare in the literature. In [35], [36] the authors consier linear stabilizing control laws for linear systems enforcing a esire L 2 gain on the closeloop system. In a relate manner to the implementations iscusse in Section III preserving EISS an GES, the authors of [35], [36] propose selftriggere implementations preserving L 2 gain stability. The interesting traeoff in this case is how much the L 2 gain egraes as the number of interexecutions is reuce with respect to a perioic implementation. Selftriggere techniques for nonlinear control systems are reporte in [37], [38] base on the notion of homogeneity an isochronous manifols. Although Fig. 2: Configuration with share network only in the sensortocontroller (sc) channel. the approach is base on homogeneity, it is shown how it is possible to make any smooth control system homogeneous by increasing the imension of the state space by one. A ifferent approach base on polynomial approximations of nonlinear systems is escribe in [39]. All these approaches consier implementations where the input remains constant in between recomputations of the control law. An alternative approach, base on using a moel of the plant at the actuator, is reporte in [4], where it is shown that nonconstant inputs further reuce the number of messages that nee to be sent from the controller to the actuator. Reference [41] extens the results in [29] from state feeback to output feeback. Finally [42] applies selftriggere to a coverage control problem for robotic networks thereby reucing the require communication between robots. IV. OUTPUTBASED EVENTTRIGGERED CONTROL The approaches on eventtriggere an selftriggere control presente previously were all base on full state feeback, although in practice the full state is often not available for feeback. In fact, in the introuction the importance of eveloping outputbase eventtriggere controllers was alreay inicate. Moreover, a first categorization of the existing outputbase eventtriggere control schemes was alreay provie base on their time sets (iscretetime vs continuoustime) an aopte control law (observerbase or not). In this section, we start by iscussing the literature on continuousan iscretetime outputbase eventtriggere control with an without observer in a bit more etail. After that two exemplary approaches will be presente. A. Continuoustime observerbase eventtriggere control In [19] one of the first observerbase eventtriggere control loops are propose in the context of continuoustime systems, although the analysis an examples in the en focus on the situation where the full state information is available. A formal analysis can be foun in the more recent work [43], which extens the work in [44] that assume availability of the full state. The work in [43] focuses on continuoustime plants perturbe by a boune isturbance an measure outputs affecte by boune measurement noise. A signal generator (containe in the controller system in the setup epicte in Fig. 2) prouces the control input implemente at the actuators using a preictor that runs the unperturbe moel equations in close loop with a state feeback control law, in which the state variable is upate with state estimates receive from the (more accurate) observer situate at the sensor system in Fig. 2. The sensor system has a copy of
7 tempimage temp 211/12/8 15:26 page 1 #1 tempimage temp 211/12/8 15:26 page 1 # x 1 x 2 x 3 x x 1 x 2 x 3 x time t (a) Evolution of the states of the plant using the minimum attention implementation. tempimage temp 211/12/8 15:26 page 1 # time t (b) Evolution of the states of the plant using the selftriggere implementation. tempimage temp 211/12/8 15:26 page 1 #1 3 Minimum Attention Control SelfTriggere Control Desire Decay.6 Minimum Attention Control SelfTriggere Control time t (c) The ecay of the Lyapunov function using the minimum attention an the selftriggere implementations time t () The interexecution times using the minimum attention an the selftriggere implementations. Fig. 1: Comparison between the minimum attention an the selftriggere implementations. the preictor. Only when the ifference between the state estimate in the preictor an the observer excees in norm an absolute threshol the estimate state in the observer is sent to the controller. The analysis of this scheme shows that a stable behavior of the eventbase control loop can still be guarantee in the sense of ultimate bouneness of the plant s state. Moreover, it is shown that the maximum communication frequency within the control loop is boune, i.e., the minimal interevent time is strictly positive. The size of the absolute threshol can be use to balance the maximum communication frequency an the size of the ultimate boun. Eventbase state estimation is consiere in [21]. In that paper a state estimator aopts a hybri upate scheme in the sense that upates take place both when an event occurs that triggers the transmission of new measurements to the estimator (asynchronous times), as well as when a perioic timer expires (synchronous times). In the latter case the principle that absence of an event is however information that can be use by the observer [19] is use. More specifically, events are triggere only when the monitore output variable leaves a boune set (possibly epening on latest transmitte measurement). Hence, receiving no information at a synchronous time instant inicates that the output is still in this boune set, which is information that can be use to guarantee boune estimation error covariances. In fact, in [21] this is formally shown base on a sumofgaussians approach that is use to obtain a computationally tractable algorithm. An example of integrating this eventbase state estimator with a perioically timetriggere control algorithm is provie in [25]. In [25] the triggering conition oes not use the estimate state as, for instance, in [43]. For timestampe measurements, one can also aopt a timevarying iscretetime Kalman filter approach to obtain a goo estimate of the state. However, note that such a scheme oes not exploit potentially valuable information containe in the absence of events. B. Continuoustime irect eventtriggere control In contrast to the results iscusse previously, next eventtriggere control is consiere without any intermeiate processing of measurements by an observer or filter. One work belonging to this category is [45], which stuies linear systems without isturbances an measurement noise an with a finite number of control actions. The metho is base on hysteretic quantization. The transmission of output measurements is triggere by reaching the next quantization level. A consequence, in case of single outputs, is that only one bit has to be transmitte in orer to inform the control system about the quantization level reache (assuming that
8 the previous value is store at the controller). The paper proposes two systematic output feeback control esign strategies. The first is an emulationbase strategy starting from an analog controller, an the secon strategy is a irect esign that rives the plant state to the origin in finite time after a total transmission of 2n+2 bits, where n is the orer of the plant. In [26] it is stuie how eventtriggere control strategies tailore to static statefeeback control laws along the lines of Section II can be extene to outputbase ynamical controllers using both centralize an ecentralize eventtriggering mechanisms. One of the problems ientifie in [26] was that using the outputbase extensions of the eventtriggering mechanisms aopte in [12] base on relative thresholing can result in accumulations of event times (Zeno behaviour) an thus a zero minimal interevent time. Using a mixe eventtriggering mechanism, a strictly positive minimum interevent time coul be guarantee for outputbase eventtriggere control, while still guaranteeing ultimate bouneness an L performance. This work exploite impulsive moels [46], [47] for escribing the closeloop behavior, which resulte in less conservative stability conitions compare to the original work [12]. See Section V for more etails. C. Discretetime observerbase eventtriggere control In [11] a iscretetime control problem is consiere in which the communication resources are consiere to be scarce. As such, the objective is to reuce the number of communications by using more computations. The paper uses an emulationbase approach in the sense that a wellfunctioning outputbase controller is available (assuming a stanar timetriggere perioic implementation). The main iea of the propose eventtriggere control strategy is the use of a state estimator framework such that all noes have ientical estimators an thus ientical estimator states. The estimate values of the remote outputs are use in the feeback control. Every sample time, the controller at the ith noe compares the estimate of the ith output to its true values. If the ifference is greater than a preefine threshol, the true value is communicate to the other noes. When there is a communication from ith noe, the estimators in all noes upate their states to reflect the current actual value of the system outputs or states. As a consequence, the error between the estimate ata use in the control algorithm an the actual values is always boune by a threshol, which can be chosen by the control esigner to balance closeness to the original timetriggere closeloop system responses on the one han an the communication usage on the other han. This boun on the error can be use to obtain BIBO stability conitions. A rawback of the scheme is that it uses a global estimator in each noe, which oes not scale to large systems. In [23], [16] the problem of outputbase eventtriggere control in iscretetime is consiere from an optimal control perspective in line with the classical Linear Quaratic Gaussian (LQG) setup. It is shown in [16] that such a setup can lea to a stochastic control problem with a ual effect, so that the optimal eventtrigger an controller are har to fin. In [23] an emulationbase approach is consiere in which the observer at the sensor system an the local observer at the controller are fixe by minimizing the error covariance conitione on the receive information. Base on the appene LQG cost the problem aresse in [23] is to synthesize the ETMs in the sc an ca channels in a (sub)optimal manner. In [24] an outputbase eventtriggere control scheme is propose using moelbase triggering schemes in both the sensortocontroller an the controllertoactuator communication channels. A preictive control technique is aopte in the controllertoactuator channel. By sening control packets containing moelbase preictions of future control values an only transmitting new control packets when these preictions eviate from the current control values compute in the control system (accoring to relative bouns), significant savings can be obtaine compare to a basic zeroorer hol strategy. For the sensortocontroller channel, the triggering mechanism is base on the ifference between the state estimate of a Luenberger observer running in the sensor system with the state estimate of a preictor (calle the local observer in [23]) running in both the sensor an controller systems. If this ifference gets too large, then the estimate of the Luenberger observer is transmitte to the controller system that upates the state estimate of its preictor. LMIbase tools are provie for closeloop stability an l 2 gain analysis. See Section VI below for more etails on the setup. Recently, in [48] also an outputbase scheme exploiting observerlike structures for iscretetime linear systems was propose for tracking of references signals generate by an exosystem. D. Discretetime irect eventtriggere control In [1], [13] outputbase PID controllers are consiere without the consieration of an observer or estimator. Both these approaches use a timer to avoi problems with a zero minimum interevent time. In [1] the event etector is truly timetriggere, while in [13] a time regularization is aopte by requiring that after an event at least a fixe amount of time no new event is generate. However, [1] oes not provie any analytical results, while [13] only provies them for statebase eventtriggere control strategies. Recently, such results were obtaine in [18]. Interestingly, these results apply to both centralise an ecentralise eventtriggering mechanisms, an they provie stability an L 2 gain guarantees of the closeloop system in continuous time, even though the eventtriggere control strategy is a iscretetime controller operating in a perioic timetriggere manner. In fact, as alreay mentione in the introuction, the term perioic eventtriggere control is use in this context, cf. [17] [18].
9 V. CONTINUOUSTIME DIRECT EVENTTRIGGERED CONTROL In this section, we present an exemplary eventtriggere control problem base on continuoustime outputbase controllers an moel the eventtriggere control system as an impulsive system. This particular setup is base on [26], but connections to relate methos will be mentione using this exposition. A. Problem Formulation Let us consier a linear timeinvariant (LTI) plant given by { t x p = A p x p + B p û + B w w, (2) y = C p x p, where x p R np enotes the state of the plant, û R nu the input applie to the plant, w R nw an unknown isturbance an y R ny the output of the plant. The plant is controlle using a continuoustime LTI controller given by { t x c = A c x c + B c ŷ, (21) u = C c x c, where x c R nc enotes the state of the controller, ŷ R ny the input of the controller, an u R nu the output of the controller. We assume that the controller is esigne to rener (2) an (21) with y(t) = ŷ(t) an u(t) = û(t), for all t R +, asymptotically stable. Here, we consier the case where the controller is implemente in a sampleata fashion, which causes y(t) ŷ(t) an u(t) û(t) for almost all t R +. In particular, we stuy ecentralise eventtriggere control which means that the outputs of the plant an controller are groupe into N noes an the outputs of noe i {1,..., N} are only sent at the transmission instants t i k i, k i N. Hence, at transmission instant t i k i, noe i transmits its respective entries in y an u, an the corresponing entries in ŷ an û are upate accoringly, while the other entries in ŷ an û remain the same. Such constraine ata exchange can be expresse as ˆv + (t i k i ) = Γ i v(t i k i ) + (I Γ i )ˆv(t i k i ), (22) in which v = [y u ], ˆv = [ŷ û ], an Γ i = iag(γ 1 i,..., γ ny+nu i ), (23) for all i {1,..., N}. In between transmissions, we use a zeroorer hol, i.e., t ˆv(t) =, for all t R +\ ( N i=1 {ti k i k i N} ). (24) In (23), the elements γ j i, with i {1,..., N} an j {1,..., n y }, are equal to 1 if plant output y j is in noe i an are elsewhere, the elements γ j+ny i, with i {1,..., N} an j {1,..., n u }, are equal to 1 if controller output u j is in noe i an are elsewhere. We assume that for each j {1,..., n y + n u }, it hols that N i=1 γj i >, i.e., we assume that each sensor an actuator is at least in one noe. Furthermore, we assume that at time t =, it hols that Fig. 3: Control system block iagram with inication of the eventtriggering mechanism (ETM). ˆv() = v(). This can be accomplishe by transmitting all sensor an actuator ata at the time the system is eploye. In a conventional sampleata implementation, the transmission times are istribute equiistantly in time an are the same for each noe, meaning that t i k = i+1 ti k i + h, for all k i N an all i {1,..., N}, an for some constant transmission interval h >, an that t i k = tj k, for all k N an all i, j {1,..., N}. In eventtriggere control, however, these transmissions are orchestrate by an eventtriggering mechanism, as is shown in Fig. 3, which in this case is ecentralise. We consier a ecentralise eventtriggering mechanism that invokes transmissions of noe ata when the ifference between the current values of outputs an their previously transmitte values becomes too large in an appropriate sense. In particular, the eventtriggering mechanism consiere in this section results in transmitting the outputs of the plant or the controller in noe i {1,..., N} at times t i k i, satisfying t i k i+1 = inf { t > t i k i e Ji (t) 2 = σ i v Ji (t) 2 + ε i }, (25) an t i =, for some σ i, ε i. In these expressions, e Ji an v Ji enote the subvectors forme by taking the elements of the signals e an v, respectively, that are in the set J i = {j {1,..., n y + n u } γ j i = 1}, an e(t) = ˆv(t) v(t) (26) enotes the error inuce by the eventtriggere implementation of the controller at time t R +. Note that J i is the set of inices of sensors/actuators corresponing to noe i. Hence, the eventtriggering mechanism (25), which is base on local information available at each noe, is such that when for some i {1,..., N}, it hols that e Ji (t) 2 = σ i v Ji (t) 2 + ε i, i.e., the norm of the error inuce by the eventtriggere implementation of the signals in noe i becomes large for the first time, noe i transmits its corresponing signal v Ji (t) in v(t) an, the signal ˆv(t) is upate accoring to (22). This implies that e + (t i k i ) = (I Γ i )e(t i k i ) an thus e + J i (t i k i ) =. Using this upate law, an the aforementione assumption that ˆv() = v(), yieling e() =, we can observe that the error inuce by the eventtriggere control scheme satisfies e Ji (t) 2 σ i v Ji (t) 2 + ε i, (27)
10 for all t R + an all i {1,..., N}. The question that arises now is how to etermine σ i an ε i for all i {1,..., N}, such that the closeloop eventtriggere system is stable in an appropriate sense an a certain level of isturbance attenuation is guarantee, while the number of transmissions of the outputs of the plant an the controller is small. Note that for ε i =, i {1,..., N}, the eventtriggering conitions in (25) can be seen as an extension of the eventtriggering mechanism of [12] for outputbase controllers, an for σ i =, i {1,..., N}, it is equivalent to the eventtriggering mechanism of [49], [45], [5]. As such, the eventtriggering mechanism in (25) unifies two earlier proposals. B. An impulsive system formulation In this section, we reformulate the eventtriggere control system as an impulsive system, e.g., [46], [47], of the form t x = Ā x + Bw, when x C (28a) x + = Ḡi x, when x D i, i {1,..., N}, (28b) where x X R nx enotes the state of the system an w R nw an external isturbance. The flow an the jump sets are enote by C R nx an D i R nx, i {1,..., N}, respectively, an X = C ( N i=1 D i). Note that the transmission times t i k i, k i N, as in (25), are now relate to the event times at which the jumps of x, accoring to (28b) for i {1,..., N}, take place. To arrive at a system escription of the eventtriggere control system (2), (21), (22), (24), an (25) of the form (28), we combine (2), (21), (22), (24) an (26), an efine x := [x e ] R nx, where x = [x p x c ] an n x := n p + n c + n y + n u, yieling the flow ynamics of the system [ ] [ ] t x = A + BC B E x + w, (29) C(A + BC) CB CE } {{ } } {{ } =:Ā =: B in which A = [ Ap A c ], B = [ ] [ [ Bp Cp Bw B c, C = C c ], E = ]. (3) The system continuously flows as long as the eventtriggering conitions are not met, i.e., as long as (27) hols for all i {1,..., N}, which can be reformulate as x C, with an C = { x R nx x Q i x ε i i {1,..., N}}, (31) [ ] σi C Q i = Γ i C, (32) Γ i because x Q i x ε i is equivalent to Γ i e(t) 2 σ i Γ i v(t) 2 + ε i, as in (27). As mentione before, when noe i transmits its ata, a reset accoring to e + = (I Γ i )e occurs, while x remains the same, i.e., x + = x, see (22). This can be expresse as [ ] x + I = x, (33) I Γ i } {{ } =:Ḡi for all x D i, i {1,..., N}, in which D i = { x R nx x Q i x = ε i }, (34) accoring to (25). Combining (29), (31), (33) an (34) yiels an impulsive system of the form (28). C. Analysis methos an iscussion The available analysis techniques given in [26] buil upon the impulsive system framework [47] with a focus on global asymptotic stability of sets A containing the origin in the interior (in absence of isturbances w) an L performance of the closeloop system. As such, in case of absence of isturbances a form of practical stability, or ultimate bouneness, is obtaine. The conitions guaranteeing global asymptotic stability of sets an upperbouns on the L gain of the system from isturbance w to performance output z = C x+ Dw are given in terms of LMIs. We refer the intereste reaer to [26] for the etails an the precise statements of the results. To provie some insights in the consequence of the results, we note that the feasibility of the LMIs is relate to the choice of the relative gains σ i, i {1,..., N}, in the eventtriggering conitions (25), but is not affecte by the choice of the absolute threshols ε i, i {1,..., N}. Hence, once the LMIs are feasible, practical stability (for w = ) an upper bouns on the L gain are guarantee. The size of the set A (ultimate boun) (when w = ), is affecte by both σ i an ε i. However, after having a feasible set of LMIs guaranteeing set stability an finite L gains, the parameters ε i provie full control to ajust the size of the set A. As we can see from (27), this will affect the number of events, enabling the esigner to make traeoffs between the size of the set A (relate to the ultimate boun of x as t for w = ) an the number of transmissions over each communication channel. Inee, larger ε i, i {1,..., N}, result in fewer events, an thus fewer transmissions, but in a larger set A (i.e., a larger ultimate boun), when w =. In fact. if ε i, i {1,..., N}, all approach zero, we have that A {}. Hence, the set A can be mae arbitrary small (at the cost of more transmissions). The naive choice to take ε i =, for all i {1,..., N}, seems appealing as it woul yiel A = {}. However, this might result in zero minimum interevent times (Zeno behaviour) as Example 2 in [26] illustrates. In some cases, e.g., statefeeback controlle system with centralise event triggering as iscusse in [12], a strictly positive minimum interevent time can be guarantee even for ε 1 =, an we have that A = {} is globally asymptotically stable, see also Theorem 1. In fact, in this case also finite L p gains for p < can be given, see Remark III.7 in [26] an Remark IV.3 in [51]. Here, we iscusse an impulsive system formulation (28) with subsequent LMIbase stability an performance analysis. This leas to less conservative values for ε i, σ i, i {1,..., N} guaranteeing stability than the perturbe system approach given in [12], as is formally proven in [26]. The benefit of aopting the impulsive system formulation can be explaine by the fact that the impulsive system truly escribes the behaviour of the eventtriggere control
11 Fig. 4: Networke control configuration. system as it inclues the ynamics for the error e inuce by the eventtriggere implementation. Besies the exact moelling of the error ynamics as above, also the fact that LMIbase formulations are use is beneficial as this allows to use an optimisationbase proceure to fin better values for σ i an ε i guaranteeing stability an specific levels of L performance. Larger values of σ i an ε i result in larger minimum interevent time, see (25). More recently, the impulsive system framework was also use for other eventtriggere an selftriggere controller setups, see, e.g., [52]. VI. DISCRETETIME OBSERVERBASED EVENTTRIGGERED CONTROL Just as in the previous section, we present an exemplary eventtriggere control problem in this section but now for iscretetime observerbase controllers. This particular setup follows [24]. A. Problem Formulation In [24], the networke control configuration shown in Fig. 4 is stuie, in which the plant is given by a iscretetime linear timeinvariant moel of the form { xk+1 = Ax k + Bu k + Ew k P : (35) y k = Cx k, where x k R nx, u k R nu, w k R nw an y k R ny enote the state, control input, isturbance an measure output, respectively, at iscrete time instant k N. The sensors of the plant transmit their measurements to the controller, an the controller transmits the control ata to the actuators over a share, possibly wireless, network, for which communication an energy resources are limite. For this reason, it is esirable to reuce the transmissions over the sensortocontroller an controllertoactuator channels as much as possible, while still guaranteeing esirable closeloop behavior. Hence, the problem is now to esign smart sensor, controller an actuator systems for the setup in Fig. 4 such that this objective is realize. B. An observerbase strategy In this section, we present a possible solution as given in [24] for the problem formulate in Section VIA in the context of Fig. 2 in which the controllertoactuator channel is remove. The smart sensor system in Fig. 2 consists of a Luenberger observer O, a preictor Pr an an eventtriggering mechanism ET M s that etermines when information shoul Fig. 5: Observerbase PETC strategy with only sc ETM. be transmitte to the controller system, see Fig. 5. The Luenberger observer is given by O : x s k+1 = Ax s k + Bu k + L(y k Cx s k) (36) in which x s k enotes the estimate state at the sensor system at time k N, an the matrix L is a suitable observer gain. The preictor Pr is given by { Ax c Pr : x c k + Bu k, when x s k is not sent k+1 = Ax s k + Bu k, when x s (37) k is sent. Finally, the eventtriggering mechanism is given at time k N by the conition ET M s : x s k is sent x s k x c k > σ s x s k, (38) where σ s is a esign parameter. Before explaining the functioning of Pr an ET M s in more etail, it is convenient to introuce also the controller system. The controller system consists of a copy of the preictor Pr, an a controller gain K, see Fig. 5. In fact, the control signal is given by { Kx c k, when x s k is not sent u k = Kx s k, when x s (39) k is sent. As the sensor system also runs a copy of the preictor Pr (both initialize at the same initial estimate), the sensor system is aware of the estimate x c k the controller system has, an, consequently, can etermine u k to compute the next state estimate x s k+1 accoring to (36). Clearly, the estimate x s k of the observer is typically better than the estimate xc k of the preictor, as the observer has access to all measurements, while the preictor only receives sporaic upates. The rationale now is that if the sensors etects at k N that the estimate x s k of the Luenberger observer (36) eviates significantly from the estimate x c k, i.e., xs k xc k > σ s x s k as in (38), the estimate x s k is transmitte to the controller, an corresponing upates of the estimate x c k+1 (cf. the secon case in (37)) an the control signal u k as in (39) are mae. Hence, as long as x s k xc k is sufficiently small, no transmissions between the sensor an controller systems are neee. This observerbase strategy can provie similar stability an l 2 gain properties, while requiring significantly less transmissions compare to both a stanar perioic timetriggere implementation an a baseline eventtriggere implementation as in [53], [12], [26], [17], [18]. See the example presente below.
12 In [24] extensions are provie for the network configuration in Fig. 4 with communication savings both for the sensortocontroller an the controllertoactuator communications. In particular, preictive control techniques are aopte computing moelbase preictions of future control values, which are sent in one (or more) control packets to the actuator system. Only when these preicte future control values (known in the controller system) eviate from the current control values compute in the controller system, new control packets with future values are transmitte to the actuator system. In this manner, significant savings can be obtaine compare to a basic zeroorer hol strategy. In [24] also ecentralise observerbase controllers an eventtriggering mechanisms are presente for largescale weaklycouple plants. Remark 6: Extensions of the observer (36) incluing isturbance estimators (assuming a suitable linear isturbance moel) are possible following the same rationale as in [24]. This extension can enhance further communication savings in the sensortocontroller channel. C. Analysis methos an iscussion The analysis of the above mentione moelbase strategies are presente in [24] base on perturbe linear an piecewise linear systems. Base on these moeling paraigms, LMIbase conitions for global exponential stability an guarantee l 2 gains can be erive. The usage of moelbase preictions are quite powerful for the reuction of network resource utilization, as will also be illustrate in the numerical example below. These observations are in line with the results in the networke control literature in which moelbase approaches inee often perform better [54]. It is also worthwhile to mention the connection of the usage of moelbase preictions to the work in [19], where the relevance of generalize hols was mentione, an the work in [44], [43] in which the term signal generator was use base on moelbase preictions (although in absence of a resourceconstraine controllertoactuator channel). D. Illustrative example In this section, the moelbase eventtriggere control strategies iscusse previously will be illustrate using a timeiscretization of the batch reactor example iscusse in Section IIIC. Proper values for the observer an state feeback gains K an L as in (36) an (39), respectively, are chosen corresponing to the sampling perio h =.15. See [24] for the exact setup. We compare the moelbase eventtriggere control scheme with a corresponing perioic timetriggere controller an with the following baseline eventtriggere scheme: The baseline implementation uses ieas presente in [53], [12], [26], [17], [18] an leas to a strategy given by the ynamic controller x c k+1 = Ax c k + Bu k + L(ŷ k Cx c k), a certaintyequivalence control law u k = Kx c k, (4a) (4b) an a sensortocontroller eventtriggering mechanism { yk, when ŷ k 1 y k > σ s y k ŷ k = ŷ k 1, when ŷ k 1 y k σ s y k. (41) Hence, in this baseline setup a sensor reaing is transmitte to the controller only when the ifference between the latest transmitte value an the current sensor reaing is large compare to the value of the reaing. In aition, the hol strategy ŷ k = ŷ k 1 is use when no new output measurement is transmitte. To make a fair comparison between the moelbase an the baseline strategies, we select σ s for both cases such that the guarantee upper boun γ on the l 2 gain of the resulting closeloop system satisfies γ = 1 an use the piecewise linear system approach of [24] to construct the corresponing values for σ s. This results in σ s =.135 for the moelbase strategy. Using similar techniques for the baseline strategy gives σ s =.343. The corresponing perioic timetriggere control strategy results in an (exact) l 2 gain of γ = The response of the performance output z to the initial conition [ x = an the isturbance satisfying w k = sin 3π k 1 ] 25 1 for k 3 an wk = for k > 3, for the three strategies is shown in Fig. 6a. We can conclue that all three control strategies show almost inistinguishable responses. However, the number of transmissions that are neee is 2 for perioic timetriggere control, 148 for the baseline strategy an only 41 for the moelbase strategy. This emonstrates that the newly propose moelbase eventtriggere control strategy nees significantly fewer transmissions than the other two approaches to realize similar responses, at the price of more computations. This is also further illustrate in Fig. 6b showing the intertransmission times. We will stuy now more closely the influence of the parameter σ s in (38) on the upper boun γ on the l 2 gain of the moelbase eventtriggere control strategy an the number of transmissions that are generate for the aforementione initial conition an isturbance, see Fig. 6c an Fig. 6, respectively. Fig. 6c shows that the upper boun on the l 2 gain increases as σ s increases, inicating that closeloop performances egraes as σ s increases. This figure also shows that the guarantee upperbouns on the l 2 gain provie by the piecewise linear (PWL) approach are less conservative than the perturbe linear (PL) approach. From Fig. 6, it can be seen that the increase of the guarantee l 2  gain, through an increase σ s, leas to fewer transmissions, which emonstrates the traeoff that can be mae between the closeloop performance an the number of transmissions. Note that for σ s approaching zero, the upper boun of the l 2 gain for the moelbase PETC strategy approaches = 12.75, which is the l 2 gain of the corresponing perioic timetriggere control strategy. This emonstrates, as formally proven in [24], that the l 2 gain of the moelbase eventtriggere control strategy can approach the l 2  gain of the perioic timetriggere implementation arbitrarily γ
13 tempimage temp 211/11/18 11:12 page 1 #1 tempimage temp 211/11/18 11:12 page 1 #1 tempimage temp 211/11/18 11:12 page 1 #1 tempimage temp 211/11/18 11:12 page 1 #1 outputs z z 1 time trggr z 2 time trggr z 1 baseline z 2 baseline z 1 moelbase z 2 moelbase intertransmission times baseline moelbase γ PL PWL number of events time k (a) The evolution of the outputs as function of time k for the timetriggere (trggr), the baseline an the observerbase strategies time k (b) The intertransmission times as function of time k for the baseline an the observerbase strategies..5.1 σ s (c) The upper boun on the l 2  gain as function of σ s for the moelbase strategy. Fig. 6: Comparison of iscretetime observerbase eventtriggere control strategies σ s () The number of transmissions as function of σ s for the moelbase strategy. close. Interestingly, even for a small σ s, whichonly leas to a minor egraation of the closeloop performance in terms of the l 2 gain, the amount of ata transmitte over the network, is alreay significantly reuce. For instance, starting from a perioic timetriggere observerbase controller, we can set σ s =.1, which leas to an upper boun on the l 2 gain of the corresponing moelbase eventtriggere control strategy of as guarantee by the PWL approach, see Fig. 6c, inicating an 8% performance egraation, while the number of transmissions reuce from 2 to 8, see Fig. 6, which is a reuction of 6%. Of course, it shoul be note that the actual savings epen heavily on the consiere isturbance (classes). Using isturbance estimators as pointe out in Remark 6 might be beneficial for further reuction of the number of transmissions. VII. WIRELESS EVENTTRIGGERED CONTROL SYSTEMS In a networke control system, the communication meium is often share between multiple control loops as inicate in Fig. 7. In Fig. 7 a wireless network connects the sensors with the controllers. For such as system, as alreay mentione, it is often esirable to limit the amount of communication, ue to that either the transmission is battery powere or the network might get congeste. An important approach to efficiently utilize the communication network is to let sensors transmit only when their measurements excee a certain value, i.e., to apply an eventtriggere sampling rule. Other alternatives inclue having a network manager eciing when each sensor can communicate. That ecision can be base on information available in the scheuler. A challenge in general is to limit not only the communication of sensor ata, but also limit the nee of communication between noes in orer to take communication ecisions. Hence, an architecture in which the ecisionmaking is istribute can be esirable, but it is then har to provie guarantees of no collision or congestion in the network. In practice, it is often reasonable to have a more hybri Fig. 7: Wireless control systems. approach where some ecisions are mae centrally by the network manager an some by the iniviual sensors an controllers. A. Optimal eventtriggere control It is natural to pose the question if it is possible to esign an optimal eventtriggering conition for a networke control system as the one epicte in Fig. 7. Unfortunately, the separation principle oes not hol for the optimal controller an the optimal scheuler, as the closeloop system yiels a ual effect in general [16]. However, by a suitable filter on the sensor sie, it is possible to obtain a control architecture for which certainty equivalence hols. Such an architecture suggests an observerbase controller, but with sacrifice optimality.
14 In certain situations, it is possible to fin the optimal eventbase controller. In the work [9] on Lebesgue sampling, a firstorer system with an optimal eventbase sampling for an impulse controller was consiere. For zeroorer hol actuation, it was shown in [55] that the optimal threshol in the eventtriggering mechanism is time varying. The influence of limite control actions or sensing for optimal eventbase control was consiere in [56]. An important issue not touche upon previously, but important in a wireless largescale control system, is the possible occurrence of ata rops. For eventtriggere sensor communication such ata loss might seem to be critical, as fewer transmissions are generate in eventbase control systems. In [57], the influence of inepenent an ientically istribute packet rops was consiere. It was shown how the control performance eteriorate as the probability of packet rops tens to one. It was also shown that if the (sensor) transmitter receives a (negative) acknowlegement for each packet the (controller) receiver oes not receive, then the eventtriggering conition can be improve. In particular, the threshol shoul be lowere each time a packet has been lost, so that the chance of a new transmission is increase. The influence of such acknowlegements on the closeloop performance can in some cases be explicitly compute. B. Eventtriggere control over wireless networks It is important to have accurate an efficient communication moels of the wireless networks for the esign of eventtriggere wireless control systems. Here we will briefly iscuss how self an eventtriggere control can be aapte to a common wireless network protocol. There is obviously a vast literature on wireless communication, but fewer stuies have focuse on moels suitable for control purposes. Some exceptions inclue the Markov moel evelope by Bianchi to stuy the performance of the communication protocol IEEE [58]. Similar Markov moels have been evelope also for IEEE , which is one of the ominating protocol stanar for wireless sensor networks, see, e.g., [59]. The superframe time organization of the slotte IEEE is shown in Fig. 8. Each superframe Γ i starts with a beacon. The rest of the superframe is ivie into an active an an inactive perio. During the inactive perio, no evice is suppose to transmit so they can save power by being in a socalle sleep moe. The active perio is split into a contention access perio (CAP) an a collision free perio (CFP). During the CAP, the meium access control (MAC) scheme is carrier sense multiple access/collision avoiance (CSMA/CA), where the noes in the network sense if the channel is busy before transmitting a message. The CAP is use by noes to sen best effort messages, as packet rops can happen ue to collision or channel congestion. The CFP is intene to provie realtime guarantee service, by allocating guarantee time slots to the noes in a time ivision multiple access (TDMA) scheme. Since uring the CFP there are no packet losses ue to collisions or channel congestion, this mechanism is an attractive perio for control tasks. Fig. 8: Superframe time organization of the slotte IEEE protocol. It was recently shown that eventtriggere an selftriggere control can be implemente over IEEE , see [6]. By allocating a guarantee time slot within the CFP of a future superframe, it is possible to approximately sample the system accoring to the time compute by the selftriggere algorithm. In this way, the sensor oes not have to transmit until it is suggeste by the controller. As isturbances might act on the plant, an eventtriggere sampler, which reacts if the sensor measurement starts eviating from its preicte value, nees to be ae as well. For largescale systems with many sensors within the same wireless range, the guarantee time slots of the CFP are not enough, an, as a consequence, also the CAP nees to be use. Even if there is contention, eventtriggere an selftriggere control can be utilize. Analyzing these schemes uner a CSMA/CA MAC is however challenging, as the state of the protocol in general will be correlate with plant state. Various ways to tackle this problem have only recently been consiere in the literature, for example, [61]. VIII. CONCLUDING REMARKS In this paper the aim was to provie an introuctory overview of the fiels of eventtriggere an selftriggere control. The literature on these classes of aperioic control is rapily expaning. In the paper we i not try to cover all of the most recent results in orer to be comprehensive, but instea focuse on some of the main evelopments in the latest wave of the perioic versus aperioic ebate. Next to introucing the basics on eventtriggere an selftriggere control, the emphasis was on the use of outputbase control an implementation issues of eventbase control over wireless communication networks. This paper can form a goo starting to become acquainte with the research areas of eventtriggere an selftriggere control, an in fact several references are provie as suggestions for further reaing. After the enormous growth of the literature on this topic in the past 5 to 6 years, it seems time to take the next steps. Even though many results are currently available, it is fair to say that the system theory for eventtriggere an selftriggere control is far from being mature, certainly compare to the vast literature on timetriggere perioic sampleata control. One possible next step, that is certainly neee, is to evelop the necessary system theoretic results unerlying complete an efficient (co)esign methoologies for eventtriggere an selftriggere control. This shoul enhance the usage of these control strategies in practical applications. In fact, their valiation in practice is an important next step (which will unoubtely raise new theoretical
15 questions). Inee, even though many simulation an experimental results show that eventtriggere an selftriggere control strategies are capable of reucing the number of control task executions, while retaining a satisfactory closeloop performance, see, e.g., [62], [63], [64], [9], [1], [65], [66], [67], [68], [69], the actual eployment of these novel control paraigms in relevant applications is still rather marginal. A possible stimulus for changing this situation, being a thir important step, is to emonstrate quantitatively how an when eventtriggere an selftriggere control outperform the classical perioic sampleata control approach. The quantitative evaluation of all these strategies shoul reflect both control costs such as quaratic costs as in LQR control or relevant L p gains, an communication costs such as average sampling rates, minimal interevent times, or transmission power. Fair assessments an comparisons are neee helping the practitioners to ientify the situations in which these aperioic control strategies offer benefits that can not be guarantee by the conventional perioic paraigm. IX. ACKNOWLEDGEMENTS The work escribe in this paper was the fruit of several stuents an other collaborators that in many ways lea the way in eventtriggere an selftriggere control. We woul like to acknowlege the har work of Aolfo Anta, Jose Araujo, Tijs Donkers, Manuel Mazo Jr., an Chithrupa Ramesh. REFERENCES [1] K. J. Aström an B. Wittenmark, Computer Controlle Systems. Prentice Hall, [2] G. Franklin, J. Powel, an A. EmamiNaeini, Feeback Control of Dynamical Systems. Prentice Hall, 21. [3] S. Gupta, Increasing the sampling efficiency for a control system, Automatic Control, IEEE Transactions on, vol. 8, no. 3, pp , [4] A. Liff an J. Wolf, On the optimum sampling rate for iscretetime moeling of continuoustime systems, Automatic Control, IEEE Transactions on, vol. 11, no. 2, pp , [5] G. Bekey an R. Tomovic, Sensitivity of iscrete systems to variation of sampling interval, Automatic Control, IEEE Transactions on, vol. 11, no. 2, pp , [6] R. Tomovic an G. Bekey, Aaptive sampling base on amplitue sensitivity, Automatic Control, IEEE Transactions on, vol. 11, no. 2, pp , [7] D. Ciscato an L. Martiani, On increasing sampling efficiency by aaptive sampling, Automatic Control, IEEE Transactions on, vol. 12, no. 3, p. 318, [8] J. Mitchell an J. McDaniel, W., Aaptive sampling technique, Automatic Control, IEEE Transactions on, vol. 14, no. 2, pp. 2 21, [9] K. Aström an B. Bernharsson, Comparison of perioic an event base sampling for first orer stochastic systems, in Proc. IFAC Worl Conf., 1999, pp [1] K.E. Arzén, A simple eventbase PID controller, in Preprints IFAC Worl Conf., vol. 18, 1999, pp [11] J. Yook, D. Tilbury, an N. Soparkar, Traing computation for banwith: Reucing communication in istribute control systems using state estimators, IEEE Trans. Control Systems Technology, vol. 1, no. 4, pp , 22. [12] P. Tabuaa, Eventtriggere realtime scheuling of stabilizing control tasks, Automatic Control, IEEE Transactions on, vol. 52, no. 9, pp , sept. 27. [13] W. Heemels, J. Sanee, an P. van en Bosch, Analysis of eventriven controllers for linear systems, Int. J. Control, vol. 81, pp , 28. [14] T. Henningsson, E. Johannesson, an A. Cervin, Sporaic eventbase control of firstorer linear stochastic systems, Automatica, vol. 44, pp , 28. [15] M. Velasco, P. Marti, an J. M. Fuertes, The self triggere task moel for realtime control systems, in Proceeings of 24th IEEE RealTime Systems Symposium, WorkinProgress Session, 23. [16] C. Ramesh, H. Sanberg, L. Bao, an K. H. Johansson, Dual effect in statebase scheuling of networke control systems, in American Control Conference, San Francisco, CA, USA, 211. [17] W. Heemels, M. Donkers, an A. Teel, Perioic eventtriggere control: The statefeeback case, in Prc. IEEE Joint Conf. Decision & Control an European Control Conf., 211. [18], Perioic eventtriggere control for linear systems, IEEE Trans. Autom. Control, to appear. [19] K. Aström, Event base control, in Analysis an Design of Nonlinear Control Systems. Springer, 28, pp [2] A. Molin an S. Hirche, Structural characterization of optimal eventbase controllers for linear stochastic systems, in Proc. IEEE Conf. Decision an Control, 21, pp [21] J. Sijs an M. Lazar, On event base state estimation, in Proc. Conf. Hybri Systems: Computation an Control, ser. Lecture Notes in Computer Science. SpringerVerlag, 29, pp [22] T. Henningsson an K. Aström, Logconcave observers, in Proc. of Mathematical Theory of Networks an Systems, 26. [23] L. Li an M. Lemmon, Weakly couple event triggere output feeback system in wireless networke control systems, Proceia Computer Science, to appear. [24] W. Heemels an M. Donkers, Moelbase perioic eventtriggere control for linear systems, Automatica, to appear. [25] J. Sijs, M. Lazar, an W. Heemels, On integration of eventbase estimation an robust MPC in a feeback loop, in Proc. Conf. Hybri Systems: Computation an Control, ser. Lecture Notes in Computer Science. SpringerVerlag, 21, pp [26] M. Donkers an W. Heemels, Outputbase eventtriggere control with guarantee L gain an improve an ecentralise eventtriggering, IEEE Trans. Autom. Control, 212,to appear. [27] M. Mazo Jr., A. Anta, an P. Tabuaa, On selftriggere control for linear systems: Guarantees an complexity, European Control Conference, 29. [28] M. Mazo Jr. an P. Tabuaa, Inputtostate stability of selftriggere control systems, 48th IEEE Conference on Decision an Control., 29. [29] M. Mazo Jr., A. Anta, an P. Tabuaa, An ISS selftriggere implementation of linear controllers, Automatica, vol. 46, no. 8, pp , 21. [3] A. Anta an P. Tabuaa, On the benefits of relaxing the perioicity assumption for networke control systems over can, The 3th IEEE RealTime Systems Symposium., 29. [31] R. W. Brockett, Minimum attention control, in IEEE Conference on Decision an Control, San Diego, CA, [32] M. Donkers, P. Tabuaa, an W. Heemels, On the minimum attention control problem for linear systems: A linear programming approach, in Decision an Control an European Control Conference (CDC ECC), 211 5th IEEE Conference on, 211, pp [33] G. Walsh an H. Ye, Scheuling of networke control systems, IEEE Control Syst. Mag., vol. 21, no. 1, pp , 21. [34] M. Kvasnica, P. Grieer, an M. Baotić, MultiParametric Toolbox (MPT), 24. [Online]. Available: mpt/ [35] X. Wang an M. Lemmon, Selftriggere feeback control systems with finitegain stability, Automatic Control, IEEE Transactions on, vol. 54, no. 3, pp , 29. [36], Selftriggering uner stateinepenent isturbances, Automatic Control, IEEE Transactions on, vol. 55, no. 6, pp , 21. [37] A. Anta an P. Tabuaa, To sample or not to sample: Selftriggere control for nonlinear systems, Automatic Control, IEEE Transactions on, vol. 55, no. 9, pp , 21. [38], Exploiting isochrony in selftriggere control, Automatic Control, IEEE Transactions on, vol. 57, no. 4, pp , 21. [39] M. Di Beneetto, S. Di Gennaro, an A. D Innocenzo, Digital self triggere robust control of nonlinear systems, in Decision an Control an European Control Conference (CDCECC), 211 5th IEEE Conference on, 211, pp
16 [4] J. Almeia, C. Silvestre, an A. Pascoal, Selftriggere state feeback control of linear plants uner boune isturbances, in Decision an Control (CDC), 21 49th IEEE Conference on, 21, pp [41], Selftriggere output feeback control of linear plants, in American Control Conference (ACC), 211, 211, pp [42] C. Nowzari an J. Cortes, Selftriggere coorination of robotic networks for optimal eployment, in American Control Conference (ACC), 211, 211, pp [43] D. Lehmann an J. Lunze, Eventbase outputfeeback control, in 19th Meiterranean Conference on Control an Automation, Corfu, Greece, 211. [44] J. Lunze an D. Lehmann, A statefeeback approach to eventbase control, Automatica, vol. 46, pp , 21. [45] E. Kofman an J. Braslavsky, Level crossing sampling in feeback stabilization uner atarate constraints, in Proc. IEEE Conf. Decision & Control, 26, pp [46] W. Haa, V. Chellaboina, an S. Nersesov, Impulsive an Hybri Dynamical Systems: Stability, Dissipativity, an Control. Princeton University Press, 26. [47] R. Goebel, R. Sanfelice, an A. Teel, Hybri ynamical systems, IEEE Control Syst. Mag., vol. 29, pp , 29. [48] L. Jetto an V. Orsini, Eventtriggere internally stabilizing sporaic control for MIMO plants with non measurable state, in IFAC Worl congres, Milano, Italy, 211, pp [49] P. Otanez, J. Moyne, an D. Tilbury, Using eabans to reuce communication in networke control systems, in Proc. American Control Conf., 22, pp [5] M. Miskowicz, Senonelta concept: An eventbase atareporting strategy, Sensors, vol. 6, pp , 26. [51] X. Wang an M. Lemmon, Selftriggere feeback control systems with finitegain L 2 stability, IEEE Trans. Autom. Control, vol. 45, pp , 29. [52] R. Postoyan, A. Anta, D. Nešić, an P. Tabuaa, A unifying Lyapunovbase framework for the eventtriggere control of nonlinear systems, in Proc. Joint IEEE Conf. Decision an Control an European Control Confernce, 211, pp [53] X. Wang an M. D. Lemmon, Eventtriggering in istribute networke systems with ata ropouts an elays, IEEE Trans. Autom. Control, pp , 211. [54] L. Montestruque an P. Antsaklis, Stability of moelbase networke control systems with timevarying transmission times, IEEE Trans. Autom. Control, vol. 49, pp , 24. [55] M. Rabi, K. H. Johansson, an M. Johansson, Optimal stopping for eventtriggere sensing an actuation, in IEEE Conference on Decision an Control, Cancun, Mexico, 28. [56] T. Henningsson, E. Johannesson, an A. Cervin, Sporaic eventbase control of firstorer linear stochastic systems, Automatica, vol. 44, no. 11, pp , 28. [57] M. Rabi an K. H. Johansson, Scheuling packets for eventtriggere control, in European Control Conference, Buapest, Hungary, 29. [58] G. Bianchi, Performance analysis of the IEEE istribute coorination function, IEEE Journal of Selecte Areas in Telecommunications, vol. 18, no. 3, pp , 2. [59] P. Park, C. Fischione, an K. H. Johansson, Moelling an stability analysis of hybri multiple access in IEEE protocol, ACM Transactions on Sensor Networks, vol. 9, no. 2, 213. [6] J. Araujo, A. Anta, M. Mazo Jr., J. Faria, A. Hernanez, P. Tabuaa, an K. H. Johansson, Selftriggere control over wireless sensor an actuator networks, in IEEE International Conference on Distribute Computing in Sensor Systems, Barcelona, Spain, 211. [61] C. Ramesh, H. Sanberg, an K. H. Johansson, Steay state performance analysis of multiple statebase scheulers with CSMA, in IEEE Conference on Decision an Control, Orlano, FL, 211. [62] T. Henningsson an A. Cervin, Comparison of LTI an eventbase control for a moving cart with quantize position measurements, in Proc. European Control Conf., 29. [63] W. Heemels, R. Gorter, A. van Zijl, P. v.. Bosch, S. Weilan, W. Henrix, an M. Voner, Asynchronous measurement an control: a case stuy on motor synchronisation, Control Eng. Prac., vol. 7, pp , [64] E. Henricks, M. Jensen, A. Chevalier, an T. Vesterholm, Problems in event base engine control, in Proc. American Control Conf., vol. 2, 1994, pp [65] W. Kwon, Y. Kim, S. Lee, an K.N. Paek, Eventbase moeling an control for the burnthrough point in sintering processes, IEEE Trans. Control Syst. Technol., vol. 7, pp , [66] T.J. Tarn, N. Xi, an A. Bejczy, Pathbase approach to integrate planning an control for robotic systems, Automatica, vol. 32, pp , [67] J. Sanee, W. Heemels, S. Hulsenboom, an P. van en Bosch, Analysis an experimental valiation of a sensorbase eventriven controller, in Proc. American Control Conf., 27, pp [68] D. Lehmann an J. Lunze, Extension an experimental evaluation of an eventbase statefeeback approach, Control Engineering Practice, vol. 19, pp , 211. [69] R. Cogill, Eventbase control using quaratic approximate value functions, in Joint IEEE Conference on Decision an Control an Chinese Control Conference, Shanghai, China, 29, pp
Which Networks Are Least Susceptible to Cascading Failures?
Which Networks Are Least Susceptible to Cascaing Failures? Larry Blume Davi Easley Jon Kleinberg Robert Kleinberg Éva Taros July 011 Abstract. The resilience of networks to various types of failures is
More informationParameterized Algorithms for dhitting Set: the Weighted Case Henning Fernau. Univ. Trier, FB 4 Abteilung Informatik 54286 Trier, Germany
Parameterize Algorithms for Hitting Set: the Weighte Case Henning Fernau Trierer Forschungsberichte; Trier: Technical Reports Informatik / Mathematik No. 086, July 2008 Univ. Trier, FB 4 Abteilung Informatik
More informationCompact Routing on InternetLike Graphs
Compact Routing on InternetLike Graphs Dmitri Krioukov Email: ima@krioukov.net Kevin Fall Intel Research, Berkeley Email: kfall@intelresearch.net Xiaowei Yang Massachusetts Institute of Technology Email:
More informationMathematical Models of Therapeutical Actions Related to Tumour and Immune System Competition
Mathematical Moels of Therapeutical Actions Relate to Tumour an Immune System Competition Elena De Angelis (1 an PierreEmmanuel Jabin (2 (1 Dipartimento i Matematica, Politecnico i Torino Corso Duca egli
More information1 HighDimensional Space
Contents HighDimensional Space. Properties of HighDimensional Space..................... 4. The HighDimensional Sphere......................... 5.. The Sphere an the Cube in Higher Dimensions...........
More informationNew Trade Models, New Welfare Implications
New Trae Moels, New Welfare Implications Marc J. Melitz Harvar University, NBER an CEPR Stephen J. Reing Princeton University, NBER an CEPR August 13, 2014 Abstract We show that enogenous firm selection
More informationBOSCH. CAN Specification. Version 2.0. 1991, Robert Bosch GmbH, Postfach 30 02 40, D70442 Stuttgart
CAN Specification Version 2.0 1991, Robert Bosch GmbH, Postfach 30 02 40, D70442 Stuttgart CAN Specification 2.0 page 1 Recital The acceptance an introuction of serial communication to more an more applications
More informationTHE PROBLEM OF finding localized energy solutions
600 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 45, NO. 3, MARCH 1997 Sparse Signal Reconstruction from Limited Data Using FOCUSS: A Reweighted Minimum Norm Algorithm Irina F. Gorodnitsky, Member, IEEE,
More informationSubspace Pursuit for Compressive Sensing: Closing the Gap Between Performance and Complexity
Subspace Pursuit for Compressive Sensing: Closing the Gap Between Performance and Complexity Wei Dai and Olgica Milenkovic Department of Electrical and Computer Engineering University of Illinois at UrbanaChampaign
More informationDatabasefriendly random projections: JohnsonLindenstrauss with binary coins
Journal of Computer an System Sciences 66 (2003) 671 687 http://www.elsevier.com/locate/jcss Databasefrienly ranom projections: JohnsonLinenstrauss with binary coins Dimitris Achlioptas Microsoft Research,
More informationCrossOver Analysis Using TTests
Chapter 35 CrossOver Analysis Using ests Introuction his proceure analyzes ata from a twotreatment, twoperio (x) crossover esign. he response is assume to be a continuous ranom variable that follows
More informationRECENTLY, there has been a great deal of interest in
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 47, NO. 1, JANUARY 1999 187 An Affine Scaling Methodology for Best Basis Selection Bhaskar D. Rao, Senior Member, IEEE, Kenneth KreutzDelgado, Senior Member,
More informationGiotto: A TimeTriggered Language for Embedded Programming
Giotto: A TimeTriggered Language for Embedded Programming THOMAS A HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, AND CHRISTOPH M KIRSCH Invited Paper Giotto provides an abstract programmer
More informationHYBRID systems involve a combination of discrete and continuous
UNPUBLISHED REPORT Formal Semantics and Analysis Methods for Simulink Stateflow Models A. Tiwari Abstract Embedded control systems typically comprise continuous control laws combined with discrete mode
More informationSampling 50 Years After Shannon
Sampling 50 Years After Shannon MICHAEL UNSER, FELLOW, IEEE This paper presents an account of the current state of sampling, 50 years after Shannon s formulation of the sampling theorem. The emphasis is
More informationA Googlelike Model of Road Network Dynamics and its Application to Regulation and Control
A Googlelike Model of Road Network Dynamics and its Application to Regulation and Control Emanuele Crisostomi, Steve Kirkland, Robert Shorten August, 2010 Abstract Inspired by the ability of Markov chains
More informationIEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 4, APRIL 2006 1289. Compressed Sensing. David L. Donoho, Member, IEEE
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 4, APRIL 2006 1289 Compressed Sensing David L. Donoho, Member, IEEE Abstract Suppose is an unknown vector in (a digital image or signal); we plan to
More informationIEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, 2013. ACCEPTED FOR PUBLICATION 1
IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, 2013. ACCEPTED FOR PUBLICATION 1 ActiveSet Newton Algorithm for Overcomplete NonNegative Representations of Audio Tuomas Virtanen, Member,
More informationRobust Set Reconciliation
Robust Set Reconciliation Di Chen 1 Christian Konrad 2 Ke Yi 1 Wei Yu 3 Qin Zhang 4 1 Hong Kong University of Science and Technology, Hong Kong, China 2 Reykjavik University, Reykjavik, Iceland 3 Aarhus
More informationControllability and Observability of Partial Differential Equations: Some results and open problems
Controllability and Observability of Partial Differential Equations: Some results and open problems Enrique ZUAZUA Departamento de Matemáticas Universidad Autónoma 2849 Madrid. Spain. enrique.zuazua@uam.es
More informationHow to Use Expert Advice
NICOLÒ CESABIANCHI Università di Milano, Milan, Italy YOAV FREUND AT&T Labs, Florham Park, New Jersey DAVID HAUSSLER AND DAVID P. HELMBOLD University of California, Santa Cruz, Santa Cruz, California
More informationFast Solution of l 1 norm Minimization Problems When the Solution May be Sparse
Fast Solution of l 1 norm Minimization Problems When the Solution May be Sparse David L. Donoho and Yaakov Tsaig October 6 Abstract The minimum l 1 norm solution to an underdetermined system of linear
More informationMaximizing the Spread of Influence through a Social Network
Maximizing the Spread of Influence through a Social Network David Kempe Dept. of Computer Science Cornell University, Ithaca NY kempe@cs.cornell.edu Jon Kleinberg Dept. of Computer Science Cornell University,
More informationMobility Increases the Capacity of Ad Hoc Wireless Networks
IEEE/ACM TRANSACTIONS ON NETWORKING, VOL. 10, NO. 4, AUGUST 2002 477 Mobility Increases the Capacity of Ad Hoc Wireless Networks Matthias Grossglauser and David N. C. Tse Abstract The capacity of ad hoc
More informationMobility Increases the Capacity of Adhoc Wireless Networks
Mobility Increases the apacity of Adhoc Wireless Networks Matthias Grossglauser David Tse AT&T Labs Research Department of EES 10 Park Avenue University of alifornia Florham Park NJ 07 Berkeley A 470
More informationFeedback Control of a Nonholonomic Carlike Robot
Feedback Control of a Nonholonomic Carlike Robot A. De Luca G. Oriolo C. Samson This is the fourth chapter of the book: Robot Motion Planning and Control JeanPaul Laumond (Editor) Laboratoire d Analye
More informationThere are two different ways you can interpret the information given in a demand curve.
Econ 500 Microeconomic Review Deman What these notes hope to o is to o a quick review of supply, eman, an equilibrium, with an emphasis on a more quantifiable approach. Deman Curve (Big icture) The whole
More informationCLoud Computing is the long dreamed vision of
1 Enabling Secure and Efficient Ranked Keyword Search over Outsourced Cloud Data Cong Wang, Student Member, IEEE, Ning Cao, Student Member, IEEE, Kui Ren, Senior Member, IEEE, Wenjing Lou, Senior Member,
More informationSteering User Behavior with Badges
Steering User Behavior with Badges Ashton Anderson Daniel Huttenlocher Jon Kleinberg Jure Leskovec Stanford University Cornell University Cornell University Stanford University ashton@cs.stanford.edu {dph,
More informationHighRate Codes That Are Linear in Space and Time
1804 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 48, NO 7, JULY 2002 HighRate Codes That Are Linear in Space and Time Babak Hassibi and Bertrand M Hochwald Abstract Multipleantenna systems that operate
More information