APP下载

Decentralized Adaptive Filtering for Multi-agent Systems with Uncertain Couplings

2014-05-08HongbinMaYiniLvChenguangYangMengyinFu

IEEE/CAA Journal of Automatica Sinica 2014年1期

Hongbin Ma,Yini Lv,Chenguang Yang,Mengyin Fu

I.INTRODUCTION

THE concept of multi-agent systems[1−7]is proposed in 1980s with the development of complex system theory.Through the approach of dividing and conquering,decomposing a large complex system into small components or subsystems,which have intrinsic local coupling relations with each other,is a promising idea which can greatly simplify the control design of the whole system and reduce the total computational cost signi ficantly.Hence understanding how local interactions affect the global behavior plays fundamental role either in theory or in practice.

A multi-agent system,as one simplified model for investigating complex systems,is composed of many agents which not only have local interactions among one another but also respond to others by making decisions and taking actions.In this way,the agents can perform one simple task independently or complete one difficult task by cooperation and communication.Based on the above features,many applications of multiagent systems can be found in vast areas,such as intelligent robot[8−9],smart home system[10],aerospace field[11],intelligent transportation system(ITS)[12−13],software development and so on.

There are many kinds of research about multi-agent systems in recent years.Main research topics may include the architecture of the multi-agent system,the communication among agents,coordination and cooperation.The architecture discusses how the agents form the system and the communication discusses the way in which information transfers among agents.The coordination control of the multi-agent system is comprehensive,since this problem needs to consider the architecture and communication.And consensus control of multiple agents as one kind of coordination control has received more and more attentions in the recent decades.Consensus means the agents can make their states and velocities in agreement by cooperation and communication.This problem was first proposed by Olfati-Saber and Murray[14].In the direction of distributed consensus in multi-agent cooperative control,Ren et al.have obtained numerous results[15−17].These existing extensive work presented the consensus algorithms for singleintegrator dynamics,double-integrator dynamics and rigid body attitude dynamics.

However,many studies about multi-agent systems assume that the global team knowledge is available,that is,the relations among agents are known,and the group actions can be achieved in a centralized way.The situations where there are unknown or uncertain relations between agents are basically ignored for decades.In fact,these situations have important effects on the studies of multi-agent systems which often exist in the practical applications.In such situations,the agents must try to cope with the uncertainties occurred in local interactions with only limited available history information and local information.

In this paper,we try to elaborate the decentralized filtering problem of one typical class of multi-agent systems,which focuses on dealing with coupling uncertainties.In such systems,there are unknown couplings among agents.As a preliminary study,in this paper we use linear mappings to represent such unknown interactions briefly.Due to the unknown couplings among agents,common filter algorithms like standard Kalman filters[18−24]cannot be used directly.To address this challenging problem,in this contribution,the filtering process is achieved by adopting modifications to standard Kalman filter algorithm.This area is less explored in the existing literature despite that another challenging area,decentralized adaptive control of multi-agent systems,has been extensively studied by the authors[25],hence this paper aims to lay a simple yet meaningful framework of decentralized adaptive filtering for multi-agent systems.Because of intrinsic differences between linear systems and nonlinear systems,we classify the considered system models as four different types according to the model linearity and the coupling type,and hence different decentralized filtering algorithms should be designed separately.And through estimated values of the states obtained by decentralized adaptive filtering,corresponding decentralized adaptive control law is designed according to the certainty equivalence principle.The stability of the filtering algorithm is also discussed with verification by simulations.

The rest of this paper is organized as follows.First,Section II presents the system model and problem formulation.Then,in Section III,the decentralized adaptive filtering algorithms are derived.Next in Section IV,based on the certainty equivalence principle,decentralized adaptive controller is designed to test the filtering effects.In Section V,some remarks on the stability analysis for the proposed decentralized filtering algorithms are given.And,in Section VI,simulations of decentralized adaptive filter and control algorithms are reported and the corresponding results are analyzed.Finally,we conclude this paper with some concluding remarks in Section VII.

