International Journal of Distributed Sensor Networks

Volume 2013 (2013), Article ID 875192, 13 pages

http://dx.doi.org/10.1155/2013/875192

Research Article

Optimal Distributed Tracking Control for Nonlinear Cooperative Wireless Sensor Networks

Ya-Li Li,¹ Jing Lei,2,3 and Jun Wang²

¹School of Mathematical Sciences, Xiamen University, Xiamen 361005, China

²School of Mathematics and Computer Science, Yunnan Nationalities University, Kunming 650500, China

³Key Laboratory in Software Engineering of Yunnan Province, Kunming 650091, China

Received 10 January 2013; Revised 30 March 2013; Accepted 30 March 2013

Academic Editor: Shuai Li

Copyright © 2013 Ya-Li Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The optimal distributed tracking control algorithms over nonlinear cooperative wireless sensor networks (WSNs) are presented in this paper. In order to solve transfer delay and packet loss problem, the architecture of wireless active sensor (WAS) is employed, where a state estimator is embedded, which can provide the needed state information. Furthermore, the optimal distributed tracking control algorithm is proposed. By solving the matrix equations and the adjoint difference equations, the optimal control law can be obtained easily, in which an increment integral regulator is designed to implement tracking target without steady-state error and a nonlinearity compensation term is designed to compensate for the effect produced by system nonlinearity. Moreover, the observer-based dynamical algorithm is given considering the physically unrealizable disturbance states and the unavailable sensor states. Finally, computer simulations are carried out with application to two nonlinear pendulums, which prove that the algorithm is effective and easy to implement, and the system achieves the desired performance based on tradeoff between tracking error and control energy consumption.

1. Introduction

Target tracking has valuable application in scenarios of military, industry, architecture, natural resources detection, search and rescue operation, civil surveillance system, mobile robot, autonomous underwater vehicle, unmanned aerial vehicle, and so forth. For instance, during ocean resource exploration, towed vehicle is required to track the given route in order to load the detection device getting underwater data [1]; the hydrofoil craft tracks the predesigned route to implement the marine task [2]; in space, attitude tracking control for airplane or spacecraft has always been a significant research [3]; the studies of mobile robot on trajectory tracking [4], tour tracking [5], and formation control [6] have sprung up worldwide. With the increasing development of science technology, the requirement for tracking stability, accuracy, real-time quality, and so forth, becomes higher and higher. And thus, WSNs grow to be adopted widely in tracking tasks due to their convenience, flexibility, mobility, and low cost, which play an irreplaceable role in practical engineering by now.

However, some limitations of WSNs, such as noise, interference, limited bandwidth and power, and time-varying gain, bring the factors of uncertainty, nonlinearity, time-delay, or limited energy to WSN-based control systems. Thereby, it is still an emerging and challengeable research to study tracking control problems on WSNs. Currently, there are some results reported on this field. As for the analysis for system characteristics, [7] showed that the tradeoff between data rate, time-delay, and packet loss will greatly affect the performance of distributed wireless networked system; [8] developed the result in [7] for a control system where data exchange between sensor-controller and controller-actuator are all completed over WSNs; [9] analyzed the input-output stability of nonlinear control system on wireless network with disturbance; [10] presented a testbed for ambient intelligence under the constraints of low power, limited spectrum and resources; [11] discussed the effect on an ambient intelligent system by network-induced delay, random uncertainty, and limited packet information and gave three compensation strategies. On the other hand, as for the tracking control issues in WSNs environment, [12] designed the fuzzy observer-based tracking control for time-delay nonlinear distributed parameter system; [13] proposed variable structure control for consensus tracking problem of autonomous vehicle formation; [14] gave an intelligent Fuzzy control for real-time tracking; [15] used range and range-rate measurement for multitarget tracking relating with the uncollected information; in [16], an adaptive predictive control reduced the energy consumption and enhanced tracking accuracy for wireless network system; [17] built a multimodality framework and gave -step predictive tracking algorithm to conserve the energy consumption. Seeing that, previous works on tracking control problems have given some algorithms or solutions to solve the relevant issues. However, during these reports, some concerned the models with simple representations but not from a large-scale system viewpoint; others tended to ignore the specifics in such WSNs environment, for example, nonlinearity, uncertainty, time-delay, limited power, or steady-state error of tracking.

