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
State of Louisiana Office of Information Technology. Change Management Plan
State of Louisiana Office of Information Technology Change Management Plan Table of Contents Change Management Overview Change Management Plan Key Consierations Organizational Transition Stages Change
More informationJON HOLTAN. if P&C Insurance Ltd., Oslo, Norway ABSTRACT
OPTIMAL INSURANCE COVERAGE UNDER BONUSMALUS CONTRACTS BY JON HOLTAN if P&C Insurance Lt., Oslo, Norway ABSTRACT The paper analyses the questions: Shoul or shoul not an iniviual buy insurance? An if so,
More informationFirewall Design: Consistency, Completeness, and Compactness
C IS COS YS TE MS Firewall Design: Consistency, Completeness, an Compactness Mohame G. Goua an XiangYang Alex Liu Department of Computer Sciences The University of Texas at Austin Austin, Texas 787121188,
More informationAn intertemporal model of the real exchange rate, stock market, and international debt dynamics: policy simulations
This page may be remove to conceal the ientities of the authors An intertemporal moel of the real exchange rate, stock market, an international ebt ynamics: policy simulations Saziye Gazioglu an W. Davi
More informationModelling and Resolving Software Dependencies
June 15, 2005 Abstract Many Linux istributions an other moern operating systems feature the explicit eclaration of (often complex) epenency relationships between the pieces of software
More informationMSc. Econ: MATHEMATICAL STATISTICS, 1995 MAXIMUMLIKELIHOOD ESTIMATION
MAXIMUMLIKELIHOOD ESTIMATION The General Theory of ML Estimation In orer to erive an ML estimator, we are boun to make an assumption about the functional form of the istribution which generates the
More informationHybrid Model Predictive Control Applied to ProductionInventory Systems
Preprint of paper to appear in the 18th IFAC Worl Congress, August 28  Sept. 2, 211, Milan, Italy Hybri Moel Preictive Control Applie to ProuctionInventory Systems Naresh N. Nanola Daniel E. Rivera Control
More informationThe oneyear nonlife insurance risk
The oneyear nonlife insurance risk Ohlsson, Esbjörn & Lauzeningks, Jan Abstract With few exceptions, the literature on nonlife insurance reserve risk has been evote to the ultimo risk, the risk in the
More informationINFLUENCE OF GPS TECHNOLOGY ON COST CONTROL AND MAINTENANCE OF VEHICLES
1 st Logistics International Conference Belgrae, Serbia 2830 November 2013 INFLUENCE OF GPS TECHNOLOGY ON COST CONTROL AND MAINTENANCE OF VEHICLES Goran N. Raoičić * University of Niš, Faculty of Mechanical
More informationA Universal Sensor Control Architecture Considering Robot Dynamics
International Conference on Multisensor Fusion an Integration for Intelligent Systems (MFI2001) BaenBaen, Germany, August 2001 A Universal Sensor Control Architecture Consiering Robot Dynamics Frierich
More informationCHAPTER 5 : CALCULUS
Dr Roger Ni (Queen Mary, University of Lonon)  5. CHAPTER 5 : CALCULUS Differentiation Introuction to Differentiation Calculus is a branch of mathematics which concerns itself with change. Irrespective
More informationOptimal Control Policy of a Production and Inventory System for multiproduct in Segmented Market
RATIO MATHEMATICA 25 (2013), 29 46 ISSN:15927415 Optimal Control Policy of a Prouction an Inventory System for multiprouct in Segmente Market Kuleep Chauhary, Yogener Singh, P. C. Jha Department of Operational
More informationData Center Power System Reliability Beyond the 9 s: A Practical Approach
Data Center Power System Reliability Beyon the 9 s: A Practical Approach Bill Brown, P.E., Square D Critical Power Competency Center. Abstract Reliability has always been the focus of missioncritical
More information10.2 Systems of Linear Equations: Matrices
SECTION 0.2 Systems of Linear Equations: Matrices 7 0.2 Systems of Linear Equations: Matrices OBJECTIVES Write the Augmente Matrix of a System of Linear Equations 2 Write the System from the Augmente Matrix
More informationA Data Placement Strategy in Scientific Cloud Workflows
A Data Placement Strategy in Scientific Clou Workflows Dong Yuan, Yun Yang, Xiao Liu, Jinjun Chen Faculty of Information an Communication Technologies, Swinburne University of Technology Hawthorn, Melbourne,
More informationOn Adaboost and Optimal Betting Strategies
On Aaboost an Optimal Betting Strategies Pasquale Malacaria 1 an Fabrizio Smerali 1 1 School of Electronic Engineering an Computer Science, Queen Mary University of Lonon, Lonon, UK Abstract We explore
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 informationSensitivity Analysis of Nonlinear Performance with Probability Distortion
Preprints of the 19th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August 2429, 214 Sensitivity Analysis of Nonlinear Performance with Probability Distortion
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 14 10/27/2008 MOMENT GENERATING FUNCTIONS
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 14 10/27/2008 MOMENT GENERATING FUNCTIONS Contents 1. Moment generating functions 2. Sum of a ranom number of ranom variables 3. Transforms
More informationA Generalization of Sauer s Lemma to Classes of LargeMargin Functions
A Generalization of Sauer s Lemma to Classes of LargeMargin Functions Joel Ratsaby University College Lonon Gower Street, Lonon WC1E 6BT, Unite Kingom J.Ratsaby@cs.ucl.ac.uk, WWW home page: http://www.cs.ucl.ac.uk/staff/j.ratsaby/
More informationTowards a Framework for Enterprise Architecture Frameworks Comparison and Selection
Towars a Framework for Enterprise Frameworks Comparison an Selection Saber Aballah Faculty of Computers an Information, Cairo University Saber_aballah@hotmail.com Abstract A number of Enterprise Frameworks
More informationA Comparison of Performance Measures for Online Algorithms
A Comparison of Performance Measures for Online Algorithms Joan Boyar 1, Sany Irani 2, an Kim S. Larsen 1 1 Department of Mathematics an Computer Science, University of Southern Denmark, Campusvej 55,
More informationUnsteady Flow Visualization by Animating EvenlySpaced Streamlines
EUROGRAPHICS 2000 / M. Gross an F.R.A. Hopgoo Volume 19, (2000), Number 3 (Guest Eitors) Unsteay Flow Visualization by Animating EvenlySpace Bruno Jobar an Wilfri Lefer Université u Littoral Côte Opale,
More informationJitter effects on Analog to Digital and Digital to Analog Converters
Jitter effects on Analog to Digital an Digital to Analog Converters Jitter effects copyright 1999, 2000 Troisi Design Limite Jitter One of the significant problems in igital auio is clock jitter an its
More informationBOSCH. CAN Specification. Version 2.0. 1991, Robert Bosch GmbH, Postfach 50, D7000 Stuttgart 1. Thi d t t d ith F M k 4 0 4
Thi t t ith F M k 4 0 4 BOSCH CAN Specification Version 2.0 1991, Robert Bosch GmbH, Postfach 50, D7000 Stuttgart 1 The ocument as a whole may be copie an istribute without restrictions. However, the
More informationTracking Control of a Class of Hamiltonian Mechanical Systems with Disturbances
Proceeings of Australasian Conference on Robotics an Automation, 4 Dec 4, The University of Melbourne, Melbourne, Australia Tracking Control of a Class of Hamiltonian Mechanical Systems with Disturbances
More informationOptimal Control Of Production Inventory Systems With Deteriorating Items And Dynamic Costs
Applie Mathematics ENotes, 8(2008), 194202 c ISSN 16072510 Available free at mirror sites of http://www.math.nthu.eu.tw/ amen/ Optimal Control Of Prouction Inventory Systems With Deteriorating Items
More informationThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters
ThroughputScheuler: Learning to Scheule on Heterogeneous Haoop Clusters Shehar Gupta, Christian Fritz, Bob Price, Roger Hoover, an Johan e Kleer Palo Alto Research Center, Palo Alto, CA, USA {sgupta, cfritz,
More informationMinimumEnergy Broadcast in AllWireless Networks: NPCompleteness and Distribution Issues
MinimumEnergy Broacast in AllWireless Networks: NPCompleteness an Distribution Issues Mario Čagal LCAEPFL CH05 Lausanne Switzerlan mario.cagal@epfl.ch JeanPierre Hubaux LCAEPFL CH05 Lausanne Switzerlan
More informationSensor Network Localization from Local Connectivity : Performance Analysis for the MDSMAP Algorithm
Sensor Network Localization from Local Connectivity : Performance Analysis for the MDSMAP Algorithm Sewoong Oh an Anrea Montanari Electrical Engineering an Statistics Department Stanfor University, Stanfor,
More informationDifferentiability of Exponential Functions
Differentiability of Exponential Functions Philip M. Anselone an John W. Lee Philip Anselone (panselone@actionnet.net) receive his Ph.D. from Oregon State in 1957. After a few years at Johns Hopkins an
More informationOption Pricing for Inventory Management and Control
Option Pricing for Inventory Management an Control Bryant Angelos, McKay Heasley, an Jeffrey Humpherys Abstract We explore the use of option contracts as a means of managing an controlling inventories
More informationRisk Management for Derivatives
Risk Management or Derivatives he Greeks are coming the Greeks are coming! Managing risk is important to a large number o iniviuals an institutions he most unamental aspect o business is a process where
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 informationUnbalanced Power Flow Analysis in a Micro Grid
International Journal of Emerging Technology an Avance Engineering Unbalance Power Flow Analysis in a Micro Gri Thai Hau Vo 1, Mingyu Liao 2, Tianhui Liu 3, Anushree 4, Jayashri Ravishankar 5, Toan Phung
More informationPurpose of the Experiments. Principles and Error Analysis. ε 0 is the dielectric constant,ε 0. ε r. = 8.854 10 12 F/m is the permittivity of
Experiments with Parallel Plate Capacitors to Evaluate the Capacitance Calculation an Gauss Law in Electricity, an to Measure the Dielectric Constants of a Few Soli an Liqui Samples Table of Contents Purpose
More informationStock Market Value Prediction Using Neural Networks
Stock Market Value Preiction Using Neural Networks Mahi Pakaman Naeini IT & Computer Engineering Department Islamic Aza University Paran Branch email: m.pakaman@ece.ut.ac.ir Hamireza Taremian Engineering
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 informationFeedback linearization control of a twolink robot using a multicrossover genetic algorithm
Available online at www.scienceirect.com Expert Systems with Applications 3 (009) 454 459 Short communication Feeback linearization control of a twolink robot using a multicrossover genetic algorithm
More informationWeb Appendices of Selling to Overcon dent Consumers
Web Appenices of Selling to Overcon ent Consumers Michael D. Grubb A Option Pricing Intuition This appenix provies aitional intuition base on option pricing for the result in Proposition 2. Consier the
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 informationLiquid Pricing for Digital Infrastructure Services
iqui Pricing for Digital Infrastructure Services Subhajyoti Banyopahyay * an sing Kenneth Cheng Department of Decision an Information Sciences Warrington College of Business Aministration University of
More information9.3. Diffraction and Interference of Water Waves
Diffraction an Interference of Water Waves 9.3 Have you ever notice how people relaxing at the seashore spen so much of their time watching the ocean waves moving over the water, as they break repeately
More informationISSN: 22773754 ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 3, Issue 12, June 2014
ISSN: 77754 ISO 900:008 Certifie International Journal of Engineering an Innovative echnology (IJEI) Volume, Issue, June 04 Manufacturing process with isruption uner Quaratic Deman for Deteriorating Inventory
More informationMath 230.01, Fall 2012: HW 1 Solutions
Math 3., Fall : HW Solutions Problem (p.9 #). Suppose a wor is picke at ranom from this sentence. Fin: a) the chance the wor has at least letters; SOLUTION: All wors are equally likely to be chosen. The
More informationThe most common model to support workforce management of telephone call centers is
Designing a Call Center with Impatient Customers O. Garnett A. Manelbaum M. Reiman Davison Faculty of Inustrial Engineering an Management, Technion, Haifa 32000, Israel Davison Faculty of Inustrial Engineering
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk  Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking threeimensional potentials in the next chapter, we shall in chapter 4 of this
More informationDigital barrier option contract with exponential random time
IMA Journal of Applie Mathematics Avance Access publishe June 9, IMA Journal of Applie Mathematics ) Page of 9 oi:.93/imamat/hxs3 Digital barrier option contract with exponential ranom time Doobae Jun
More informationThe Quick Calculus Tutorial
The Quick Calculus Tutorial This text is a quick introuction into Calculus ieas an techniques. It is esigne to help you if you take the Calculus base course Physics 211 at the same time with Calculus I,
More informationA Case Study of Applying SOM in Market Segmentation of Automobile Insurance Customers
International Journal of Database Theory an Application, pp.2536 http://x.oi.org/10.14257/ijta.2014.7.1.03 A Case Stuy of Applying SOM in Market Segmentation of Automobile Insurance Customers Vahi Golmah
More informationAchieving quality audio testing for mobile phones
Test & Measurement Achieving quality auio testing for mobile phones The auio capabilities of a cellular hanset provie the funamental interface between the user an the raio transceiver. Just as RF testing
More information(We assume that x 2 IR n with n > m f g are twice continuously ierentiable functions with Lipschitz secon erivatives. The Lagrangian function `(x y) i
An Analysis of Newton's Metho for Equivalent Karush{Kuhn{Tucker Systems Lus N. Vicente January 25, 999 Abstract In this paper we analyze the application of Newton's metho to the solution of systems of
More informationSeeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence
Seeing the Unseen: Revealing Mobile Malware Hien Communications via Energy Consumption an Artificial Intelligence Luca Caviglione, Mauro Gaggero, JeanFrançois Lalane, Wojciech Mazurczyk, Marcin Urbanski
More informationRUNESTONE, an International Student Collaboration Project
RUNESTONE, an International Stuent Collaboration Project Mats Daniels 1, Marian Petre 2, Vicki Almstrum 3, Lars Asplun 1, Christina Björkman 1, Carl Erickson 4, Bruce Klein 4, an Mary Last 4 1 Department
More informationWeb Appendices to Selling to Overcon dent Consumers
Web Appenices to Selling to Overcon ent Consumers Michael D. Grubb MIT Sloan School of Management Cambrige, MA 02142 mgrubbmit.eu www.mit.eu/~mgrubb May 2, 2008 B Option Pricing Intuition This appenix
More informationLecture L253D Rigid Body Kinematics
J. Peraire, S. Winall 16.07 Dynamics Fall 2008 Version 2.0 Lecture L253D Rigi Boy Kinematics In this lecture, we consier the motion of a 3D rigi boy. We shall see that in the general threeimensional
More informationPROBLEMS. A.1 Implement the COINCIDENCE function in sumofproducts form, where COINCIDENCE = XOR.
724 APPENDIX A LOGIC CIRCUITS (Corrispone al cap. 2  Elementi i logica) PROBLEMS A. Implement the COINCIDENCE function in sumofproucts form, where COINCIDENCE = XOR. A.2 Prove the following ientities
More informationEnterprise Resource Planning
Enterprise Resource Planning MPC 6 th Eition Chapter 1a McGrawHill/Irwin Copyright 2011 by The McGrawHill Companies, Inc. All rights reserve. Enterprise Resource Planning A comprehensive software approach
More informationCh 10. Arithmetic Average Options and Asian Opitons
Ch 10. Arithmetic Average Options an Asian Opitons I. Asian Option an the Analytic Pricing Formula II. Binomial Tree Moel to Price Average Options III. Combination of Arithmetic Average an Reset Options
More informationFactoring Dickson polynomials over finite fields
Factoring Dickson polynomials over finite fiels Manjul Bhargava Department of Mathematics, Princeton University. Princeton NJ 08544 manjul@math.princeton.eu Michael Zieve Department of Mathematics, University
More informationFAST JOINING AND REPAIRING OF SANDWICH MATERIALS WITH DETACHABLE MECHANICAL CONNECTION TECHNOLOGY
FAST JOINING AND REPAIRING OF SANDWICH MATERIALS WITH DETACHABLE MECHANICAL CONNECTION TECHNOLOGY Jörg Felhusen an Sivakumara K. Krishnamoorthy RWTH Aachen University, Chair an Insitute for Engineering
More informationImproving Direct Marketing Profitability with Neural Networks
Volume 9 o.5, September 011 Improving Direct Marketing Profitability with eural etworks Zaiyong Tang Salem State University Salem, MA 01970 ABSTRACT Data mining in irect marketing aims at ientifying the
More informationHeatAndMass Transfer Relationship to Determine Shear Stress in Tubular Membrane Systems Ratkovich, Nicolas Rios; Nopens, Ingmar
Aalborg Universitet HeatAnMass Transfer Relationship to Determine Shear Stress in Tubular Membrane Systems Ratkovich, Nicolas Rios; Nopens, Ingmar Publishe in: International Journal of Heat an Mass Transfer
More informationView Synthesis by Image Mapping and Interpolation
View Synthesis by Image Mapping an Interpolation Farris J. Halim Jesse S. Jin, School of Computer Science & Engineering, University of New South Wales Syney, NSW 05, Australia Basser epartment of Computer
More informationIntroduction to Integration Part 1: AntiDifferentiation
Mathematics Learning Centre Introuction to Integration Part : AntiDifferentiation Mary Barnes c 999 University of Syney Contents For Reference. Table of erivatives......2 New notation.... 2 Introuction
More informationGame Theoretic Modeling of Cooperation among Service Providers in Mobile Cloud Computing Environments
2012 IEEE Wireless Communications an Networking Conference: Services, Applications, an Business Game Theoretic Moeling of Cooperation among Service Proviers in Mobile Clou Computing Environments Dusit
More informationDetecting Possibly Fraudulent or ErrorProne Survey Data Using Benford s Law
Detecting Possibly Frauulent or ErrorProne Survey Data Using Benfor s Law Davi Swanson, Moon Jung Cho, John Eltinge U.S. Bureau of Labor Statistics 2 Massachusetts Ave., NE, Room 3650, Washington, DC
More informationOptimizing Multiple Stock Trading Rules using Genetic Algorithms
Optimizing Multiple Stock Traing Rules using Genetic Algorithms Ariano Simões, Rui Neves, Nuno Horta Instituto as Telecomunicações, Instituto Superior Técnico Av. Rovisco Pais, 04000 Lisboa, Portugal.
More informationLowComplexity and Distributed Energy Minimization in Multihop Wireless Networks
LowComplexity an Distribute Energy inimization in ultihop Wireless Networks Longbi Lin, Xiaojun Lin, an Ness B. Shroff Center for Wireless Systems an Applications (CWSA) School of Electrical an Computer
More informationThe Inefficiency of Marginal cost pricing on roads
The Inefficiency of Marginal cost pricing on roas Sofia GrahnVoornevel Sweish National Roa an Transport Research Institute VTI CTS Working Paper 4:6 stract The economic principle of roa pricing is that
More informationOptimal Energy Commitments with Storage and Intermittent Supply
Submitte to Operations Research manuscript OPRE200909406 Optimal Energy Commitments with Storage an Intermittent Supply Jae Ho Kim Department of Electrical Engineering, Princeton University, Princeton,
More informationAnswers to the Practice Problems for Test 2
Answers to the Practice Problems for Test 2 Davi Murphy. Fin f (x) if it is known that x [f(2x)] = x2. By the chain rule, x [f(2x)] = f (2x) 2, so 2f (2x) = x 2. Hence f (2x) = x 2 /2, but the lefthan
More informationProduct Differentiation for SoftwareasaService Providers
University of Augsburg Prof. Dr. Hans Ulrich Buhl Research Center Finance & Information Management Department of Information Systems Engineering & Financial Management Discussion Paper WI99 Prouct Differentiation
More informationMathematics Review for Economists
Mathematics Review for Economists by John E. Floy University of Toronto May 9, 2013 This ocument presents a review of very basic mathematics for use by stuents who plan to stuy economics in grauate school
More informationForecasting and Staffing Call Centers with Multiple Interdependent Uncertain Arrival Streams
Forecasting an Staffing Call Centers with Multiple Interepenent Uncertain Arrival Streams Han Ye Department of Statistics an Operations Research, University of North Carolina, Chapel Hill, NC 27599, hanye@email.unc.eu
More informationCost Efficient Datacenter Selection for Cloud Services
Cost Efficient Datacenter Selection for Clou Services Hong u, Baochun Li henryxu, bli@eecg.toronto.eu Department of Electrical an Computer Engineering University of Toronto Abstract Many clou services
More informationSearch Advertising Based Promotion Strategies for Online Retailers
Search Avertising Base Promotion Strategies for Online Retailers Amit Mehra The Inian School of Business yeraba, Inia Amit Mehra@isb.eu ABSTRACT Web site aresses of small on line retailers are often unknown
More informationConsumer Referrals. Maria Arbatskaya and Hideo Konishi. October 28, 2014
Consumer Referrals Maria Arbatskaya an Hieo Konishi October 28, 2014 Abstract In many inustries, rms rewar their customers for making referrals. We analyze the optimal policy mix of price, avertising intensity,
More informationA New Evaluation Measure for Information Retrieval Systems
A New Evaluation Measure for Information Retrieval Systems Martin Mehlitz martin.mehlitz@ailabor.e Christian Bauckhage Deutsche Telekom Laboratories christian.bauckhage@telekom.e Jérôme Kunegis jerome.kunegis@ailabor.e
More informationProfessional Level Options Module, Paper P4(SGP)
Answers Professional Level Options Moule, Paper P4(SGP) Avance Financial Management (Singapore) December 2007 Answers Tutorial note: These moel answers are consierably longer an more etaile than woul be
More informationDETERMINING OPTIMAL STOCK LEVEL IN MULTIECHELON SUPPLY CHAINS
HUNGARIAN JOURNA OF INDUSTRIA CHEMISTRY VESZPRÉM Vol. 39(1) pp. 107112 (2011) DETERMINING OPTIMA STOCK EVE IN MUTIECHEON SUPPY CHAINS A. KIRÁY 1, G. BEVÁRDI 2, J. ABONYI 1 1 University of Pannonia, Department
More informationModeling and Predicting Popularity Dynamics via Reinforced Poisson Processes
Proceeings of the TwentyEighth AAAI Conference on Artificial Intelligence Moeling an Preicting Popularity Dynamics via Reinforce Poisson Processes Huawei Shen 1, Dashun Wang 2, Chaoming Song 3, AlbertLászló
More informationRisk Adjustment for Poker Players
Risk Ajustment for Poker Players William Chin DePaul University, Chicago, Illinois Marc Ingenoso Conger Asset Management LLC, Chicago, Illinois September, 2006 Introuction In this article we consier risk
More informationA NATIONAL MEASUREMENT GOOD PRACTICE GUIDE. No.107. Guide to the calibration and testing of torque transducers
A NATIONAL MEASUREMENT GOOD PRACTICE GUIDE No.107 Guie to the calibration an testing of torque transucers Goo Practice Guie 107 Measurement Goo Practice Guie No.107 Guie to the calibration an testing of
More informationHull, Chapter 11 + Sections 17.1 and 17.2 Additional reference: John Cox and Mark Rubinstein, Options Markets, Chapter 5
Binomial Moel Hull, Chapter 11 + ections 17.1 an 17.2 Aitional reference: John Cox an Mark Rubinstein, Options Markets, Chapter 5 1. OnePerio Binomial Moel Creating synthetic options (replicating options)
More informationDEVELOPMENT OF A BRAKING MODEL FOR SPEED SUPERVISION SYSTEMS
DEVELOPMENT OF A BRAKING MODEL FOR SPEED SUPERVISION SYSTEMS Paolo Presciani*, Monica Malvezzi #, Giuseppe Luigi Bonacci +, Monica Balli + * FS Trenitalia Unità Tecnologie Materiale Rotabile Direzione
More informationModifying Gaussian term structure models when interest rates are near the zero lower bound. Leo Krippner. March 2012. JEL classi cation: E43, G12, G13
DP0/0 Moifying Gaussian term structure moels when interest rates are near the zero lower boun Leo Krippner March 0 JEL classi cation: E43, G, G3 www.rbnz.govt.nz/research/iscusspapers/ Discussion Paper
More informationSafety Stock or Excess Capacity: Tradeoffs under Supply Risk
Safety Stock or Excess Capacity: Traeoffs uner Supply Risk Aahaar Chaturvei Victor MartínezeAlbéniz IESE Business School, University of Navarra Av. Pearson, 08034 Barcelona, Spain achaturvei@iese.eu
More informationMinimizing Makespan in Flow Shop Scheduling Using a Network Approach
Minimizing Makespan in Flow Shop Scheuling Using a Network Approach Amin Sahraeian Department of Inustrial Engineering, Payame Noor University, Asaluyeh, Iran 1 Introuction Prouction systems can be ivie
More informationImproved division by invariant integers
1 Improve ivision by invariant integers Niels Möller an Torbjörn Granlun Abstract This paper consiers the problem of iviing a twowor integer by a singlewor integer, together with a few extensions an
More informationBellini: Ferrying Application Traffic Flows through Geodistributed Datacenters in the Cloud
Bellini: Ferrying Application Traffic Flows through Geoistribute Datacenters in the Clou Zimu Liu, Yuan Feng, an Baochun Li Department of Electrical an Computer Engineering, University of Toronto Department
More informationLagrangian and Hamiltonian Mechanics
Lagrangian an Hamiltonian Mechanics D.G. Simpson, Ph.D. Department of Physical Sciences an Engineering Prince George s Community College December 5, 007 Introuction In this course we have been stuying
More informationChapter 9 AIRPORT SYSTEM PLANNING
Chapter 9 AIRPORT SYSTEM PLANNING. Photo creit Dorn McGrath, Jr Contents Page The Planning Process................................................... 189 Airport Master Planning..............................................
More informationDynamic Network Security Deployment Under Partial Information
Dynamic Network Security Deployment Uner Partial nformation nvite Paper) George Theoorakopoulos EPFL Lausanne, Switzerlan Email: george.theoorakopoulos @ epfl.ch John S. Baras University of Marylan College
More informationDifferent approaches for the equalization of automotive sound systems
Auio Engineering Society Convention Paper Presente at the 112th Convention 2002 May 10 13 Munich, Germany This convention paper has been reprouce from the author's avance manuscript, without eiting, corrections,
More informationInverse Trig Functions
Inverse Trig Functions c A Math Support Center Capsule February, 009 Introuction Just as trig functions arise in many applications, so o the inverse trig functions. What may be most surprising is that
More informationA New Pricing Model for Competitive Telecommunications Services Using Congestion Discounts
A New Pricing Moel for Competitive Telecommunications Services Using Congestion Discounts N. Keon an G. Ananalingam Department of Systems Engineering University of Pennsylvania Philaelphia, PA 191046315
More informationSecurity Vulnerabilities and Solutions for Packet Sampling
Security Vulnerabilities an Solutions for Packet Sampling Sharon Golberg an Jennifer Rexfor Princeton University, Princeton, NJ, USA 08544 {golbe, jrex}@princeton.eu Abstract Packet sampling supports a
More informationDefinition of the spin current: The angular spin current and its physical consequences
Definition of the spin current: The angular spin current an its physical consequences Qingfeng Sun 1, * an X. C. Xie 2,3 1 Beijing National Lab for Conense Matter Physics an Institute of Physics, Chinese
More informationImproving Emulation Throughput for MultiProject SoC Designs
Improving Emulation Throhput for MultiProject SoC Designs By Frank Schirrmeister, Caence Design Systems As esign sizes grow, so, too, oes the verification effort. Inee, verification has become the biggest
More information