Notations 1.The following notations are used throughout this paper.Rnand Rmstand for the set of real vectors with dimensionnandmrespectively.Iand 0m×nmean the identity matrix and zero matrix.The subscript of matrix represents the dimension of the matrix of dimensionmbyn.Wherever the dimensions of the matrices are not mentioned,they are assumed to be of compatible dimensions.E(·)andP(·)denote the mathematical expectation and variance.[·]Tdenotes the transposition of a matrix and(·)−1denotes the inversion of a matrix.andon the top represent the corresponding posterior and prior terms,respectively.

II.PROBLEM STATEMENT

Since agents often have similar structures and the same state dimension,we assumexi∈Rn,ui∈Rr,yi∈Rm,wi∈Rnandvi∈Rmfor everyiin{1,2,···,N}.

A.Model 1:Linear Model with Output Coupling

Considering one class of multi-agent system where there areNagents and every agent can be described by the following dynamic model:

where coefficient matricesGi,jare known with dimensionn×m,Ai(k)are known with dimensionn×n,Bi(k)are known with dimensionn×r,andCi(k)are known with dimensionm×n(i=1,2,···,N;k=1,2,3,···).Ifm=n,one typical case isGi,j=In×n,i.e.,

B.Model 2:Linear Model with State Coupling

The dynamic model of every agent is given below:

where coefficient matricesAi(k)are known with dimensionn×n,Bi(k)are known with dimensionn×r,andCi(k)are known with dimensionm×n(i=1,2,···,N;k=1,2,3,···).

C.Model 3:Nonlinear Model with Output Coupling

Each agentihas the following nonlinear dynamics

wherefi,hi,andgi,jare known nonlinear mappings.

D.Model 4:Nonlinear Model with State Coupling

The dynamic model of every agent is

wherefi,hi,andgi,jare known nonlinear mappings.

In the four models,the subscriptsiandjpdenote theith andjpth agent.Herexi(k)andxi(k−1)are the states ofith agent in thekth and(k−1)th moment,respectively.Accordinglyxjp(k−1)denotes the state ofjpth agent in the(k−1)th moment.Andy,u,w,andvdenote the output,input,process noise,and measurement noise,respectively.The inputs are written as the above since they are designed to test effects of the estimation.The difference is that agents are linear in Model 1 and Model 2,but agents are nonlinear in Model 3 and Model 4.And agents in Model 1 and Model 3 are coupled by outputs and in Model 2 and Model 4 they are coupled by states.

Suppose that the noises are white,zero-mean,uncorrelated and the noises of different agents are also uncorrelated.If the noises are correlated,we can also use methods proposed in the book written by Simon[19]to remove the correlation.For simplicity and clarity,we may suppose that the a priori statistical information on noises are given by

That is,wi(k)andvi(k)have known covariance matricesQi(k)andRi(k)with dimensionn×nandm×m,respectively.

The whole description of the multi-agent dynamic system is shown above.Among the four models,Model 1 and Model 2 are basis of Model 3 and Model 4,hence the understanding of the former two models will bring bene fits to the latter two models.However,due to the nonlinearity of Model 3 and Model 4,they are more challenging in terms of closed-loop complexity and technical difficulties involved,and later we may see that different algorithms may be needed in general for resolving the decentralized adaptive filtering problems for different models.For achieving control objectives of agents,it would be desirable that the states need to be known.Since the system has unknown parameters,we cannot estimate the states only by standard Kalman filter,hence new filter algorithm needs to be studied to estimate the states and coupling parameters in the linear state-space model.

III.DECENTRALIZED ADAPTIVE FILTER

Firstly,the inputs are assumed to be zero for they are only testing terms and cannot affect the study of filter algorithm.And the first step to deal with the unknown coupling parametersqi,jpis to consider the coupling parameters as a part of states,that is,to extend the states.The new state vector is changed to

Then the filtering algorithms are proposed for the different models introduced above.

A.Model 1

The algorithm is based on the standard Kalman filter and a decentralized one.With the augmented states,the dynamic model of original multi-agent system can be rewritten as follows:

where(supposingNi={j1,j2,···,jni})

and

Then with this modified model,the standard Kalman filter can be applied directly.For clarity,the following equations show the filtering process:

whereanddenote the prior error covariance matrix and the posterior error covariance matrix at timek,respectively.Hereanddenote the prior estimation and the posterior estimation of states at timek,respectively.The Kalman gainis the gain matrix to modify the prior estimation with outputs.

Algorithm 1.Decentralized filter for linear system(DFL)

Input.Coefficient matrices,neighborhood indices and outputs of every agent.

Output.Estimated values of states and coupled parameters.

1 Extend dimensions of states;

2 Update the state equations using the new extending states;

3 Initialize estimation values and calculate the initial error covariance matrix;

4 Initialize simulation stepsT;

5fork=2 toTdo

6fori=1 toNdo

7 Form matrixA∗i(k)with neighbor outputsyjlvia(9);

8 Calculate the next prior error covariancevia(12);

9 Calculate the Kalman gain matrixvia(12);

10 Time update—calculatefromvia(12);

11 Measurement update—calculatewithvia(12)as new measurementis available;

12 Calculate the posterior error covariancevia(12);

13end for

14end for

15 Output and display sequences ofwhich contains estimation of coupled parameters and states;

16end

B.Model 2

This algorithm is based on the standard Kalman filter and a decentralized one.With the augmented states,the dynamic model of original multi-agent system can be rewritten as follows:

where

Except for matrix,other terms are the same with Model 1.The new problem is that some terms ofare unknown,hence the standard Kalman filter cannot be applied to the modified model directly.Since agents can communicate with each other,the estimated values of these unknown ones can be transmitted to replace the real values.That is,in the f i ltering process of Model 1,the matrixis changed to

whereare the parts of.With this algorithm,estimation of states and unknown parameters can be achieved.

Algorithm 2.Decentralized filter for linear system 2(DFL2)

Input.Coefficient matrices,neighborhood indices and outputs of every agent.

Output.Estimated values of states and coupled parameters.

1 Extend dimensions of states;

2 Update the state equations using the new extending states;

3 Initialize estimation values and calculate the initial error covariance matrix;

4 Initialize simulation stepsT;

5fork=2 toTdo

6fori=1 toNdo

7 Form matrixvia(15)with neighbor outputs(jp∈Ni);

8 Calculate the next prior error covariancevia(12);

9 Calculate the Kalman gain matrixvia(12);

10 Time update—calculatefromvia(12);

11 Measurement update—calculatewithvia (12)as new measurementis available;

12 Get the posterior error covariance matrixvia(12);

13end for

14end for

15 Output and display sequences ofwhich contains estimation of coupled parameters and states;

16end

C.Model 3

Since the model is nonlinear,the extended Kalman filter can be considered as the basic algorithm.Firstly,using the same notationsas in Model 1,we obtain the modified model of agent dynamics

whereandare two functions defined by

Then we find that the problem of simultaneously estimating the unknown states and the coupling parameters can be transformed to a filter problem of the new model,i.e.estimating the augmented states.The new model is a nonlinear dynamic model,hence the extended Kalman filter algorithm[26]can be applied in this modified model.For clarity,the filtering process is shown as follows.

The filtering process.

1)Calculate partial derivatives matrices of functions

wheredenotes posterior estimation of.

2)Time update

3)Calculate partial derivatives matrices of functions

whereis the prior estimation.

4)Measurement update

Algorithm 3.Decentralized filter for nonlinear system 1(DFNL1)

Input.Functions,neighborhood indices and outputs of every agent.

Output.Estimated values of states and coupled parameters.

1 Extend dimension of states;

2 Update the state equations using the new extending states;

3 Initialize estimation values and calculate the initial error covariance matrix;

4 Initialize simulation stepsT;

5fork=2 toTdo

6fori=1 toNdo

7 Formandvia(19)and(20)withandyjp(jp∈Ni);

8 Calculate the next prior error covariancevia(21);

9 Time update—calculatefromvia(21);

10 Calculate matricesandvia(22)and(23);

11 Calculate the Kalman gain matrixvia(24);

12 Measurement update—calculatewithvia

(24)as new measurementis available;

13 Get the posterior error covariance matrixvia(24);

14end for

15end for

16 Output and display sequences ofwhich contains estimation of coupled parameters and states;