Alternatively, this paper explores to design an optimal tracking control without steady-state errors with distributed systems in a large-scale system viewpoint, taking into account the disturbance, nonlinearity, and time-delay faced by the system. The key contributions of this paper are twofold: first, to model an appropriate system, an interconnected large-scale system combined by subsystems is built, in which the interconnected terms represent cooperative communications between the sensors; then, to design the zero steady-state error controller, the relevant optimal tracking control algorithm is presented, which is derived from the matrix equations and adjoint difference equations, in which an increment integral regulator is designed to eliminate the steady-state error. On the basis of the control performance, the tracking error and control energy are designed in the performance index prior so that the goal of the wireless networked control system is ensured to be achieved.

The paper incorporates three novel features: (1) it gives a distributed architecture. The traditional centralized architecture (Figure 1) is practically proved unsuitable to a large-scale environment for its limited communication bandwidth and power supplies [18–21]. Instead of it, we focus on the distributed architecture, for example, Figure 2, where each sensor can be viewed as an intelligent agent with some degree of autonomy in decision-making, and information is exchanged between nodes to compute an almost optimal sensor-target assignment, which makes it more robust and efficient than the centralized one. (2) It presents a cooperative algorithm for the WSNs-based control design. In the cooperative distributed approach, the sensors are rational; that is, each sensor will not only consider its own benefit over a permissible action space, but also the other sensors’ behavior [21, 22]. According to the presented cooperative algorithm, the sensors can know the others’ states from the wireless network and consider the tradeoff between tracking performance and the expense of it. (3) It proposes an optimal algorithm for tracking control. As it is known, limited power supply is a challenge which is inherent from the nature of sensors. Although some methods were introduced to deal with this problem, for example, [23, 24], fundamentally, the tracking algorithm should be improved to adapt to this reality. The proposed optimal tracking control design is capable of minimizing the control energy of each sensor.

Figure 1: Two centralized control systems supported by WSNs.

Figure 2: Two distributed cooperative control systems supported by WSNs.

The organization of this paper is as follows. After this introduction, in Section 2, systems description and problem formulation have been done. Section 3 proposes the design procedure of optimal distributed tracking algorithms. Computer simulations are demonstrated in Section 4. Concluding remarks are given in Section 5.

Notation. Throughout this paper the following notations are used. denotes the set of integers and . denotes the -dimensional Euclidean space with vector norm . is the set of all matrices. denotes the positive real numbers. stands for the set of continuously differentiable functions. indicates the transpose of matrix . denotes the Euclidean norm of a of matrix . represents the identity matrix and represents the zero matrix of appropriate dimensions. denote the eigenvalues of a matrix and is the minimum eigenvalue. stands for a diagonal matrix and stands for a block one. represents the vector of the subsystem of a large-scale distributed system in discrete-time form. represents the iterative vector and are the vector sequences for in discrete-time forms.

2. Problem Statement

A cooperative distributed control system over WSNs is illustrated in Figure 2, which consists of two subsystems. As it is shown, the 1st subsystem is combined by three sensors and the 2nd subsystem by two sensors, which are communicated with each other to exchange data by WSNs. In each of these subsystems, a base station acts as the controller which transfers the command signal to the actuator ensuring it be executed by the plant.

2.1. Distributed WSNs Model

In the first place, the distributed control system is modeled and the problem is formulated. The distributed WSNs system is modeled by a discrete-time interconnected large-scale system consisting of subsystems, which is described by

where is the state vector of the large-scale system, and

is a constant matrix representing information communications within the sensors, by which the subsystem enables to know the other subsystems’ states such that they can cooperate with each other to accomplish tasks, such as track target, balance tradeoff, and avoid obstacle.

For the subsystem, is the state vector of the sensor, is the output vector, is the distributed controller, and is some exogenous signal suffered by the system, for example, disturbance, noise, or uncertainties affecting the plant, which can be represented by some periodical or attenuated signal. ,and are constant matrices of appropriate dimensions. represents the nonlinearity displayed by the subsystem, which satisfies Lipschitz condition and . The initial state vector of the system (1) is . The following assumptions are needed for the derivation process.

