Laurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, and Mehdi Lhommeau
|
|
- Brianna Bradley
- 6 years ago
- Views:
Transcription
1 538 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY 2010 [2] A. Ilchmann and E. P. Ryan, High-gain control without identification: A survey, GAMM Mitt., vol. 31, no. 1, pp , [3] A. Ilchmann, E. P. Ryan, and C. J. Sangwin, Tracking with prescribed transient behavior, ESAIM: Control, Optim. Calculus Var., vol. 7, pp , [4] A. Ilchmann and H. Schuster, PI-funnel control for two mass systems, IEEE Trans. Autom. Control, vol. 54, no. 4, pp , Apr [5] I. M. Y. Mareels, A simple self-tuning controller for stably invertible systems, Syst. Control Lett., vol. 4, no. 1, pp. 5 16, [6] B. Mårtensson, The order of any stabilizing regulator is sufficient a priori information for adaptive stabilization, Syst. Control Lett., vol. 6, no. 2, pp , [7] D. E. Miller and E. J. Davison, An adaptive controller which provides an arbitrarily good transient and steady-state response, IEEE Trans. Autom. Control, vol. 36, no. 1, pp , Jan [8] A. S. Morse, Recent problems in parameter adaptive control, in Outils et Mod eles Mathématiques Pour L Automatique, L Analyse de Syst emes et le Traitment du Signal, I. D. Landau, Ed. Paris, France: Éditions du Centre National de la Recherche Scientifique (CNRS), 1983, vol. 3, pp [9] C. Sparrow, The Lorenz equations: Bifurcations, chaos, and strange attractors, in Number 41 in Applied Mathematical Sciences. New York: Springer- Verlag, [10] W. Walter, Ordinary Differential Equations. New York: Springer- Verlag, [11] J. C. Willems and C. I. Byrnes, A. Bensoussan and J. L. Lions, Eds., Global adaptive stabilization in the absence of information on the sign of the high frequency gain, in Proc. 6th INRIA Conf., Nice, France, 1984, pp Observer Design for Linear Systems Laurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, and Mehdi Lhommeau Abstract This technical note deals with the state estimation for maxplus linear systems. This estimation is carried out following the ideas of the observer method for classical linear systems. The system matrices are assumed to be known, and the observation of the input and of the output is used to compute the estimated state. The observer design is based on the residuation theory which is suitable to deal with linear mapping inversion in idempotent semiring. Index Terms Dioid, discrete event dynamics systems, idempotent semirings, max-plus algebra, observer, residuation theory, state estimation, timed event graphs (TEGs). I. INTRODUCTION Many discrete event dynamic systems, such as transportation networks [12], [21], communication networks, manufacturing assembly lines [3], are subject to synchronization phenomena. Timed event Manuscript received April 09, 2008; revised January 15, First published January 12, 2010; current version published February 10, This work was supported by CAPES (Brazil) and COFECUB (France). Recommended by Associate Editor S. Haar. L. Hardouin, B. Cottenceau, and M. Lhommeau are with the Laboratoire d Ingénierie des Systèmes Automatisés, Université d Angers, Angers 49100, France ( laurent.hardouin@univ-angers.fr; bertrand.cottenceau@univ-angers.fr; mehdi.lhommeau@univ-angers.fr) C.A. Maia is with the Departamento de Engenharia Elétrica, Universidade Federal de Minas Gerais,, Belo Horizonte , MG, Brazil ( maia@cpdee.ufmg.br). Color versions of one or more of the figures in this technical note are available online at Digital Object Identifier /TAC graphs (TEGs) are a subclass of timed Petri nets and are suitable tools to model these systems. A timed event graph is a timed Petri net of which all places have exactly one upstream transition and one downstream transition. Its description can be transformed into a (max; +) or a (min; +) linear model and vice versa [1], [5]. This property has advantaged the emergence of a specific control theory for these systems, and several control strategies have been proposed, e.g., optimal open loop control [4], [16], [19], [20], and optimal feedback control in order to solve the model matching problem [6], [14], [18], [19] and also [22]. This technical note focuses on observer design for (max; +) linear systems. The observer aims at estimating the state for a given plant by using input and output measurements. The state trajectories correspond to the transition firings of the corresponding timed event graph, their estimation is worthy of interest because it provides insight into internal properties of the system. For example these state estimations are sufficient to reconstruct the marking of the graph, as it is done in [10] for Petri nets without temporization. The state estimation has many potential applications, such as fault detection, diagnosis, and state feedback control. The (max; +) algebra is a particular idempotent semiring, therefore Section II reviews some algebraic tools concerning these algebraic structures. Some results about the residuation theory and its applications over semiring are also given. Section III recalls the description of timed event graphs in a semiring of formal series. Section IV presents and develops the proposed observer. It is designed by analogy with the classical Luenberger [17] observer for linear systems. It is done under the assumption that the system behavior is (max; +)-linear. This assumption means the model represents the fastest system behavior, in other words it implies that the system is unable to be accelerated, and consequently the disturbances can only reduce the system performances i.e., they can only delay the events occurrence. They can be seen as machine breakdown in a manufacturing system, or delay due to an unexpected crowd of people in a transport network. In the opposite, the disturbances which increase system performances, i.e., which anticipate the events occurrence, could give an upper estimation of the state, in this sense the results obtained are not equivalent to the observer for the classical linear systems. Consequently, it is assumed that the model and the initial state correspond to the fastest behavior (e.g., ideal behavior of the manufacturing system without extra delays or ideal behavior of the transport network without traffic holdup and with the maximal speed) and that disturbances only delay the occurrence of events. Under these assumptions a sufficient condition allowing to ensure equality between the state and the estimated state is given in proposition 4 in spite of possible disturbances, and proposition 3 yields some weaker sufficient conditions allowing to ensure equality between the asymptotic slopes of the state and the one of the estimated state, that means the error between both is always bounded. We invite the reader to consult the following link ~hardouin/observer.html to discover a dynamic illustration of the observer behavior. II. ALGEBRAIC SETTING An idempotent semiring S is an algebraic structure with two internal operations denoted by 8 and. The operation 8 is associative, commutative and idempotent, that is, a 8 a = a. The operation is associative (but not necessarily commutative) and distributive on the left and on the right with respect to 8. The neutral elements of 8 and are represented by " and e respectively, and " is an absorbing element for the law (8a 2 S; " a = a " = "). As in classical algebra, the operator will be often omitted in the equations, moreover, a i = a i01 a and 0 a = e. In this algebraic structure, a partial order /$ IEEE
2 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY relation is defined by a b, a = a 8 b, b = a ^ b (where a ^ b is the greatest lower bound of a and b), therefore an idempotent semiring S is a partially ordered set (see [1], [12] for an exhaustive introduction). An idempotent semiring S is said to be complete if it is closed for infinite 8-sums and if distributes over infinite 8-sums. In particular > = x2s x is the greatest element of S (> is called the top element of S). Example 1 ( max ): Set max = [f01; +1g endowed with the max operator as sum and the classical sum + as product is a complete idempotent semiring, usually denoted max, of which " = 01 and e =0. Theorem 1 (see [1], th. 4.75): The implicit inequality x ax 8 b as well as the equation x = ax 8 b defined over S, admit x = a 3 b as the least solution, where a 3 = i2 a i (Kleene star operator). Properties 1: The Kleene star operator satisfies the following well known properties (see [9] for proofs, and [13] for more general results): a 3 =(a 3 ) 3 ; a 3 a 3 = a 3 (1) (a 8 b) 3 = a 3 (ba 3 ) 3 =(a 3 b) 3 a 3 ; b(ab) 3 =(ba) 3 b: (2) Thereafter, the operator a + = i2 a i = aa 3 = a 3 a is also considered, it satisfies the following properties: a + =(a + ) + ; a 3 = e 8 a + (3) (a 3 ) + =(a + ) 3 = a 3 ; a + a 3 : (4) Definition 1 (Residual and Residuated Mapping): An order preserving mapping f : D 0! E, where D and E are partially ordered sets, is a residuated mapping if for all y 2Ethere exists a greatest solution for the inequality f (x) y (hereafter denoted f ] (y)). Obviously, if equality f (x) =y is solvable, f ] (y) yields the greatest solution. The mapping f ] is called the residual of f and f ] (y) is the optimal solution of the inequality. Theorem 2 (see [1], [2]): Let f : (D; ) 0!(C; ) be an order preserving mapping. The following statements are equivalent (i) f is residuated. (ii) there exists an unique order preserving mapping f ] : C 0! D such that f f ] C and f ] f D. Example 2: Mappings 3 a : x 7! a x and 9 a : x 7! x a defined over an idempotent semiring S are both residuated ([1, p. 181]). Their residuals are order preserving mappings denoted respectively by 3 a(x) ] =a nx and 9 a(x) ] =x =a. This means that a nb (respectively, b =a) is the greatest solution of the inequality a x b (respectively, x a b). Definition 2 (Restricted Mapping): Let f : D!Cbe a mapping and BD. We will denote by f jb : B!Cthe mapping defined by f jb = f jb where jb : B!D;x7! x is the canonical injection. Identically, let ECbe a set such that f E. Mapping Ej f : D! E is defined by f = je Ej f, where je : E!C;x7! x. Definition 3 (Closure Mapping): A closure mapping is an order preserving mapping f : D!Ddefined on an ordered set D such that f D and f f = f. Proposition 1 (see [6]): Let f : D! D be a closure mapping. Then, fjf is a residuated mapping whose residual is the canonical injection j f. Example 3: Mapping K : S 0! S;x 7! x 3 is a closure mapping (indeed a a 3 and a 3 =(a 3 ) 3 see (1)). Then ( KjK) is residuated and its residual is ( KjK) ] = j K. In other words, x = a 3 is the greatest solution of inequality x 3 a if a 2 K, that is x a 3, x 3 a 3. Example 4: Mapping P : S 0! S;x 7! x + is a closure mapping (indeed a a + and a + =(a + ) + see (3)). Then ( P jp ) is residuated and its residual is ( P jp ) ] = j P. In other words, x = a + is the greatest solution of inequality x + a if a 2 P, that is x a +, x + a +. Remark 1: According to (4), (a 3 ) + = a 3, therefore K P. Properties 2: Some useful results involving these residuals are presented below (see [1] for proofs and more complete results) a na =(a na) 3 a =a =(a =a) 3 (5) a(a n(ax)) = ax ((xa) =a)a = xa (6) b na nx =(ab) nx x =a =b = x =(ba) (7) a 3 n(a 3 x)=a 3 x (a 3 x) =a 3 = a 3 x (8) (a nx) ^ (a ny) =a n(x ^ y) (x =a) ^ (y =a) =(x ^ y) =a: (9) The set of n2n matrices with entries in S is an idempotent semiring. The sum, the product and the residuation of matrices are defined after the sum, the product and the residuation of scalars in S, i.e., (A B) ik = j=1...n (a ij b jk ) (10) (A 8 B) ij = a ij 8 b ij (11) (A nb) ij = = k=1...n k=1...n (a ki nb kj ); (B =A) ij (b ik =a jk ): (12) The identity matrix of S n2n is the matrix with entries equal to e on the diagonal and to " elsewhere. This identity matrix will also be denoted e, and the matrix with all its entries equal to " will also be denoted ". Definition 4 (Reducible and Irreducible Matrices): Let A be a n2n matrix with entries in a semiring S. Matrix A is said reducible, if and only if for some permutation matrix P, the matrix P T AP is block upper triangular. If matrix A is not reducible, it is said to be irreducible. III. TEG DESCRIPTION IN IDEMPOTENT SEMIRING Timed event graphs constitute a subclass of timed Petri nets i.e., those whose places have one and only one upstream and downstream transition. A timed event graph (TEG) description can be transformed into a (max; +) or a (min; +) linear model and vice versa. To obtain an algebraic model in max, a dater function is associated to each transition. For transition labelled x i, x i (k) represents the date of the kth firing (see [1], [12]). A trajectory of a TEG transition is then a firing date sequence of this transition. This collection of dates can be represented by a formal series x() = k2 x i (k) k where x i(k) 2 max and is a backward shift operator 1 in the event domain (formally x(k) =x(k 0 1)). The set of formal series in is denoted by max [[]] and constitutes a complete idempotent semiring. For instance, considering the TEG in Fig. 1, daters x 1, x 2 and x 3 are related as follows over max: x 3 (k) =1x 1 (k)82x 2 (k)82x 3 (k01). Their respective -transforms, expressed over max[[]], are then related as x 3 () =1x 1 () 8 2x 2 () 8 2x 3 (): In this technical note TEGs are modelled in this setting, by the following model: x = Ax 8 Bu 8 Rw y = Cx (13) where u 2 ( max [[]]) p, y 2 ( max [[]]) m and x 2 ( max [[]]) n are respectively the controllable input, output and state vector, i.e., each of their entries is a trajectory which represents the collection of firing 1 Operator plays a role similar to operator z in the Z transform for the conventional linear systems theory.
3 540 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY 2010 Fig. 1. Timed event graph, u controllable and w uncontrollable inputs. dates of the corresponding transition. Matrices A 2 ( max[[]]) n2n, B 2 ( max [[]]) n2p, C 2 ( max [[]]) m2n represent the links between each transition, and then describe the structure of the graph. Vector w 2 ( max [[]]) l represents uncontrollable inputs (i.e., disturbances 2 ). Each entry of w corresponds to a transition which disables the firing of internal transition of the graph, and then decreases the performance of the system. This vector is bound to the graph through matrix R 2 ( max [[]]) n2l. Afterwards, each input transition u i (respectively w i) is assumed to be connected to one and only one internal transition x j, this means that each column of matrix B (respectively, R) has one entry equal to e and the others equal to " and at most one entry equal to e on each row. Furthermore, each output transition y i is assumed to be linked to one and only one internal transition x j, i.e., each row of matrix C has one entry equal to e and the others equal to " and at most one entry equal to e on each column. These requirements are satisfied without loss of generality, since it is sufficient to add extra input and output transition. Note that if R is equal to the identity matrix, w can represent initial state of the system x(0) by considering w = x(0) (see [1, p. 245], for a discussion about compatible initial conditions). By considering theorem 1, this system can be rewritten as x = A 3 Bu 8 A 3 Rw (14) y = CA 3 Bu 8 CA 3 Rw (15) where (CA 3 B) 2 ( max [[]]) m2p (respectively (CA 3 R) 2 ( max [[]]) m2l ) is the input/output (respectively, disturbance/output) transfer matrix. Matrix (CA 3 B) represents the earliest behavior of the system, therefore it must be underlined that the uncontrollable inputs vector w (initial conditions or disturbances) is only able to delay the transition firings, i.e., according to the order relation of the semiring, to increase the vectors x and y. If the TEG is strongly connected, i.e., there exists at least one path between transitions x i;xj 8i; j, then matrix A is irreducible. If A is reducible, according to definition 4, there exists a permutation matrix such that A = A 11 A A 1k " A A 2k " " 111 A kk (16) where k is the number of strongly connected components of the TEG, and each matrix A ii is an irreducible matrix associated to the component i. Matrices A ij (with i 6= j) represent the links between these strongly connected components. 2 In manufacturing setting, w may represent machine breakdowns or failures in component supply. Fig. 2. Periodic series s =(e ) 8 (5 8 6 )(3 ). Consequently, for the TEG depicted Fig. 1, the following matrices " " are obtained: A = 2 2 " ; B = e ", " " 3 " e e " " C = e " " ; R = " e ", and leads to the following " " e " " e A 3 matrix: A 3 = (4) 3 1(4) 3 6(4) 3 2(4) 3 e (4) (4) 3 : " " (3) 3 According to assumptions about matrices C, B, and R, the matrices (CA 3 B) and (CA 3 R) are composed of some entries of matrix A 3. Each entry is a periodic series [1] in the max [[]] semiring. A periodic series s is usually represented by s = p8qr 3, where p (respectively q) is a polynomial depicting the transient (respectively, the periodic) behavior, and r = is a monomial depicting the periodicity allowing to define the asymptotic slope of the series as 1(s) = = (see Fig. 2). Sum, product, and residuation of periodic series are well defined (see [9]), and algorithms and software toolboxes are available in order to handle periodic series and compute transfer relations (see [7]). Below, only the rules between monomials and properties concerning asymptotic slope are recalled t 8 t =max(t ;t ) ; t 8 t =t ; t t =(t +t ) ; (t ) =(t )=(t ) n(t )=(t 0 t ) ; (s 8 s )=min( (s); (s )) (17) (s s ) = min( (s); (s )) (18) (s ^ s ) = max( (s); (s )) (19) if (s) (s ) then (s ns)= (s); else s ns= (20) ": Let us recall that if matrix A is irreducible then all the entries of matrix A 3 have the same asymptotic slope, which will be denoted 1(A). If A is a reducible matrix assumed to be in its block upper triangular representation, then matrix A 3 is block upper triangular and matrices (A 3 ) ii are such that (A 3 ) ii = A 3 ii for each i 2 [1;k]. Therefore, since A ii is irreducible, all the entries of matrix (A 3 ) ii have the same asymptotic slope 1((A 3 ) ii ). Furthermore, entries of each matrix (A 3 ) ij with i <jare such that their asymptotic slope is lower than or equal to min(1((a 3 ) ii );1((A 3 ) jj )).
4 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY and by recalling that (LCA 3 ) 3 LCA 3 =(LCA 3 ) +, this equation may be written as follows: ^x = A 3 (LCA 3 ) 3 Bu 8 A 3 (LCA 3 ) + Bu 8 A 3 (LCA 3 ) + Rw: Equation (4) yields (LCA 3 ) 3 (LCA 3 ) +, then the observer model may be written as follows: ^x = A 3 (LCA 3 ) 3 Bu 8 A 3 (LCA 3 ) + Rw =(A 8 LC) 3 Bu 8 (A 8 LC) 3 3 LCA Rw: (24) Fig. 3. Observer structure. As said previously the objective considered is to compute the greatest observation matrix L such that the estimated state vector ^x be as close as possible to state x, under the constraint ^x x, formally it can be written IV. MAX-PLUS OBSERVER Fig. 3 depicts the observer structure directly inspired from the classical linear system theory (see [17]). The observer matrix L aims at providing information from the system output into the simulator, in order to take the disturbances w acting on the system into account. The simulator is described by the model 3 (matrices A, B, C) which is assumed to represent the fastest behavior of the real system in a guaranteed way 4, furthermore the simulator is initialized by the canonical initial conditions (i.e., ^x i(k) = "; 8k 0). These assumptions induce that y ^y since disturbances and initial conditions, depicted by w, are only able to increase the system output. By considering the configuration of Fig. 3 and these assumptions, the computation of the optimal observer matrix Lx will be proposed in order to achieve the constraint ^x x. Optimality means that the matrix is obtained thanks to the residuation theory and then it is the greatest one (see definition 1), hence the estimated state ^x is the greatest which achieves the objective. Obviously this optimality is only ensured under the assumptions considered (i.e., ^y y). As in the development proposed in conventional linear systems theory, matrices A, B, C and R are assumed to be known, then the system transfer is given by (14) and (15). According to Fig. 3 the observer equations are given by ^x = A^x 8 Bu 8 L(^y 8 y) = A^x 8 Bu 8 LC ^x 8 LCx ^y = C ^x: (21) By applying Theorem 1 and by considering (14), (21) becomes (A 8 LC) 3 Bu 8 (A 8 LC) 3 3 LCA Rw 3 A Bu 8 3 A Rw 8(u; w) or equivalently (A 8 LC) 3 B A 3 B (25) (A 8 LC) 3 LCA 3 R A 3 R: (26) Lemma 1: The greatest matrix L such that (A 8 LC) 3 B = A 3 B is given by L 1 =(A 3 B) =(CA 3 B): (27) n2m max Proof: First let us note that L = " 2 is a solution, indeed (A 8 "C) 3 B = A 3 B. Consequently, the greatest solution of the inequality (A 8 LC) 3 B A 3 B will satisfy the equality. Furthermore, according to (2), (A 8 LC) 3 B =(A 3 LC) 3 A 3 B. So the objective is given by 3 (A LC) 3 3 A B 3 A B, (A 3 LC) 3 (A 3 B) =(A 3 B) (see example 2), 3 (A LC) 3 3 ((A B) 3 =(A B)) 3 (see eq: (5)), (A 3 LC) (A 3 B) =(A 3 B) (see example 3), L 3 3 A n(a B) 3 =(A B) =C (see example 2), L 3 3 A n(a B) 3 =(CA B) (see eq: (7)), L 3 (A B) 3 =(CA B)=L 1 (see eq: (8)): ^x =(A8LC) 3 Bu 8 (A 8 LC) 3 LCA 3 Bu 8(A 8 LC) 3 3 LCA Rw: (22) By applying (2) the following equality is obtained: by replacing in (22): (A 8 LC) 3 = A 3 (LCA 3 ) 3 (23) ^x = A 3 (LCA 3 ) 3 Bu 8 A 3 (LCA 3 ) 3 LCA 3 Bu 8A 3 (LCA 3 ) 3 LCA 3 Rw 3 Disturbances are uncontrollable and a priori unknown, then the simulator does not take them into account. 4 Unlike in the conventional linear system theory, this assumption means that the fastest behavior of the system is assumed to be known and that the disturbances can only delay its behavior. Lemma 2: The greatest matrix L that satisfies (A 8 LC) 3 LCA 3 R A 3 R is given by Proof: See L 2 =(A 3 R) =(CA 3 R): (28) (A 8 LC) 3 3 LCA R 3 A R, A 3 (LCA 3 ) 3 LCA 3 R A 3 R (see eq: (23));, 3 (LCA ) 3 3 LCA R A n(a R)=A R (see example 2 and eq: (8); with x = R);, 3 (LCA ) LCA A R =(LCA ) + 3 A R 3 A R (see eq: (1) and a + denition);, 3 (LCA ) + 3 (A R) 3 3 =(A R)=((A R) 3 =(A R)) 3 (see eq: (5))
5 542 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY 2010 according to remark 1 the right member is in P, then by applying the result presented in example 4, this inequality may be written as follows: 3 LCA 3 3 (A R)=(A R), L (A R)=(A R)=(CA )=(A R)=(CA A R) (see example 2 and eq: (8)), L (A 3 R)=(CA 3 R)=L 2 (see eq: (1)): Proposition 2: L x = L 1 ^ L 2 is the greatest observer matrix such that ^x = A^x 8 Bu 8 L(^y 8 y) x = Ax 8 Bu 8 Rw 8(u; w): Proof: Lemma 1 implies L L 1 and lemma 2 implies L L 2, then L L 1 ^ L 2 = L x. Corollary 1: The matrix L x ensures the equality between estimated output ^y and measured output y, i.e., C(A 8 L x C) 3 B = CA 3 B (29) C(A 8 L xc) 3 L xca 3 R = CA 3 R: (30) Proof: Let ~ L = e=c be a particular observer matrix. Definition 1 yields ~ LC e then (A 8 ~ LC) 3 = A 3. This equality implies (A 8 ~ LC) 3 B = A 3 B, therefore according to lemma 1 ~ L L 1, since L 1 is the greatest solution. That implies also that L 1 is solution of (29). Equality (A 8 LC) ~ 3 3 = A and inequality LC ~ e yield (A 8 LC) ~ 3 LCA ~ 3 R = A 3 ~LCA 3 R A 3 R then according to lemma 2 L ~ L 2 since L 2 is the greatest solution. That implies also that 3 L ~ and 3 L 2 are such that C(A 8 LC) ~ 3 LCA ~ 3 R C(A 8 L 2 C) L 2 CA R 3 CA R. The assumption about matrix C (see Section III) yields CC T = e and L ~ = e=c = C T, therefore C(A 8 ~LC) 3 LCA ~ 3 R = CA 3 ~LCA 3 R = (C L ~ 8 CA L ~ 8 111)CA 3 R C LCA ~ R = CC T CA R = CA R. Therefore, since L ~ L 2,we have C(A8 LC) ~ 3 LCA ~ R = C(A8L2C) L 2CA R = CA R and both L ~ and L 2 yield equality (30). To conclude L ~ L 1 ^ L 2 = L x, hence, L x L 1 yields the equality (29) and L x L 2 yields (30). Therefore equality ^y = y is ensured. Remark 2: By considering matrix B = (B R), (12) and (9), matrix L x may be written as: 3 L x =(A B 3 =(CA B). According to the residuation theory (see definition 1), L x yields x =^x if possible. Nevertheless, two questions arise, first is it possible to ensure equality between the asymptotic slope of each state vector entries? Secondly is it possible to ensure equality between these vectors? Below, sufficient conditions allowing to answer positively are given. Proposition 3: Let k be the number of strongly connected components of the TEG considered. If matrix C 2 max[[]] k2n is defined as in Section III and such that each strongly connected component is linked to one and only one output then 1(x i)=1(^x i)8i 2 [1;n]. Proof: First, assuming that matrix A is irreducible (i.e., k = 1), then all entries of matrix A 3 have the same asymptotic slope 1(A 3 ). As said in Section III entries of matrices B, R, and C are equal to " or e, therefore, according to matrices operation definitions [see (10) to (12) and rules (17) to (20)], all the have the entries of matrices 3 A B, 3 A R, 3 CA B, 3 CA R and L x same asymptotic slope which is equal to 3 1(A ). Consequently, by considering (24), 1(((A L x C) B) ij ) = 1((A B) ij ) and 1(((A L xc) L xca R) ij) = 1((A R) ij), which leads to 1(x i )=1(^x i ) 8i 2 [1;n]. Now the reducible case is considered. To increase the readability, matrices B and R are assumed to be equal to e and the proof is given for a graph with two strongly connected components. The extension for a higher dimension may be obtained in an analogous way. As said in Section III, matrix A 3 is block upper diagonal: A 3 = (A3 ) 11 (A 3 ) 12 " (A 3 ) 22 all the entries of the square matrix 3 (A ) ii have the same asymptotic slope 3 1((A ) ii) and all the entries of matrix 3 (A ) 12 have the same asymptotic slope, ((A ) 12 ) = min(1((a ) 11 );1((A ) 22 )). Assumption about matrix C 2 max [[]] 22n, i.e., one and only one entry is linked to each strongly connected component, yields the following block upper diagonal matrix: CA 3 = (CA3 ) 11 (CA 3 ) 12 " (CA 3 ) 22 where ((CA 3 ) 11 (CA 3 ) 12 ) is one row of matrix ((A 3 ) 11 (A 3 ) 12 ) and ( " (CA 3 ) 22 ) is one row of matrix ( " (A 3 ) 22 ), hence 1((CA 3 ) ij ) = 1((A 3 ) ij ). Matrix L x is also block upper diagonal 3 L x = A =C = L x11 L x12 " L x22 where ( L x11 " ) T is one column of matrix ((A 3 ) 11 " ) T and ( L x12 L x22 ) T is one column of matrix ((A 3 ) 12 (A 3 ) 22 ) T, hence 1(L xij) = 1((A 3 ) ij). Therefore L xca 3 is block upper diagonal L x CA 3 = Lx11(CA3 ) 11 L x11(ca 3 ) 12 8 L x12(ca 3 ) 22 " L x22 (CA 3 ) = (L xca ) 11 (L x CA 3 ) 12 (31) " (L xca ) 22 and by considering rules (17) and (20), the sub matrices are such that 1((L 3 3 x CA ) ij )= 1((A ) ij ). By recalling that (A 8 3 L x C) = A (L x CA ), we obtain 1(((A L x C) ) ij ) = 1((A ) ij ) and 1(((A L xc) L xca ) ij) = 1((A ) ij), which leads to 1(x i )=1(^x i ) 8i 2 [1;n]. Proposition 4: If matrix 3 A B is in 9CA B, matrix L x is such that ^x = x. Proof: First, let us recall that 3 A B 3 2 9CA B,9z s:t: A B = zca 3 B, 3 ((A B)=(CA 3 B))(CA 3 B) =A 3 B: If 9z s:t: A 3 B = zca 3 B then by recalling that B =(B L xca 3 B =((A 3 B)=(CA 3 B))CA 3 B 3 =((zca B)=(CA 3 B))CA 3 3 B = zca B = A 3 B (see eq: (6) R), this equality can be written (L x CA 3 B L x CA 3 R)=(A 3 B A 3 R): Therefore (A 8 L x C) 3 L x CA 3 R = A 3 (L x CA 3 ) 3 L x CA 3 R = A 3 (L x CA 3 ) + R = A 3 (L x CA 3 R 8(L x CA 3 ) 2 R 8 (L x CA 3 ) 3 R 8 111) (see (23) and a + definition). Since L xca 3 R = A 3 R, the following equality is satified (L x CA 3 ) 2 R = L x CA 3 A 3 R = L x CA 3 R = A 3 R and more generally (L x CA 3 ) i R = A 3 R, therefore L x ensures equality (A8L xc) 3 L xca 3 R = A 3 (L xca 3 ) + R = A 3 R. On the other hand lemma 1 yields the equality (A 8 L x C) 3 B = A 3 B, which concludes the proof. Remark 3: This sufficient condition gives an interesting test to know if the number of sensors is sufficient and if they are well localized to
6 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 2, FEBRUARY allow an exact estimation. Obviously, this condition is fulfilled if matrix C is equal to the identity. Below, the synthesis of the observer matrices L x for the TEG of Fig. 1 is given L x = (4) 3 6(4) 3 2 (4) (4) 3 " (3) 3 : Assumptions of proposition 3 being fulfilled, it can easily be checked, by using toolbox Minmaxgd (see [7]), that 1(x i)= 1(^x i) 8i 2 [1;n] and that Cx = C ^x 8(u; w) according to corollary 1. V. CONCLUSION This technical note 5 has proposed a methodology to design an observer for (max; +) linear systems. The observer matrix is obtained thanks to the residuation theory and is optimal in the sense that it is the greatest which achieves the objective. It allows to compute a state estimation lower than or equal to the real state and ensures that the estimated output is equal to the system output. As a perspective, this state estimation may be used in state feedback control strategies as proposed in [6], [19], and an application to fault detection for manufacturing systems may be envisaged. Furthermore, in order to deal with uncertain systems an extension can be envisaged by considering interval analysis as it is done in [11], [15] and more recently in [8]. REFERENCES [1] F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity: An Algebra for Discrete Event Systems. New York: Wiley, [2] T. S. Blyth and M. F. Janowitz, Residuation Theory. Oxford, U.K.: Pergamon Press, [3] G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot, A linear system theoretic view of discrete event processes and its use for performance evaluation in manufacturing, IEEE Trans. Autom. Control, vol. AC-30, no. 3, pp , Mar [4] G. Cohen, S. Gaubert, and J. Quadrat, Max-plus algebra and system theory: Where we are and where to go now, in Proc. Elsevier Annu. Rev. Control, 1999, vol. 23, pp [5] G. Cohen, P. Moller, J. P. Quadrat, and M. Viot, Linear system theory for discrete-event systems, in Proc. 23rd IEEE Conf. Decision Control, Las Vegas, NV, 1984, pp [6] B. Cottenceau, L. Hardouin, J.-L. Boimond, and J.-L. Ferrier, Model reference control for timed event graphs in dioids, Automatica, vol. 37, pp , [7] B. Cottenceau, L. Hardouin, M. Lhommeau, and J.-L. Boimond, Data processing tool for calculation in dioid, in Proc. Wodes 00 Workshop Discrete Event Syst., Ghent, Belgique, Aug [Online]. Available: [8] M. DiLoreto, S. Gaubert, R. Katz, and J.-J. Loiseau, Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems Jan [Online]. Available: [9] S. Gaubert, Théorie Des Systèmes Linéaires Dans Les Dioïdes, Ph.D. dissertation, Ecole des Mines de Paris, Paris, France, [10] A. Giua and C. Seatzu, Observability of place/transition nets, IEEE Trans. Autom. Control, vol. 47, no. 9, pp , Sep [11] L. Hardouin, B. Cottenceau, M. Lhommeau, and E. Le Corronc, Interval systems over idempotent semiring, Linear Algebra Appl., vol. 431, no. 5 7, pp , Aug [12] B. Heidergott, G.-J. Olsder, and J. van der Woude, Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max- Plus Algebra and Its Applications. Princeton, NJ: Princeton Univ. Press, [13] D. Krob, Complete systems of B-rational identities, Theoret. Comput. Sci., vol. 89, no. 2, pp , [14] M. Lhommeau, L. Hardouin, and B. Cottenceau, Optimal control for (max; +)-linear systems in the presence of disturbances, Positive Syst.: Theory Appl., POSTA, Springer LNCIS 294, pp , The authors are grateful to V. Reverdy for her valuable linguistic help [15] M. Lhommeau, L. Hardouin, B. Cottenceau, and L. Jaulin, Interval analysis and dioid: Application to robust controller design for timed event graphs, Automatica, vol. 40, pp , [16] M. Lhommeau, L. Hardouin, J. L. Ferrier, and I. Ouerghi, Interval analysis in dioid: Application to robust open loop control for timed event graphs, in Proc. 44th IEEE CDC-ECC 05, Sevilla, Spain, 2005, pp [17] D. Luenberger, An introduction to observers, IEEE Trans. Autom. Control, vol. AC-16, no. 6, pp , Dec [18] C. A. Maia, L. Hardouin, R. Santos-Mendes, and B. Cottenceau, Optimal closed-loop control of timed event graphs in dioid, IEEE Trans. Autom. Control, vol. 48, no. 12, pp , Dec [19] C. A. Maia, L. Hardouin, R. Santos-Mendes, and B. Cottenceau, On the model reference control for max-plus linear systems, in Proc. 44th IEEE CDC-ECC 05, Sevilla, Spain, 2005, pp [Online]. Available: [20] E. Menguy, J.-L. Boimond, L. Hardouin, and J.-L. Ferrier, Just in time control of timed event graphs: update of reference input, presence of uncontrollable input, IEEE Trans. Autom. Control, vol. 45, no. 11, pp , Nov [21] J.-P. Quadrat, N. Farhi, and M. Goursat, Derivation of the fundamental traffic diagram for two circular roads and a crossing using minplus algebra and petri net modeling, in Proc. CDC 05, Sevilla, Spain, [22] Y. Shang and M. K. Sain, On zero semimodules of systems over semirings with applications to queueing systems, in Proc. Amer. Control Conf., 2005, pp HOSM Observer for a Class of Non-Minimum Phase Causal Nonlinear MIMO Systems Yuri B. Shtessel, Simon Baev, Christopher Edwards, and Sarah Spurgeon Abstract A higher order sliding mode observer is proposed for asymptotic identification of the full state vector and the vector of unknown inputs for MIMO nonlinear causal systems with unstable internal dynamics. The problem is addressed via consistent application of exact higher order sliding mode differentiators in conjunction with the method of stable system center. A numerical example illustrates the performance of the proposed algorithm. Index Terms Causal, higher order sliding mode (HOSM), nonlinear, nonminimum phase (NMP), observer. I. INTRODUCTION Simultaneous observation of the full state and unknown inputs in causal nonminimum-phase (with unstable zero dynamics) nonlinear systems is a challenging, real-life control problem [1], for example state estimation and disturbance reconstruction for flexible launch vehicles. Manuscript received June 24, 2008; revised February 19, 2009 and July 27, First published January 08, 2010; current version published February 10, Recommended by Associate Editor A. Ferrara. Y. B. Shtessel is with the Department of Electrical and Computer Engineering, The University of Alabama, Huntsville, AL USA ( shtessel@ece.uah.edu). S. Baev is with the School of Computing and Mathematics, Georgia South- Western State University, Americus, GA USA ( baevs@eng. uah.edu). C. Edwards is with the Department of Engineering, University of Leicester, Leicester LE1 7RH, U.K. ( chris.edwards@le.ac.uk). S. Spurgeon is with the Department of Electrical Engineering, University of Kent, Canterbury, Kent CT2 7NZ, U.K. ( s.k.spurgeon@kent.ac.uk). Color versions of one or more of the figures in this paper are available online at Digital Object Identifier /TAC /$ IEEE
Laurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, Mehdi Lhommeau. Abstract. Index Terms
1 Observer Design for (max,plus) Linear Systems, Extended version of a paper published in IEEE Transaction on Automatic Control, vol.55-2, 2010, pp 538-543. Laurent Hardouin, Carlos Andrey Maia, Bertrand
More informationAbout closed-loop control and observability of max-plus linear systems: Application to manufacturing systems
About closed-loop control and observability of max-plus linear systems: Application to manufacturing systems Laurent Hardouin and Xavier David-Henriet perso-laris.univ-angers.fr/~hardouin/ ISTIA-LARIS,
More informationDisturbance Decoupling of Timed Event Graphs by Output Feedback Controller
Disturbance Decoupling of Timed Event Graphs by Output Feedback Controller 1 M. Lhommeau, L. Hardouin and B. Cottenceau Abstract This paper deals with the closed loop controller design for (max,+)-linear
More informationObserver-based Controllers for Max-plus Linear Systems
1 Observer-based Controllers for Max-plus Linear Systems Laurent Hardouin, Ying Shang, Carlos Andrey Maia, Bertrand Cottenceau Abstract Max-plus algebra is a suitable algebraic setting to model discrete
More informationModeling and Control for (max, +)-Linear Systems with Set-Based Constraints
2015 IEEE International Conference on Automation Science and Engineering (CASE) Aug 24-28, 2015. Gothenburg, Sweden Modeling and Control for (max, +)-Linear Systems with Set-Based Constraints Xavier David-Henriet
More informationOpen Loop Controllers to Solve the Disturbance Decoupling Problem for Max-Plus Linear Systems
2013 European Control Conference (ECC) July 17-19, 2013, Zürich, Switzerland. Open Loop Controllers to Solve the Disturbance Decoupling Problem for Max-Plus Linear Systems Ying Shang, Laurent Hardouin,
More informationSynthesis of Greatest Linear Feedback for Timed Event Graphs in Dioid
Synthesis of Greatest Linear Feedback for Timed Event Graphs in Dioid Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond, Jean-Louis Ferrier To cite this version: Bertrand Cottenceau, Laurent Hardouin,
More informationYing Shang, Laurent Hardouin, Mehdi Lhommeau, and Carlos Andrey Maia
53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA An Integrated Control Strategy in Disturbance Decoupling of Max-Plus Linear Systems with Applications to
More informationModeling and Control of Nested Manufacturing Processes using Dioid Models
Modeling and Control of Nested Manufacturing Processes using Dioid Models Thomas Brunsch, Laurent Hardouin and Jörg Raisch Fachgebiet Regelungssysteme, Technische Universität Berlin, 1587 Berlin, Germany
More informationControl Hierarchies and Tropical Algebras
Control Hierarchies and Tropical Algebras Jörg Raisch 1,2, Xavier David-Henriet 1,2,3, Tom Brunsch 1,3, Laurent Hardouin 3 1 Fachgebiet Regelungssysteme Fakultät Elektrotechnik und Informatik, TU Berlin
More informationYing Shang, Laurent Hardouin, Mehdi Lhommeau, and Carlos Andrey Maia
Robust Controllers in Disturbance Decoupling of Uncertain Max-Plus Linear Systems: An Application to a High Throughput Screening System for Drug Discovery Ying Shang, Laurent Hardouin, Mehdi Lhommeau,
More informationDiscrete-Event Systems in a Dioid Framework: Control Theory
Chapter 22 Discrete-Event Systems in a Dioid Framework: Control Theory Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch, and Jörg Raisch 22.1 Motivation This chapter deals with the
More informationModeling and Stability Analysis of a Communication Network System
Modeling and Stability Analysis of a Communication Network System Zvi Retchkiman Königsberg Instituto Politecnico Nacional e-mail: mzvi@cic.ipn.mx Abstract In this work, the modeling and stability problem
More informationControl of Real-Time Discrete Event Systems * Guillaume Brat and Vijay K. Garg. The University of Texas at Austin. Austin, TX 78712, USA
A Max-Plus Algebra of Signals for the Supervisory Control of Real-Time Discrete Event Systems * Guillaume Brat and Vijay K. Garg Department of Electrical and Computer Engineering The University of Texas
More informationA Tropical Extremal Problem with Nonlinear Objective Function and Linear Inequality Constraints
A Tropical Extremal Problem with Nonlinear Objective Function and Linear Inequality Constraints NIKOLAI KRIVULIN Faculty of Mathematics and Mechanics St. Petersburg State University 28 Universitetsky Ave.,
More informationFunnel control with saturation: linear MIMO systems
SUBMISSION: IEEE TRANSACTIONS ON AUTOMATIC CONTROL Funnel control with saturation: linear MIMO systems Norman Hopfe Achim Ilchmann Eugene P. Ryan Abstract Tracking by the system output of a reference signal
More informationStock Reduction for Timed Event Graphs Based on Output Feedback
Stock Reduction for Timed Event Graphs Based on Output Feedback X. David-Henriet,, T. Brunsch, J. Raisch, L. Hardouin Technische Universität Berlin, Fachgebiet Regelungssysteme, 10587 Berlin, Germany (e-mail:
More informationMatrix factorization and minimal state space realization in the max-plus algebra
KULeuven Department of Electrical Engineering (ESAT) SISTA Technical report 96-69 Matrix factorization and minimal state space realization in the max-plus algebra B De Schutter and B De Moor If you want
More informationA Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra
International Mathematical Forum, 4, 2009, no. 24, 1157-1171 A Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra Zvi Retchkiman Königsberg Instituto Politécnico Nacional,
More informationApplication of product dioids for dead token detection in interval P-time event graphs
Application of product dioids for dead token detection in interval P-time event graphs Jan Komenda Sébastien Lahaye Pavel Špaček Institute of Mathematics, Czech Academy of Sciences, Žižkova 22, 616 62
More informationA Solution of a Tropical Linear Vector Equation
A Solution of a Tropical Linear Vector Equation NIKOLAI KRIVULIN Faculty of Mathematics and Mechanics St. Petersburg State University 28 Universitetsky Ave., St. Petersburg, 198504 RUSSIA nkk@math.spbu.ru
More informationState space transformations and state space realization in the max algebra
K.U.Leuven Department of Electrical Engineering (ESAT) SISTA Technical report 95-10 State space transformations and state space realization in the max algebra B. De Schutter and B. De Moor If you want
More informationMANY adaptive control methods rely on parameter estimation
610 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 52, NO 4, APRIL 2007 Direct Adaptive Dynamic Compensation for Minimum Phase Systems With Unknown Relative Degree Jesse B Hoagg and Dennis S Bernstein Abstract
More informationControl of Hybrid Petri Nets using Max-Plus Algebra
Control of Hybrid Petri Nets using Max-Plus Algebra FABIO BALDUZZI*, ANGELA DI FEBBRARO*, ALESSANDRO GIUA, SIMONA SACONE^ *Dipartimento di Automatica e Informatica Politecnico di Torino Corso Duca degli
More informationStability of Switched Linear Hyperbolic Systems by Lyapunov Techniques
2196 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 8, AUGUST 2014 Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques Christophe Prieur, Antoine Girard, Emmanuel Witrant Abstract
More informationA Mixed Lyapunov-Max-Plus Algebra Approach to the Stability Problem for a two Species Ecosystem Modeled with Timed Petri Nets
International Mathematical Forum, 5, 2010, no. 28, 1393-1408 A Mixed Lyapunov-Max-Plus Algebra Approach to the Stability Problem for a two Species Ecosystem Modeled with Timed Petri Nets Zvi Retchkiman
More informationOPTIMAL INPUT SIGNAL DESIGN FOR IDENTIFICATION OF MAX PLUS LINEAR SYSTEMS
OPTIMAL INPUT SIGNAL DESIGN FOR IDENTIFICATION OF MAX PLUS LINEAR SYSTEMS Gernot Schullerus, Volker Krebs, Bart De Schutter, Ton van den Boom Institut für Regelungs- und Steuerungssysteme, Universität
More informationwhere B = B(U) and Lemma 2: For an uncertain discrete event system over the
2009 American Control Conference Hyatt Regency Riverfront, St. Louis, MO, USA June 10-12, 2009 FrB05.3 Robust Invariance in Uncertain Discrete Event Systems with Applications to Transportation Networks
More informationLyapunov Stability of Linear Predictor Feedback for Distributed Input Delays
IEEE TRANSACTIONS ON AUTOMATIC CONTROL VOL. 56 NO. 3 MARCH 2011 655 Lyapunov Stability of Linear Predictor Feedback for Distributed Input Delays Nikolaos Bekiaris-Liberis Miroslav Krstic In this case system
More informationTHIS paper deals with robust control in the setup associated
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 50, NO 10, OCTOBER 2005 1501 Control-Oriented Model Validation and Errors Quantification in the `1 Setup V F Sokolov Abstract A priori information required for
More informationRoad Traffic Models using Petri Nets and Minplus Algebra
Road Traffic Models using Petri Nets and Minplus Algebra Nadir Farhi, Maurice Goursat, and Jean-Pierre Quadrat INRIA - Rocquencourt, Domaine de oluceau 78153 Le Chesnay, Cedex, France. Abstract. We present
More informationThe characteristic equation and minimal state space realization of SISO systems in the max algebra
KULeuven Department of Electrical Engineering (ESAT) SISTA Technical report 93-57a The characteristic equation and minimal state space realization of SISO systems in the max algebra B De Schutter and B
More informationOutput Regulation of the Arneodo Chaotic System
Vol. 0, No. 05, 00, 60-608 Output Regulation of the Arneodo Chaotic System Sundarapandian Vaidyanathan R & D Centre, Vel Tech Dr. RR & Dr. SR Technical University Avadi-Alamathi Road, Avadi, Chennai-600
More information1 Introduction It will be convenient to use the inx operators a b and a b to stand for maximum (least upper bound) and minimum (greatest lower bound)
Cycle times and xed points of min-max functions Jeremy Gunawardena, Department of Computer Science, Stanford University, Stanford, CA 94305, USA. jeremy@cs.stanford.edu October 11, 1993 to appear in the
More informationThe Stability Problem for Discrete Event Dynamical Systems Modeled with timed Petri Nets Using a Lyapunov-Max-Plus Algebra Approach
International Mathematical Forum, Vol. 6, 2011, no. 11, 541-556 The Stability Problem for Discrete Event Dynamical Systems Modeled with timed Petri Nets Using a Lyapunov-Max-Plus Algebra Approach Zvi Retchkiman
More informationTHE DESIGN OF ACTIVE CONTROLLER FOR THE OUTPUT REGULATION OF LIU-LIU-LIU-SU CHAOTIC SYSTEM
THE DESIGN OF ACTIVE CONTROLLER FOR THE OUTPUT REGULATION OF LIU-LIU-LIU-SU CHAOTIC SYSTEM Sundarapandian Vaidyanathan 1 1 Research and Development Centre, Vel Tech Dr. RR & Dr. SR Technical University
More informationOUTPUT REGULATION OF THE SIMPLIFIED LORENZ CHAOTIC SYSTEM
OUTPUT REGULATION OF THE SIMPLIFIED LORENZ CHAOTIC SYSTEM Sundarapandian Vaidyanathan Research and Development Centre, Vel Tech Dr. RR & Dr. SR Technical University Avadi, Chennai-600 06, Tamil Nadu, INDIA
More informationOptimal Control of a Class of Timed Discrete Event Systems with Shared Resources, An Approach Based on the Hadamard Product of Series in Dioids.
Optimal Control of a Class of Timed Discrete Event Systems with Shared Resources, An Approach Based on the Hadamard Product of Series in Dioids. Soraia Moradi 1,2,3, Laurent Hardouin 3, and Jörg Raisch
More informationA note on the characteristic equation in the max-plus algebra
K.U.Leuven Department of Electrical Engineering (ESAT) SISTA Technical report 96-30 A note on the characteristic equation in the max-plus algebra B. De Schutter and B. De Moor If you want to cite this
More informationOUTPUT REGULATION OF RÖSSLER PROTOTYPE-4 CHAOTIC SYSTEM BY STATE FEEDBACK CONTROL
International Journal in Foundations of Computer Science & Technology (IJFCST),Vol., No., March 01 OUTPUT REGULATION OF RÖSSLER PROTOTYPE-4 CHAOTIC SYSTEM BY STATE FEEDBACK CONTROL Sundarapandian Vaidyanathan
More informationBUMPLESS SWITCHING CONTROLLERS. William A. Wolovich and Alan B. Arehart 1. December 27, Abstract
BUMPLESS SWITCHING CONTROLLERS William A. Wolovich and Alan B. Arehart 1 December 7, 1995 Abstract This paper outlines the design of bumpless switching controllers that can be used to stabilize MIMO plants
More informationSpectral Properties of Matrix Polynomials in the Max Algebra
Spectral Properties of Matrix Polynomials in the Max Algebra Buket Benek Gursoy 1,1, Oliver Mason a,1, a Hamilton Institute, National University of Ireland, Maynooth Maynooth, Co Kildare, Ireland Abstract
More informationRobust invariance in uncertain discrete event systems with applications to transportation networks
IMA Journal of Mathematical Control and Information (2010) 27, 145 164 doi:10.1093/imamci/dnq005 Advance Access publication on April 9, 2010 Robust invariance in uncertain discrete event systems with applications
More informationSupervisory Control of Petri Nets with. Uncontrollable/Unobservable Transitions. John O. Moody and Panos J. Antsaklis
Supervisory Control of Petri Nets with Uncontrollable/Unobservable Transitions John O. Moody and Panos J. Antsaklis Department of Electrical Engineering University of Notre Dame, Notre Dame, IN 46556 USA
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationarxiv: v1 [math.ra] 23 Feb 2018
JORDAN DERIVATIONS ON SEMIRINGS OF TRIANGULAR MATRICES arxiv:180208704v1 [mathra] 23 Feb 2018 Abstract Dimitrinka Vladeva University of forestry, bulklohridski 10, Sofia 1000, Bulgaria E-mail: d vladeva@abvbg
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationFilter Design for Linear Time Delay Systems
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 49, NO. 11, NOVEMBER 2001 2839 ANewH Filter Design for Linear Time Delay Systems E. Fridman Uri Shaked, Fellow, IEEE Abstract A new delay-dependent filtering
More informationarxiv: v1 [cs.sy] 2 Apr 2019
On the Existence of a Fixed Spectrum for a Multi-channel Linear System: A Matroid Theory Approach F Liu 1 and A S Morse 1 arxiv:190401499v1 [cssy] 2 Apr 2019 Abstract Conditions for the existence of a
More informationA REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS
A REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS Francesco Basile, Ciro Carbone, Pasquale Chiacchio Dipartimento di Ingegneria Elettrica e dell Informazione, Università
More informationOutput Regulation of the Tigan System
Output Regulation of the Tigan System Dr. V. Sundarapandian Professor (Systems & Control Eng.), Research and Development Centre Vel Tech Dr. RR & Dr. SR Technical University Avadi, Chennai-6 6, Tamil Nadu,
More informationEvent driven manufacturing systems as time domain control systems
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 MoA135 Event driven manufacturing systems as time domain control
More informationLinear systems in (max,+) algebra
Linear systems in (ma,+) algebra Ma Plus INRIA Le Chesnay, France Proceedings of the 29th Conference on Decision and Control Honolulu, Dec. 99 Abstract In this paper, we study the general system of linear
More informationRobust Gain Scheduling Synchronization Method for Quadratic Chaotic Systems With Channel Time Delay Yu Liang and Horacio J.
604 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: REGULAR PAPERS, VOL. 56, NO. 3, MARCH 2009 Robust Gain Scheduling Synchronization Method for Quadratic Chaotic Systems With Channel Time Delay Yu Liang
More informationLinear programming techniques for analysis and control of batches Petri nets
Linear programming techniques for analysis and control of batches Petri nets Isabel Demongodin, LSIS, Univ. of Aix-Marseille, France (isabel.demongodin@lsis.org) Alessandro Giua DIEE, Univ. of Cagliari,
More informationOn Computing Supply Chain Scheduling Using Max-Plus Algebra
Applied Mathematical Sciences, Vol. 10, 2016, no. 10, 477-486 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2016.618 On Computing Supply Chain Scheduling Using Max-Plus Algebra Subiono Department
More informationDistributed Coordinated Tracking With Reduced Interaction via a Variable Structure Approach Yongcan Cao, Member, IEEE, and Wei Ren, Member, IEEE
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 57, NO. 1, JANUARY 2012 33 Distributed Coordinated Tracking With Reduced Interaction via a Variable Structure Approach Yongcan Cao, Member, IEEE, and Wei Ren,
More informationOPTIMAL TOKEN ALLOCATION IN TIMED CYCLIC EVENT GRAPHS
OPTIMAL TOKEN ALLOCATION IN TIMED CYCLIC EVENT GRAPHS Alessandro Giua, Aldo Piccaluga, Carla Seatzu Department of Electrical and Electronic Engineering, University of Cagliari, Italy giua@diee.unica.it
More informationMatrices: 2.1 Operations with Matrices
Goals In this chapter and section we study matrix operations: Define matrix addition Define multiplication of matrix by a scalar, to be called scalar multiplication. Define multiplication of two matrices,
More informationOptimal Polynomial Control for Discrete-Time Systems
1 Optimal Polynomial Control for Discrete-Time Systems Prof Guy Beale Electrical and Computer Engineering Department George Mason University Fairfax, Virginia Correspondence concerning this paper should
More informationFINITE HORIZON ROBUST MODEL PREDICTIVE CONTROL USING LINEAR MATRIX INEQUALITIES. Danlei Chu, Tongwen Chen, Horacio J. Marquez
FINITE HORIZON ROBUST MODEL PREDICTIVE CONTROL USING LINEAR MATRIX INEQUALITIES Danlei Chu Tongwen Chen Horacio J Marquez Department of Electrical and Computer Engineering University of Alberta Edmonton
More informationModel predictive control for max-plus-linear systems via optimistic optimization
Delft University of Technology Delft Center for Systems and Control Technical report 14-09 Model predictive control for max-plus-linear systems via optimistic optimization J. Xu, B. De Schutter, and T.J.J.
More informationNonlinear Discrete-Time Observer Design with Linearizable Error Dynamics
622 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 4, APRIL 2003 Nonlinear Discrete-Time Observer Design with Linearizable Error Dynamics MingQing Xiao, Nikolaos Kazantzis, Costas Kravaris, Arthur
More informationH State-Feedback Controller Design for Discrete-Time Fuzzy Systems Using Fuzzy Weighting-Dependent Lyapunov Functions
IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL 11, NO 2, APRIL 2003 271 H State-Feedback Controller Design for Discrete-Time Fuzzy Systems Using Fuzzy Weighting-Dependent Lyapunov Functions Doo Jin Choi and PooGyeon
More informationDesign and Stability Analysis of Single-Input Fuzzy Logic Controller
IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS PART B: CYBERNETICS, VOL. 30, NO. 2, APRIL 2000 303 Design and Stability Analysis of Single-Input Fuzzy Logic Controller Byung-Jae Choi, Seong-Woo Kwak,
More informationEquational Theory of Kleene Algebra
Introduction to Kleene Algebra Lecture 7 CS786 Spring 2004 February 16, 2004 Equational Theory of Kleene Algebra We now turn to the equational theory of Kleene algebra. This and the next lecture will be
More informationIN THIS PAPER, we consider a class of continuous-time recurrent
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II: EXPRESS BRIEFS, VOL. 51, NO. 4, APRIL 2004 161 Global Output Convergence of a Class of Continuous-Time Recurrent Neural Networks With Time-Varying Thresholds
More informationControlo Switched Systems: Mixing Logic with Differential Equations. João P. Hespanha. University of California at Santa Barbara.
Controlo 00 5 th Portuguese Conference on Automatic Control University of Aveiro,, September 5-7, 5 00 Switched Systems: Mixing Logic with Differential Equations João P. Hespanha University of California
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationDisturbance Attenuation for a Class of Nonlinear Systems by Output Feedback
Disturbance Attenuation for a Class of Nonlinear Systems by Output Feedback Wei in Chunjiang Qian and Xianqing Huang Submitted to Systems & Control etters /5/ Abstract This paper studies the problem of
More informationI = i 0,
Special Types of Matrices Certain matrices, such as the identity matrix 0 0 0 0 0 0 I = 0 0 0, 0 0 0 have a special shape, which endows the matrix with helpful properties The identity matrix is an example
More informationIEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 50, NO. 5, MAY Bo Yang, Student Member, IEEE, and Wei Lin, Senior Member, IEEE (1.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 50, NO 5, MAY 2005 619 Robust Output Feedback Stabilization of Uncertain Nonlinear Systems With Uncontrollable and Unobservable Linearization Bo Yang, Student
More informationThe doubly negative matrix completion problem
The doubly negative matrix completion problem C Mendes Araújo, Juan R Torregrosa and Ana M Urbano CMAT - Centro de Matemática / Dpto de Matemática Aplicada Universidade do Minho / Universidad Politécnica
More informationStabilization, Pole Placement, and Regular Implementability
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 47, NO. 5, MAY 2002 735 Stabilization, Pole Placement, and Regular Implementability Madhu N. Belur and H. L. Trentelman, Senior Member, IEEE Abstract In this
More informationNONBLOCKING CONTROL OF PETRI NETS USING UNFOLDING. Alessandro Giua Xiaolan Xie
NONBLOCKING CONTROL OF PETRI NETS USING UNFOLDING Alessandro Giua Xiaolan Xie Dip. Ing. Elettrica ed Elettronica, U. di Cagliari, Italy. Email: giua@diee.unica.it INRIA/MACSI Team, ISGMP, U. de Metz, France.
More informationACTIVE CONTROLLER DESIGN FOR THE OUTPUT REGULATION OF THE WANG-CHEN-YUAN SYSTEM
ACTIVE CONTROLLER DESIGN FOR THE OUTPUT REGULATION OF THE WANG-CHEN-YUAN SYSTEM Sundarapandian Vaidyanathan Research and Development Centre, Vel Tech Dr. RR & Dr. SR Technical University Avadi, Chennai-600
More informationMax-Consensus in a Max-Plus Algebraic Setting: The Case of Fixed Communication Topologies
Max-Consensus in a Max-Plus Algebraic Setting: The Case of Fixed Communication Topologies Behrang Monajemi Nejad, Sid Ahmed Attia and Jörg Raisch Control Systems Group ( Fachgebiet Regelungssysteme ),
More informationState estimation of uncertain multiple model with unknown inputs
State estimation of uncertain multiple model with unknown inputs Abdelkader Akhenak, Mohammed Chadli, Didier Maquin and José Ragot Centre de Recherche en Automatique de Nancy, CNRS UMR 79 Institut National
More informationRiccati difference equations to non linear extended Kalman filter constraints
International Journal of Scientific & Engineering Research Volume 3, Issue 12, December-2012 1 Riccati difference equations to non linear extended Kalman filter constraints Abstract Elizabeth.S 1 & Jothilakshmi.R
More informationIEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 58, NO. 5, MAY invertible, that is (1) In this way, on, and on, system (3) becomes
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 58, NO. 5, MAY 2013 1269 Sliding Mode and Active Disturbance Rejection Control to Stabilization of One-Dimensional Anti-Stable Wave Equations Subject to Disturbance
More informationSwitched Systems: Mixing Logic with Differential Equations
research supported by NSF Switched Systems: Mixing Logic with Differential Equations João P. Hespanha Center for Control Dynamical Systems and Computation Outline Logic-based switched systems framework
More informationToward the Resolution of Resource Conflict in a MPL-CCPM Representation Approach
Toward the Resolution of Resource Conflict in a MPL-CCPM Representation Approach MUNENORI KASAHARA Nagaoka University of Technology Nagaoka, Niigata 940-2188 JAPAN s063349@ics.nagaokaut.ac.jp HIROTAKA
More informationBasic Concepts in Linear Algebra
Basic Concepts in Linear Algebra Grady B Wright Department of Mathematics Boise State University February 2, 2015 Grady B Wright Linear Algebra Basics February 2, 2015 1 / 39 Numerical Linear Algebra Linear
More informationLinear Algebra. Linear Equations and Matrices. Copyright 2005, W.R. Winfrey
Copyright 2005, W.R. Winfrey Topics Preliminaries Systems of Linear Equations Matrices Algebraic Properties of Matrix Operations Special Types of Matrices and Partitioned Matrices Matrix Transformations
More informationInvertible Matrices over Idempotent Semirings
Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep
More informationAdaptive Predictive Observer Design for Class of Uncertain Nonlinear Systems with Bounded Disturbance
International Journal of Control Science and Engineering 2018, 8(2): 31-35 DOI: 10.5923/j.control.20180802.01 Adaptive Predictive Observer Design for Class of Saeed Kashefi *, Majid Hajatipor Faculty of
More informationROBUST CONSTRAINED REGULATORS FOR UNCERTAIN LINEAR SYSTEMS
ROBUST CONSTRAINED REGULATORS FOR UNCERTAIN LINEAR SYSTEMS Jean-Claude HENNET Eugênio B. CASTELAN Abstract The purpose of this paper is to combine several control requirements in the same regulator design
More informationReceding-horizon control for max-plus linear systems with discrete actions using optimistic planning
Delft University of Technology Receding-horizon control for max-plus linear systems with discrete actions using optimistic planning Xu, Jia; Busoniu, L; van den Boom, Ton; De Schutter, Bart DOI 10.1109/WODES.2016.7497879
More informationWeak dual residuations applied to tropical linear equations
Weak dual residuations applied to tropical linear equations Vinicius Mariano Gonçalves a, Carlos Andrey Maia a, Laurent Hardouin b a Programa de Pós Graduação de Engenharia Elétrica, Universidade Federal
More informationUnconditionally stable scheme for Riccati equation
ESAIM: Proceedings, Vol. 8, 2, 39-52 Contrôle des systèmes gouvernés par des équations aux dérivées partielles http://www.emath.fr/proc/vol.8/ Unconditionally stable scheme for Riccati equation François
More informationRobust Observer for Uncertain T S model of a Synchronous Machine
Recent Advances in Circuits Communications Signal Processing Robust Observer for Uncertain T S model of a Synchronous Machine OUAALINE Najat ELALAMI Noureddine Laboratory of Automation Computer Engineering
More informationIN THIS paper we investigate the diagnosability of stochastic
476 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 50, NO 4, APRIL 2005 Diagnosability of Stochastic Discrete-Event Systems David Thorsley and Demosthenis Teneketzis, Fellow, IEEE Abstract We investigate
More informationIMPROVED MPC DESIGN BASED ON SATURATING CONTROL LAWS
IMPROVED MPC DESIGN BASED ON SATURATING CONTROL LAWS D. Limon, J.M. Gomes da Silva Jr., T. Alamo and E.F. Camacho Dpto. de Ingenieria de Sistemas y Automática. Universidad de Sevilla Camino de los Descubrimientos
More informationMath Linear Algebra Final Exam Review Sheet
Math 15-1 Linear Algebra Final Exam Review Sheet Vector Operations Vector addition is a component-wise operation. Two vectors v and w may be added together as long as they contain the same number n of
More informationStatic Output Feedback Stabilisation with H Performance for a Class of Plants
Static Output Feedback Stabilisation with H Performance for a Class of Plants E. Prempain and I. Postlethwaite Control and Instrumentation Research, Department of Engineering, University of Leicester,
More informationCLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ
Séminaire Lotharingien de Combinatoire 69 (203), Article B69d ON THE c-vectors AND g-vectors OF THE MARKOV CLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ Abstract. We describe the c-vectors and g-vectors of the
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationFUNNEL CONTROL WITH ONLINEFORESIGHT
FUNNEL CONTROL WITH ONLINEFORESIGHT C.M. Hackl and Dierk Schröder Institute for Electrical Drive Systems Technical University of Munich Arcisstr., D-8333 Munich, Germany email: christoph.hackl@tum.de ABSTRACT
More informationarxiv: v2 [math.oc] 8 Jan 2018
A discrete event traffic model explaining the traffic phases of the train dynamics in a metro line system with a junction Florian Schanzenbächer 1, Nadir Farhi 2, Zoi Christoforou 3, Fabien Leurent 3,
More informationResearch Article State-PID Feedback for Pole Placement of LTI Systems
Mathematical Problems in Engineering Volume 211, Article ID 92943, 2 pages doi:1.1155/211/92943 Research Article State-PID Feedback for Pole Placement of LTI Systems Sarawut Sujitjorn and Witchupong Wiboonjaroen
More information