17end

D.Model 4

Rewriting the dynamic model,we can obtain a similar model as given above.The difference is the state equation as follows:

There are terms which are different from output coupling of Model 3,such asgi,j1(xj1(k−1)).That is,when partial derivatives matrices of functions are calculated,these terms are unknown which are different from terms only including outputs.Hence,some modifications are necessary to extend the algorithm.Since posterior estimation values are close to the true values,we use the posterior estimation instead.

Note that unknown terms should be replaced by their posterior estimates.For example,gi,j1(xj1(k−1))should be replaced by.The rest of estimating process is similar to that in Model 3.

Algorithm 4.Decentralized filter for nonlinear system 2(DFNL2)

Input.Functions,neighborhood indices and outputs of every agent.

Output.Estimated values of states and coupled parameters.

1 Extend dimensions of states;

2 Update the state equations using the new extending states;

3 Initialize estimation values and calculate the initial error covariance matrix;

4 Initialize simulation stepsT;

5fork=2 toTdo

6fori=1 toNdo

7 Formandvia(26)and(27)with;

8 Calculate the next prior error covariancevia(21);

9 Time update—calculatefromvia(21);

10 Calculate matricesandvia(22)and(23);

11 Calculate the Kalman gain matrixvia(24);

12 Measurement update—calculatewithvia(24)as new measurementis available;

13 Get the posterior error covariance matrixvia(24);

14end for

15end for

16 Output and display sequences ofwhich contains estimation of coupled parameters and states;

17end

IV.DECENTRALIZED CONTROLLER DESIGN

Controller design will be easy if the coupling parameters are exactly known a priori.However,since the coupling parameters are unknown in our settings,corresponding control parameters cannot be decided for the purpose of compensating the unknown coupling effects.To resolve this problem,one natural way is to regard the estimation of those parameters instead as their true values.This idea is in fact the so-called certainty equivalence principle,which is widely used in adaptive controller design.One can imagine that controllers based on this principle may yield satisfactory control performance if the parameter estimates are very close to the true parameters.

For testing estimation effects of filter algorithms,decentralized adaptive regulators are designed hereinafter.That is,control inputs are designed to regulate the states to zero based on the parameter estimates.For simplicity and clarity,coefficient matrices of inputs are assumed to be identity matrices,that is,Bi(k−1)is equal toI.

For Model 1,the control input of agentican be designed as follows:

whereandare terms of.

For Model 2,we have

For Model 3,we have

where 0n×1replaces the noisewi(k−1)since the noisewi(k−1)cannot be known when control is designed.

For Model 4,we have

If the estimation results are good enough,then control inputs designed as above can regulate states to zero approximately.In this way,the closed-loop signals may not diverge,consequently,the estimation results of filtering algorithms introduced before can be tested via simulations.

V.REMARKS ON STABILITY ANALYSIS

A.Linear Situations

The filtering process applied in the new Model 1 is essentially the standard Kalman filter for the augmented system.Though there are some unknown coupling parameters,the new system obtained by augmenting states can be considered as a normal multi-agent system(8)without uncertain couplings.In the new augmented system model,the system matrix of agentiis

That is,all elements of matrixare essentially known for each agent,despite that it is time-varying and random according to the practical measurements.So conditions under which this algorithm is stable can be given by the conditions to stabilize a standard Kalman filter with time-varying system matrix.

Theorem 1.For the dynamical system(1),Algorithm 1(DFL)is optimal in the sense that it provides best linear unbiased estimation for the unknown coupling parameters and the unknown states,provided that the initial conditions are unbiased.

We shall remark that closed-loop stability analysis of Kalman filter with time-varying matrices is a challenging theoretical problem,which is still open up to now to the best knowledge of the authors since suf ficient and necessary conditions to guarantee closed-loop stability of time-varying Kalman filter are not reported in the literature,although the counter-part problem has been extensively studied for Kalman filter with time-invariant matrices.

According to[27],we have the following results by regarding the signalsyi(k)in the deterministic sense:

Theorem 2.If the new dynamical system(8)is uniformly completely observable and uniformly completely controllable,andthen the discrete-time linear filter given in Algorithm 1(DFL)is uniformly asymptotically stable.