Assumption 1. The pair is completely controllable.

Assumption 2. The pair is completely observable.

For physical implement, Assumptions 1 and 2 guarantee the communicability and connectivity of information over a network. Under these conditions, the data can flow and be observed over network among controllers, actuators, and sensors, which enable information from sensors to reflect the information of system states completely. On the other hand, for mathematical derivation, the two assumptions guarantee the stabilizability and observability of the system.

Since every subsystem is described by system (1), in what follows, the superscript is dropped for simplification reason except when needed for clarification.

Supposing that the dynamical characteristic of disturbance is unknown, thus it can be described in the form of an exosystem:

where the pair is assumed completely observable. System (3) can describe several kinds of disturbance signals, such as step, sinusoidal [25], or random [26].

Furthermore, the tracked target can be denoted by a reference vector , which is assumed asymptotically stable (a.s.) or stable. Then, the tracking error is defined by .

2.2. Problem Formulation

In order to design a control law to track the target without steady-state error, an integrator is to be designed. Therefore, the control increment is defined. And then, regarding the system, the target should be tracked with , and the control energy consumption should be minimized as well. Thus, choose tracking error and control in the performance index. Consider two cases of disturbance: (i) when disturbance and reference signals are attenuated, that is, a.s., the infinite-time performance index can be adopted:

where is a positive semidefinite matrix and a positive definite one; (ii) alternatively, when they are periodical, that is, stable, the infinite-time performance index (4) will not be convergent, since the control in it includes periodical disturbance signal; in this case, the following average performance index can be taken:

Our objective is to design the distributed OTDC to minimize performance index (4) or (5).

Consequently, denoting the augmented state vector

the augmented system is produced:

where

From Assumption 1, it can be proved that , which implies that the pair is completely controllable. Then the purpose of designing OTDC to minimize the performance index (4) or (5) is equivalent to that of designing an optimal regulation control law to minimize the performance index

or

where . And the pair is assumed completely observable for an arbitrary matrix which satisfies . Hence, the original tracking problem of performance index (4) or (5) subject to the dynamical constraint (1) is converted into an optimal regulation problem of performance index (9) or (10) subject to the dynamical constraint (7).

3. Optimal Distributed Tracking Control Design

3.1. Design of Estimators at Sensors

In WSNs, information collected from sensors is always not complete, which is attributable to transfer delays and packet losses. A kind of wireless estimation sensor is introduced to avoid challenges associated with transfer delays and packet losses [27–29]. As shown in Figure 3, a WAS consists of four functional components: sensing interface, computational core, wireless communication channel, and actuation interface. The sensing interface connects the perfectly estimated analog signals, converts them to digital ones, and then transfers them to computational core ready to process. The designed algorithm is embedded in computational core which outputs control command signals to actuation interface. In actuation interface, the control signals are converted into analog ones while driving actuators or active sensors to execute control forces. Wireless communication unit allows the connectivity among this and other sensors and remote data servers within WSNs. Through a series of laboratory tests, such a kind of wireless active sensor is attested that not only its architecture is simple and easy to design but also it enhances the communication performance for its direct connection within sensor-controller-actuator. In this study, this kind of useful WAS architecture will be employed in distributed WSNs modeling. In addition to these reports, we will provide an estimator design method and the corresponding algorithm for the wireless estimator, which can be embedded in the WAS. Consequentially, the unavailable states will be entirely estimated and the transfer delays and packet losses can be effectively avoided as well. After this procedure, the perfect state information can be collected by the active sensors over the WSNs and all information is ready in the sensing interfaces for controller computations.

Figure 3: Architecture of WAS.

Consider that the state vector of the subsystem, which is denoted by (simplified by ), is measured by the sensor, assuming it is partial or unavailable. In order to estimate the full information of it and thus to send the overall state values to the controller, the full-order observer construction theory is applied and the state estimator is constructed in form of