See[27]for the mathematical definitions of uniformly completely observable,uniformly completely controllable,and uniformly asymptotically stable.Theorem 2 is one straightforward conclusion of Theorem 7.5 of[27],whose proof is rather involved,hence we do not repeat the details of the proof.From this theorem,we may have the following results(for each bounded sample of{yk}):

Corollary 1.For the dynamical system(1),the decentralized filter given in Algorithm 1(DFL)is uniformly asymptotically stable if the following conditions hold for the dynamical system(8):

For a positive integerN1,there exist constantsα1>0 andβ1>0 such that

wherek≥N1and

For a positive integerN2,there exist constantsα2>0 andβ2>0 such that

wherek≥N2and

can be obtained by applyingappropriately.

Corollary 2.For the dynamical system(1),letandbe any solutions obtained from the filtering process of Algorithm 1(DFL)starting from different initial conditionsand.Then we can conclude that

Note that Theorem 2 regards the matricesas timevarying matrices,which in fact form a stochastic process.Thus it would be desirable to re flect the stochastic nature ofin theoretical studies,which would be much more challenging since statistical properties like probabilistic distributions are not available or even impossible to establish explicitly for those involved stochastic processes.As far as we know,there are very limited researches along this direction,partially due to the intrinsic mathematical dif ficulties involved.However,with the concepts of stochastic boundedness of signals,it is possible to establish the so-called stochastic BIBO stability,under some conditions of weakly stochastically boundedness and stochastic stationary properties for the involved stochastic processes,via the techniques developed in[28].To save space,we do not make such detailed analysis.

As to linear Model 2 with state couplings,since each agent has no access to the states of its neighbor agents,the matricescan only be approximated by using posterior estimates of neighbor agents.This subtle difference from Model 1 makes the closed-loop stability analysis in this case more difficult than that for Model 1.More efforts are needed to establish some rigorous theoretical results in this case.

B.Nonlinear Situations

Though there are unknown coupling parameters among agents,the filtering process applied in the modified Model 3 relies on the extended Kalman filter.Note that in this process,we need to calculate the partial derivatives matrices of functions:

where

We can find that these partial derivatives matrices of Model 3 are all available to agenti,hence stability analysis of extended Kalman filter[29]may be applied directly,and we have the following results:

Theorem 3.For the dynamical system(3)with decentralized filtering Algorithm 3(DFNL1),the state estimation error of agentiis exponentially bounded in mean square sense if the following conditions hold for each agenti:

1)There are positive real numberssuch that the following bounds on various matrices are fulfilled for everyk:

2)is nonsingular for everyk≥0.

3)There are positive real numbers∈φ,∈ψ,κφ,κψsuch that the nonlinear functionsφ,ψ

satisfy

for anywithandrespectively.

Theorem 4.For the dynamical system(3)with decentralized filtering Algorithm 3(DFNL1),the state estimation error of agentiis exponentially bounded in mean square if the following conditions hold:

1)Matricesandare uniformly bounded from below,i.e.,there exist positive constantsandsuch that

2)The nonlinear system satisfies the observability rank condition,i.e.,

has full rankatzk,for everyzk∈K,whereis a compact set.Hereis the dimension of the augmented state space.

3)The nonlinear functionsand,k=1,2,···are twice differentiable and(For brevity,herezkdenotes).

VI.SIMULATION STUDIES

A.Model 1

1)Simulation 1

We choose a multi-agent system with 3 agents,each of which has the following model

where

Filtering process is initialized as:

where

Then,error covariance matrix of the first step can be calculated:

Simulation results for this model with Algorithm 1(DFL)are given in Figs.1~3.

In each figure,the sub figure on top left shows the first element of states and the sub figure at bottom left shows the second.The top right sub figure shows the first element of outputs.

From these figures,one can see that the real values and the estimated values are approximately the same.

2)Simulation 2

We choose a collection of 100 agents,each of which is the same with the above model,to verify the algorithm.Since there are many agents to be shown,for brevity,only one agent is shown in Fig.4 and others are similar to this agent.

Fig.1.Simulation 1 of Model 1:the first agent.