where is the original constant of the sensor, is the estimated state of , and is the estimator gain. By regulating the gain and applying the pole assignment principle to make , the estimation error enables approaching to zero; that is, . Consequently, all the estimated states of the WSN-based system will be finally achieved with through each state estimator, in which is the estimated state of the large-scale system. Therefore, entire state information can be collected over the WSNs and will be sent to the relevant computational core for control usage.

3.2. Optimal Tracking and Disturbance Rejection Control (OTDC) Design

3.2.1. Global Optimal Control of Nonlinear System

This section is devoted to outlining the sufficient and necessary condition for the optimality of a tracking and disturbance rejection control of the quadratic optimization problem (4) or (5) subject to the nonlinear dynamical constraint (1). As above mentioned, in order to simplify the derivation, one might consider the equivalent optimal regulation problem (9) or (10) subject to (7). Then Theorem 3 can be gotten.

Theorem 3. Given the nonlinear large-scale system (1) and the cost functional (4) or (5), where the distributed control is unconstrained, then a distributed optimal tracking and disturbance rejection control law is given by

where are denoted by

where   is the unique positive definite solution of the Riccati matrix equation

where   is the unique solution of the Stein matrix equation

and is the unique solution of the adjoint difference equation

The optimal state is the solution of the closed-loop system

Proof. In analogy to classical linear quadratic regulator (LQR) optimal control theory from minimum principle, the Hamiltonian for the linear quadratic regulation problem (7) with respect to (9) or (10) becomes

which satisfies the canonical equations

with the transversality condition

and the control equation

giving

along an optimal trajectory, where is an introduced costate vector. Then the canonical equations (19) and (20) result in the coupled nonlinear two-point boundary value (TPBV) problem

Adopt the Riccati transformation

which combines the terms designed to compensate for the disturbance and the nonlinearity effects, respectively, where , , and are unknown matrices and vector to solve. Then, on one hand, from (25) and the state equation (19), it follows

On the other hand, from (25) and the costate equation (20), the following equation holds:

Substituting (26) into (27) yields

Since (28) is arbitrarily true, thus the Riccati equation (14), the Sylvester equation (15), and the adjoint vector difference equation (16) can be directly produced from it.

Furthermore, substituting the costate vector (25) into the costate equation (20) yields

and then substituting (29) into (23) leads to the optimal control increment

Using denotation (13) and integrating the optimal control increment (30) yields the optimal control law

Consequently, substituting (31) into subsystem (1) results in its closed-loop system

which gives the optimal state trajectory (17). The proof of Theorem 3 is completed.

3.2.2. Approximations of Sequences of Adjoint and State Equations

However, noting that the adjoint equation (16) and the optimal state equation (17) are coupled nonlinear difference equations, they are complex and seldom have analysis solutions. So, in this paper, the sequence approximation method in continuous-time domain [30] is developed into discrete-time domain to solve the coupled nonlinear equations (16) and (17).

Firstly, replace the difference equations (16) and (17) by the following sequences of linear time-invariant (LTIV) approximations:

in which represents the iteration sequence. In what follows, with the purpose of proving that sequences and of (33) and (34) converge to the solutions of (16) and (17), respectively, some preliminary work will be carried out. Notice that the approximation sequences (33) and (34) are represented as inhomogeneous linear difference equations, which have the following solutions given by the variation of constants’ formulae:

in which denotes the transition matrix of . Without loss of generality, combine (16) and (17) in a compact form of

where is a state vector and is a constant matrix of appropriate dimension. Meanwhile, denote (35) and (36) in another compact form of

where denotes the state transition matrix corresponding to matrix and the initial state vector .   with satisfies Lipschitz condition; that is, for every and a positive constant , there exits the following inequality:

Hence, we only need to prove that the sequences of (38) converge to the solution of (37). As a result, Lemma 4 is produced.

Lemma 4. Let satisfy the Lipschitz condition and be bounded in its arguments. Then, the limits of the solutions of the approximating sequences (38) on converge to the unique solution of (37) on .

Proof. Denote

where are positive constants. Noting that , thus . From (38), it follows

Due to (39) and (40), (41) gives

Further, from (38), (39), and (42), it yields

Note that

Then, the following holds:

Through the trigonometry inequality, there exists

for any , which leads to

Consequentially, is the sequence of Cauchy in Banach space . Therefore, on . The proof of Lemma 4 is completed.

From Lemma 4, Lemma 5 is directly produced.

Lemma 5. Let be bounded and satisfy the condition. Then, the limits of the solutions of the approximating sequences (33) and (34) (or (35) and (36)) on globally converge to the unique solutions of (16) and (17), respectively, on .

Hence, the implication of the sufficient and necessary condition for a global distributed optimal solution of the nonlinear quadratic tracking and disturbance rejection control problem (1) with respect to (4) or (5) is given by the following theorem.

Theorem 6. Given the nonlinear system (1) and the cost functional (4) or (5), where is unconstrained, then the distributed optimal tracking and disturbance rejection control is given by the limit of the sequence

where are denoted by (13), is the unique positive definite solution of the Riccati matrix equation (14), is the unique solution of the Sylvester matrix equation (15), and is given by the converged unique solution of the LTIV difference equation sequence (33) or (35). The optimal state is the solution of the closed-loop system (34) or (36).

It is obvious that (33) and (34) (or (35) and (36)) are the TPBV problem of the LQR TPBV problem of the sequence (49) or (50) subject to the constraint (51). Following from Theorem 6, an alternative equivalent nonlinear OTDC problem of (1) is summarized as the following corollary.

Corollary 7. The nonlinear quadratic optimization problem to find minimizing cost functional (4) or (5) subject to the constraint (1) is equivalent to the LTIV problem to find minimizing cost functional

or

subject to the constraint

Remark 8. The optimal control is unique.

To prove the uniqueness of optimal control , the following useful lemma is needed.

Lemma 9 (see [31]). Assume that , , , the Stein matrix equation

has a unique solution if and only if

Then, we will use Lemma 9 to prove the uniqueness of firstly.

Proof. Since the triple is controllable-observable, according to LQR theory, there exists the unique positive definite solution such that the matrix

is Hurwitz; that is,

Moreover, the disturbance is supposed a.s. or stable; that is, . Therefore, the following inequality holds:

According to Lemma 9, the Stein equation (15) has the unique solution .

Additionally, are unique solutions of difference equations (16), (17), respectively, for satisfying their uniqueness condition. Consequentially, the uniqueness of OTDC (12) is proved.

Remark 10. It should be noted that, in practice, the exact adjoint vector in (48) is usually impossible to obtain when designing the controller in case of . Generally, can be replaced by a positive integer , and thus the following distributed suboptimal tracking and disturbance rejection control (SOTDC) is proposed:

where is determined by a small enough concrete error criterion . Then, the relevant performance index is calculated by

until .

Hence, the synthesis algorithm of SOTDC for systems (1) is schemed out as follows.

Algorithm 1. SOTDC of system (1).

Step 1. Regulate at the respective estimator; provide appropriate state to the controller.

Step 2. Judge the controllability-observability of .

Step 3. Determine matrices in (8).

Step 4. Get the augmented system (7).

Step 5. Solve and from (14) and (15); let , , and .

Step 6. Obtain the adjoint vector from (33) or (35).

Step 7. Letting , calculate from (57).

Step 8. Determine from (58).

Step 9. When , then output .

Step 10. Calculate from (34) or (36).

Step 11. Letting , go to Step 5.

3.2.3. Closed-Loop Stability Analysis

Taking in (30) yields the increment OTDC and then substituting it into the augmented system (7) yields the closed-loop augmented system

with

In (59), the term is the feedforward term to suppress the disturbance. Moreover, since there exists , thus suppose and in (59). Select as a Lyapunov function candidate. The increment of it along the trajectories of system (59) gives

Since

where and function vector has the property that for any , there exists such that

thus the following holds

Choosing which satisfies

ensures being negative definite. Hence, the closed-loop system (59) is a.s., which leads to

Consequentially, (66) indicates that the target is perfectly tracked without steady-state error.

3.2.4. Physical Realization of SOTDC

Notice that SOTDC (57) includes the disturbance state which is physically unrealizable. Moreover, in WSNs, states of might not reach the controller completely. Therefore, we can reconstruct these states through a reduced-order observer by using the output vectors and . Defining , the observer can be constructed in the form of

where

, , ,    are constant matrices of appropriate dimensions, is the estimated state of , is the observer state, and is the observer gain. By regulating the gain to make , the estimation error can approximate to zero. Therefore, the system state can be reconstructed and the feedforward compensation can be implemented physically. For simplification reason, the observer construction process is omitted which can be referred to in [25, 26]. Therefore, in the basis of observer (67), a dynamical distributed suboptimal tracking and disturbance rejection control (DSOTDC) is obtained:

And then, the relevant algorithm of DSOTDC is outlined.

Algorithm 2. DSOTDC for system (1).

Step 1. Regulate at the respective estimator; provide appropriate state to the controller.

Step 2. Determine the matrices in observer (67).

Step 3. Judge the controllability-observability of .

Step 4. Determine matrices (8).

Step 5. Get augmented system (7).

Step 6. Solve and from (14) and (15); let , , and .

Step 7. Obtain the adjoint vector from (33) or (35).

Step 8. Letting , calculate from (69).

Step 9. Determine from (58).

Step 10. When , then output .

Step 11. Calculate from (34) or (36).

Step 12. Letting , go to Step 7.

3.3. OTC Design

In some cases, regarding a tracking problem, disturbance effect is minor and the key of analysis and synthesis is speediness and accuracy of tracking. Consequentially, ignoring disturbance effect on a system, the following distributed optimal tracking control (OTC) is presented. In the same way, using the maximum principle and letting in the Riccati transformation (25), through the similar derivation procedure, the distributed OTC is obtained as the follows.

Theorem 11. Given the nonlinear large-scale system (70)

and the cost functional (4) or (5), where the distributed control is unconstrained, then a distributed optimal tracking control law is given by

where are denoted by (13), is the unique positive definite solution of the Riccati matrix equation (14), and is the unique solution of the adjoint difference equation (16). The optimal state is the solution of the closed-loop system

For briefness, the distributed suboptimal tracking control and the observer-based dynamical suboptimal tracking control are omitted.

4. Simulation Examples

Consider two identical pendulums, which are controlled by the forces , and track target signals, respectively. The dynamic equation is given by [32]:

where is the mass of the bob, is the length of the rod, is the angle subtended by the rod and the vertical axis through the pivot point, is the acceleration due to gravity, is the coefficient of friction, and is the applied torque. Letting , , and , model (73) is represented in the state-space form of

where and represent the pendulums receiving information from each other over WSNs. The parameter values are adopted as follows:

Taking the sampling time , system (74) is discretized into the discrete-time system in form as (1). The performance index matrices of (4) are chosen taking

One wireless sensor is installed upon each of the pendulums; in total, two wireless sensors are installed. The role of the wireless sensor is to measure the angle velocity of the pendulum, calculate an OTDC force, apply a command signal to actuator, and wirelessly exchange data with other wireless sensors sharing a wireless network. To determine the angle velocity, each wireless sensor measures the absolute velocity from a velocity meter equipped with the pendulum, see Figure 4.

Figure 4: Pendulums equipped with velocity meters and wireless active sensors.

Then, in the first place, we will validate the effectiveness of the designed OTDC. Command no. 1 pendulum to keep its angle tracking a step signal target as and no. 2 pendulum tracking a sinusoidal signal target as . In light of Theorem 6, the distributed OTDCs are designed. The closed-loop structural diagram is shown in Figure 5. The computer simulations are demonstrated. The pendulums’ responses of angular displacements, velocities, control forces, and tracking errors are described as in Figure 6.

Figure 5: The closed-loop structural diagram of controlled pendulum system on WSNs.

(a)

(b)

(c)

(d)

Figure 6: Pendulums’ responses tracking step and sinusoidal signals.

They receive the information of themselves and that of others, respectively, by communicating over the WSNs and obtain it through the matrices and the interconnection matrices and then calculate the data using (14)–(17) so that the distributed control laws (12) are determined. Hence, they complete their separate tasks tracking the respective targets such that, in the whole system point, the entire tasks consisting of the two subtasks are accomplished also. From the figure of tracking errors, one can see that the tracking errors of the two pendulums are completely with zero steady-state errors.