Fig.2.Simulation 1 of Model 1:the second agent.

Fig.3.Simulation 1 of Model 1:the third agent.

For displaying the effectiveness of algorithm,two numerical indices are introduced.

That is,P(q)represents mean value of error covariance estimation aboutqin the last step(at timeT)andP(x)denotes mean value of error covariance estimation aboutxof every step.Since states of every agent are two-dimensional,error covariance of every element of states is added.

Fig.4.Simulation 2 of Model 1:the first agent.

As we can see,the indices in Table I are small compared with values of states and coupling parameters.

TABLE I INDICES OF DFL(SIMULATION 2)

3)Control simulation(ContrSim)

From the above simulations,we may notice that the system without control may not be stable due to the coupling effects even if matrixAiis stable.Now we use the corresponding system with control inputs to test the estimation effects.By the certainty equivalence principle,control signals which regulate states to zero can be calculated to test the estimation results.To show the effectiveness of control design based on estimated values,we take the following coefficient matrices and parameters:

and dimension of states,inputs,output is 2.By designing control,the estimation effects can be shown.

Filtering process is initialized as:

where

By designing control according to the certainty equivalence,the estimation effects can be shown in Fig.5.Here only one state of agent 1 is shown for simplicity and others are similar to Fig.5.From Fig.5,it is clearly shown that by control signals based on the estimated values,states can be regulated to be a signal close to zero signal.

Fig.5.States comparison with or without control.

B.Model 2

1)Simulation 1

Consider another multi-agent system where there are 5 agents and every agent can be described as the following twodimensional dynamic model:

As we expect that this model is stable without inputs,hereAi,qi,andCican be chosen as follows:

For comparison of different methods,all methods are initialized as follows:

where

Simulation results with Algorithm 2(DFL2)are depicted in Figs.6~8.Here three agents are shown for conciseness.

In every figure,the sub figure in top left corner shows the first element of states and the sub figure in bottom left corner shows the second.

2)Simulation 2

A multi-agent system with 100 agents,each of which is the same as the above model,is chosen to verify the algorithm.Since there are many agents to be shown,to be brief,only one agent is shown in Fig.9 and others are similar to this agent.

Fig.6.Simulation 1 of Model 2:the third agent.

Fig.7.Simulation 1 of Model 2:the fourth agent.

Fig.8.Simulation 1 of Model 2:the fifth agent.

The in dices in Table II are small compared with values of states and coupling parameters.

TABLE II INDICES OF DFL2(SIMULATION 2)

Fig.9.Simulation 2 of Model 2:the first agent.

C.Model 3

1)Simulation 1

A multi-agent one-dimensional system with 3 agents is chosen and the dynamic model of every agent is given as follows:

where we take constantsCons=1 andqi,jp=1.

whereQi(k)=0.04 andRi(k)=0.04.

Filtering process is initialized as:

where

Then error covariance matrix of the first step can be calculated:

The simulation results with Algorithm 3(DFNL1)are depicted in Figs.10~12.

Through these figures,one can see that the estimated values and the real values are nearly equal.

2)Simulation 2

A multi-agent system with 100 agents,each of which is the same as the above model,is chosen to verify the algorithm.

The indices in Table III are small compared with values of states and coupling parameters.

Fig.10.Simulation 1 of Model 3:the first agent.

Fig.11.Simulation 1 of Model 3:the second agent.

Fig.12.Simulation 1 of Model 3:the third agent.

TABLE III INDICES OF DFNL1(SIMULATION 2)

D.Model 4

1)Simulation 1

A multi-agent one-dimensional system with 3 agents is chosen and the dynamic model of every agent is given as follows:

where we take constantsCons=1.2 andqi,jp=0.3.

whereQi(k)=0.04 andRi(k)=0.04.

Filtering process is initialized as:

where

Then error covariance matrix of the first step can be calculated:

The simulation results with Algorithm 4(DFNL2)are depicted in Figs.13~15.

2)Simulation 2

A multi-agent system with 100 agents,each of which is the same as the above model,is chosen to verify the algorithm.

The indices in Table IV are small compared with values of states and coupling parameters.

TABLE IV INDICES OF DFNL2(SIMULATION 2)

Fig.13.Simulation 1 of Model 4:the first agent.

Fig.14.Simulation 1 of Model 4:the second agent.

VII.CONCLUSION

In this contribution,we have introduced a decentralized adaptive filtering problem for a class of multi-agent systems which contain uncertain coupling parameters.This problem is important and fundamental for further studies on controlling multi-agent systems.In practice,many situations of complex systems involve such a problem since uncertain interactions are inevitable for agents,for example,nobody can successfully grow up without learning to adapt to the environment and other people.For every agent,only noisy measurement information is available,but there are uncertain interactions among agents,which make the evolution of agents become complicated and difficult to predict.The key point is to simultaneously estimate the states and unknown coupling parameters.This problem is challenging in the sense that estimating unknown coupling parameters is difficult without knowledge of precise states,and vice versa.

The considered multi-agent systems are divided into four typical types,including coupling relations which come from the effects of outputs and states of neighbor agents have on states of an agent and linear and nonlinear systems.

Fig.15.Simulation 1 of Model 4:the third agent.

Then with the four typical models,decentralized filtering algorithms are deduced based on the available local information with the help of standard and extended Kalman filters by adopting the idea of states augmentation.As we can see,the modified filtering algorithms of linear systems cannot be applied directly in the nonlinear systems.And for the linear systems,modifications are made in the standard Kalman filter which need not to calculate the partial derivatives and make the calculation simple.But for the nonlinear systems,modifications are made in the extended Kalman filter.So the linear systems are not considered as the special case of the nonlinear systems.For testing the effects of estimation,decentralized adaptive controllers are designed based on certainty equivalence principle.And we provide some remarks to address the challenging issue of closed-loop stability analysis of the proposed algorithms.Then by extensive simulations,the introduced decentralized filtering algorithms have illustrated satisfactory estimation accuracy.

In the future,in-depth studies and more methods are still needed to cope with more complex situations in which influence relation among agents needs to be represented by coupling nonlinear functions.And theoretic closed-loop analysis of these methods should be conducted in detail.There is still a long way ahead along this new direction of filtering for multi-agent systems with coupling uncertainties,especially decentralized adaptive filtering of multi-agent systems with parametric coupling uncertainties as well as nonparametric coupling uncertainties.

REFERENCES

[1]Yan Wei-Sheng,Li Jun-Bing,Wang Yin-Tao.Consensus for damaged multi-agent system.Acta Automatica Sinica,2012,38(11):1880−1884(in Chinese)

[2]Yu Hong-Wang,Zheng Yu-Fan.Dynamic behavior of multi-agent systems with distributed sampled control.Acta Automatica Sinica,2012,38(3):357−365(in Chinese)

[3]Lukomski R,Wilkosz K.Modeling of multi-agent system for power system topology verification with use of petri nets.In:Proceedings of the 2010 Modern Electric Power Systems.Wroclaw,Poland:IEEE,2010.1−6

[4]Ma H B,Ge S S,Lum K Y.WLS-based partially decentralized adaptive control for coupled ARMAX multi-agent dynamical system.In:Proceedings of the 2009 American Control Conference.Piscataway,NJ,United States:IEEE,2009.3543−3548

[5]Ma H B.Decentralized adaptive synchronization of a stochastic discretetime multi-agent dynamic model.SIAM Journal of Control and Optimization,2009,48(2):859−880

[6]Ma H B,Yang C G,Fu M Y.Discrete Time Systems.Vienna:I-Tech Education and Publishing,2011.229−254

[7]Al-Kanhal T,Abbod M.Multi-agent system for dynamic manufacturing system optimization.In:Proceedings of the 8th International Conference of Computational Science.Berlin,Germany:Springer Verlag,2008.634−643

[8]Luo Xiao-Yuan,Shao Shi-Kai,Guan Xin-Ping,Zhao Yuan-Jie.Dynamic generation and control of optimally persistent formation for multi-agent systems.Acta Automatica Sinica,2013,39(9):1431−1438(in Chinese)