Consequently, in order to demonstrate the effect of zero steady-state error with OTDC approach, we compare with a feedforward and feedback optimal control (FFOC). The relevant tracking errors are exhibited in Figure 7.

(a)

(b)

(c)

(d)

Figure 7: No. 2 pendulum’ responses tracking sinusoidal signals by OTDC and FFOC.

Figure 7 reveals that the tracking error approaches zero by employing OTDC. However, the one through FFOC approximates some stable sinusoidal signal but not zero, since the increment integral regulator enables eliminating the steady-state error especially for high-order signals. Contrarily, the feedforward compensator can only stabilize system states while tracking the target; in most cases, it does not possess the property to eliminate steady-state errors.

5. Conclusions

In this paper, we have presented the optimal tracking control algorithms for distributed nonlinear systems on WSNs. The optimization algorithm has been derived from increment equations and obtained by solving discrete-time matrix equations and difference equation sequences. Illustrated by the numerical simulations, it has shown that the targets can be tracked without steady-state errors and the design goal of balancing the tradeoff between track error and energy consumption can be archived over WSNs.

Acknowledgments

This work was supported by the China Scholarship Council Foundation (201208535084), the Natural Science Foundation of Yunnan Province (2011FZ169), and the Open Fund of Key Laboratory in Software Engineering of Yunnan Province (2011SE15).

References

A. I. Makarenko, V. I. Poddubnyi, and V. V. Kholopova, “Study of the nonlinear dynamics of self-propelled submersibles controlled by a cable,” International Applied Mechanics, vol. 33, no. 3, pp. 251–257, 1997.

S. H. Kim and H. Yamato, “On the design of a longitudinal motion control system of a fully-submerged hydrofoil craft based on the optimal preview servo system,” Ocean Engineering, vol. 31, no. 13, pp. 1637–1653, 2004.

T. S. No, B. M. Min, R. H. Stone, and K. C. Wong, “Control and simulation of arbitrary flight trajectory-tracking,” Control Engineering Practice, vol. 13, no. 5, pp. 601–612, 2005.