[9]Hall E L,Alhaj Ali S M,Ghaffari M.Engineering robust intelligent robots.In:Proceedings of the 2010 SPIE—The International Society for Optical Engineering.USA:SPIE—The International Society for Optical Engineering,2010.753904−753918

[10]Wang P,Jiang H L,Shi W Z,Cheng M C.Design and realization of remote control in smart home system.In:Proceedings of the 2009 International Conference on Communication Software and Networks.Macau,China:IEEE,2009.13−15

[11]Noor A K,Venneri S L.Intelligent synthesis environment for future aerospace systems.IEEE Aerospace and Electronic Systems Magazine,2008,23(4):31−44

[12]Yang Z S,Sun J P,Yang C X.Multi-agent urban expressway control system based on generalized knowledge-based model.In:Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.Shanghai,China:IEEE,2003.1759−1763

[13]Kong Xiang-Jie,Shen Guo-Jiang,Sun You-Xian.Dynamic intelligent coordinated control with arterial traf fic based on multi-agent.Journal of PLA University of Science and Technology(Natural Science Edition),2010,11(5):544−550(in Chinese)

[14]Olfati-Saber R,Murray R.Consensus problems in networks of agents with switching topology and time delays.IEEE Transactions on Automatic Control,2004,49(9):1520−1533

[15]Ren W.Decentralization of coordination variables in multi-vehicle systems.In:Proceedings of the 2006 IEEE International Conference on Networking,Sensing and Control.Ft.Lauderdale,FL:IEEE,2006.550−555

[16]Ren W,Moore K,Chen Y Q.High-order consensus algorithms in cooperative vehicle systems.In:Proceedings of the 2006 IEEE International Conference on Networking,Sensing and Control.Ft.Lauderdale,FL:IEEE,2006.475−462

[17]Cao Y C,Ren W.Distributed containment control for multiple autonomous vehicles with double-integrator dynamics:Algorithms and experiments.IEEE Transactions on Control Systems Technology,2011,19(4):929−938

[18]Kalman R E.A new approach to linear filtering and prediction problems.ASME Journal of Basic Engineering,1960,82:34−45

[19]Simon D.Optimal State Estimation.New Jersey,America:John Wiley&Sons,Inc.,2006.

[20]Wang J,Liang Q H,Liang K,Wei S Q.A new extended Kalman f i lter based carrier tracking loop.In:Proceedings of the 3rd IEEE International Symposium on Microwave,Antenna,Propagation and EMC Technologies for Wireless Communications.Beijing,China:IEEE,2009.1181−1184

[21]Wu Yao,Luo Xiong-Lin.Robustness analysis of Kalman filtering algorithm for multi-rate systems.Acta Automatica Sinica,2012,38(2):156−174(in Chinese)

[22]Wen Tao,Ge Quan-Bo.Research on real-time block Kalman filtering estimation methods for the un-modeled system based on output measurements.Acta Electronica Sinica,2012,40(10):1958−1964(in Chinese)[23]Xiong Jie,Guan Wei,Sun Yu-Xing.Metro transfer passenger forecasting based on Kalman filter.Journal of Beijing Jiaotong University,2013,37(3):112−116,121(in Chinese)

[24]Liu Zhou-Zhou.Multi-sensor information fusion and its application.Electronic Design Engineering,2013,21(11):116−123(in Chinese)

[25]Ma H B,Zhao Y L,Fu M Y,Yang C G.Decentralized adaptive control for a class of semi-parametric uncertain multi-agent systems.In:Proceedings of the 10th World Congress on Intelligent Control and Automation.Beijing,China:IEEE,2012.2060−2065

[26]Quine B M.A derivative-free implementation of the extended Kalman filter.Automatica,2006,42(11):1927−1934

[27]Jazwinski A J.Stochastic Process and Filter Theory.New York:Academic Press,1970.

[28]Solo V.Stability of the Kalman filter with stochastic time-varying parameters.In:Proceedings of the 35th IEEE Conference on Decision and Control.Kobe,Japan:IEEE,1996.57−61

[29]Reif K,Gunther S,Yaz E,Unbehauen R.Stochastic stability of the discrete-time extended Kalman filter.Automatic Control,1999,44(4):714−728