O. Mohareri, R. Dhaouadi, and M. M. Shirazi, “Intelligent neural network based controllers for path tracking of wheeled mobile robots: a comparative analysis,” in Proceedings of the 8th IEEE International Workshop on Robotic and Sensors Environments (ROSE '10), pp. 34–39, October 2010.

S. Martínez and F. Bullo, “Optimal sensor placement and motion coordination for target tracking,” Automatica, vol. 42, no. 4, pp. 661–668, 2006.

T. Dierks, B. Brenner, and S. Jagannathan, “Near optimal control of mobile robot formations,” in Proceedings of the IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning, pp. 234–241, 2011.

X. Lieu and A. Goldsmith, “Wireless communication tradeoffs in distributed control,” in Proceedings of the 42nd IEEE Conference on Decision and Control, pp. 688–694, December 2003.

X. H. Liu and A. Goldsmith, “Wireless medium access control in distributed control,” in Proceedings of the 41st Annual Allerton Conference on Communication, Control and Computing, pp. 121–130, 2003.

M. Tabbara, D. Nešić, and A. R. Teel, “Input-output stability of wireless networked control systems,” in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference (CDC-ECC '05), pp. 209–214, December 2005.

G. Oliver, L. Lothar, and R. Markus, “NCS testbed for ambient intelligence at the University of Kaiserslutern,” 2004, http://www.eit.unikl.de/AmI/de_index.html

L. Litz, O. Gabel, and I. Solihin, “NCS-controllers for ambient intelligence networks—control performance versus control effort,” in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference (CDC-ECC '05), pp. 1571–1576, December 2005.

Y. T. Chang and B. S. Chen, “A fuzzy approach for robust reference-tracking-control design of nonlinear distributed parameter time-delayed systems and its application,” IEEE Transactions on Fuzzy Systems, vol. 18, no. 6, pp. 1041–1057, 2010.

Y. Cao and W. Ren, “Distributed coordinated tracking via a variable structure approach—part I: consensus tracking,” in Proceedings of the American Control Conference (ACC '10), pp. 4744–4749, July 2010.

M. A. Shirzi and M. R. Hairi-Yazdi, “Active tracking using Intelligent Fuzzy Controller and kernel-based algorithm,” in Proceedings of the IEEE International Conference on Fuzzy System, pp. 1157–1163, 2011.

T. Sathyan, S. Arulampalam, and M. Mallick, “Multiple hypothesis tracking with multiframe assignment using range and range-rate measurements,” in Proceedings of the 14th International Conference on Information Fusion, pp. 1–8, 2011.

H. J. Rad, M. Azarafrooz, H. S. Shahhoseini, and B. Abolhassani, “A new adaptive power optimization scheme for target tracking wireless sensor networks,” in Proceedings of the IEEE Symposium on Industrial Electronics and Applications (ISIEA '09), pp. 307–312, October 2009.

L. Yang, C. Feng, J. W. Rozenblit, and J. Peng, “A Multi-modality framework for energy efficient tracking in large scale wireless sensor networks,” in Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC '06), pp. 916–921, April 2006.

L. Liu, “A QoS-based topology control algorithm for underwater wireless sensor networks,” International Journal of Distributed Sensor Networks, vol. 2010, Article ID 642053, 12 pages, 2010.

A. Oka and L. Lampe, “Distributed target tracking using signal strength measurements by a wireless sensor network,” IEEE Journal on Selected Areas in Communications, vol. 28, no. 7, pp. 1006–1015, 2010.

B. Bejar, P. Belanovic, and S. Zazo, “Distributed consensus-based tracking in Wireless Sensor Networks: a practical approach,” in Proceedings of the 19th European Signal Processing Conference, pp. 2019–2023, 2011.

W. Chen and Y. Fu, “Cooperative distributed target tracking algorithm in mobile wireless sensor networks,” Journal of Control Theory and Applications, vol. 9, no. 2, pp. 155–164, 2011.

Y. Sun, S. Zang, H. Xu, and S. Lin, “Cooperative communications for Wireless Ad Hoc and Sensor Networks,” International Journal of Distributed Sensor Networks, vol. 2013, Article ID 161268, 2 pages, 2013.

S. Adlakha, R. Madan, S. Lall, and A. Goldsmith, “Optimal control of distributed Markov decision processes with network delays,” in Proceedings of the 46th IEEE Conference on Decision and Control (CDC '07), pp. 3308–3314, December 2007.

L. Yang, C. Feng, J. W. Rozenblit, and H. Qiao, “Adaptive tracking in distributed wireless sensor networks,” in Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS '06), pp. 103–111, March 2006.

J. Lei, Research on optimal disturbance rejection methods for systems with control delay [M.E. dissertation], Ocean University of China, Qingdao, China, 2007.

J. Lei, Study on optimal vibration control for time-delay systems with application to vehicle suspension systems [D.E. dissertation], Ocean University of China, Qingdao, China, 2010.

J. P. Lynch, “Design of a wireless active sensing unit for localized structural health monitoring,” Structural Control and Health Monitoring, vol. 12, no. 3-4, pp. 405–423, 2005.

J. P. Lynch and K. Loh, “A summery review of wireless sensors and sensor networks for structural health monitoring,” Shock and Vibration Digest, vol. 38, no. 2, pp. 91–128, 2006.

J. P. Lynch and D. M. Tilbuty, “Implementation of a decentralized control algorithm embedded within a wireless active sensor,” in Proceedings of the 2nd Annual ANCRISST Workshop, Gyeongju, South Korea, 2005.

T. Çimen and S. P. Banks, “Global optimal feedback control for general nonlinear systems with nonquadratic performance criteria,” Systems and Control Letters, vol. 53, no. 5, pp. 327–346, 2004.

K. M. Sujit, “The matrix equation ,” SIAM Journal on Applied Mathematics, vol. 32, no. 4, pp. 823–825, 1997.

H. K. Khalil, Nonlinear Systems, Prentice Hall, Upper Saddle River, NJ, USA, 2002.