Self-Triggered Formation Control of Nonholonomic Robots

In this paper, we report the design of an aperiodic remote formation controller applied to nonholonomic robots tracking nonlinear, trajectories using an external positioning sensor network. Our main objective is to reduce wireless communication with external sensors and robots while guaranteeing formation stability. Unlike most previous work in the field of aperiodic control, we design a self-triggered controller that only updates the control signal according to the variation of a Lyapunov function, without taking the measurement error into account. The controller is responsible for scheduling measurement requests to the sensor network and for computing and sending control signals to the robots. We design two triggering mechanisms: centralized, taking into account the formation state and decentralized, considering the individual state of each unit. We present a statistical analysis of simulation results, showing that our control solution significantly reduces the need for communication in comparison with periodic implementations, while preserving the desired tracking performance. To validate the proposal, we also perform experimental tests with robots remotely controlled by a mini PC through an IEEE 802.11g wireless network, in which robots pose is detected by a set of camera sensors connected to the same wireless network.


Introduction
Nowadays, multi-agent system is one of the most studied control topics; within this context, formation control has special relevance [1][2][3]. Advances in communication wireless technology and embedded devices, among other fields, have enabled the development of underwater robots [4], unmanned aerial vehicles [5] or terrestrial robots [2,3,6] working in formation. These groups of vehicles can properly deal with different challenges, such as navigation, mapping and monitoring works [2]. According to the way in which control actions are remotely applied to the units of the formation, centralized or decentralized control strategies can be defined. The centralized one is simpler in the design stage and is usually more robust against disturbances than decentralized alternatives because all units know the information of the rest of the units of the formation. However, its main disadvantage is that requires a large communication network to send all the information which makes its scalability limited [2,3]. On the contrary, decentralized control offers a solution to this problem [7,8] due to the control signal of each unit being computed according to its own state and the information of its neighbours, while at the same time guaranteeing the stability of the formation.
According to the mission carried out by the formation, three types of strategies can be differentiated [1]. When the position of each unit is measured with respect to a global coordinate system, this strategy is referred to as position-based control. If the unit measures the displacement of 1.
Design and implementation of a novel self-triggered Lyapunov-based control for nonlinear systems, using a dual stability approach in order to guarantee practical stability. When the Lyapunov function is greater than a given threshold, asymptotic stability is guaranteed. After that, the system is bounded on the Lyapunov threshold level.

2.
Evaluation of centralized and decentralized triggering mechanisms for formation control of nonholonomic robots tracking nonlinear trajectories, comparing both with a periodic implementation. The experimental set-up includes three mobiles robot remotely controlled in a scenario with four wireless camera sensors. 3.
The design and implementation of a delay compensation strategy that leverages one of the main strengths of STC, namely that the next sampling instant is known in advance.
The paper is structured as follows: the problem statement is described in Section 2; the selftriggered Lyapunov control solution is presented in Section 3; Section 4 details the simulation results; in Section 5, the more relevant implementation aspects are described; the experimental outcomes are shown in Section 6; finally, Section 7 highlights the main paper contributions.

Notation
We use the following notation: ||v|| is the Euclidean norm of the vector v ∈ R n and ∧ is the truth-functional operator of logical conjunction. A function is of class C 0 (D x ) if it is continuous over D x , and it is C l (D x ), l > 0 if its derivatives are of class C l−1 (D x ). A continuous function ρ : [0, a) → +∞, a > 0 is of class K if it is strictly increasing and ρ(0) = 0. We represent a Lyapunov level set by Ω V k = {ξ(t) ∈ R n x |V(ξ(t)) ≤ V k } ⊂ D x .

Problem Statement
A common problem in remote vehicle guidance is the design of control laws to follow a timeparameterized reference. This problem is especially challenging when considering nonlinear trajectories and nonholonomic vehicles. Such is the case of differential-drive robots, which only possess two actuation variables (linear velocity and angular velocity) for locomotion control, whereas the pose of the mobile unit is characterized by three degrees of freedom. In [19], the ETC theory for one robot unit is already presented; here, an extension to an STC formation control for a group of robot units is proposed. We report the design and implementation of an aperiodic formation controller to carry out this task through a wireless network.

Formation Control Problem
The left picture of Figure 1 displays the principal elements of the formation, where the reference pose for each robot R n (X rn , Y rn , Θ rn ) is generated according to the position of a virtual leader robot L (X L , Y L , Θ L ) and the current position of each robot is described by F n (X n , Y n , Θ n ). The virtual leader tracks the nonlinear trajectory without error and is used to determine the position of each robot in the formation. To do this, we implement a road-following formation strategy to compute the position of each robot in each time and its velocity references.
(a) (b) Figure 1. (a) main variables describing the trajectory tracking in formation strategy: in blue, the reference poses of each robot R n (X rn , Y rn , Θ rn ), which are generated according the position of a virtual leader robot L (X L , Y L , Θ L ) in red and in black the current position of each robot, described by F n (X n , Y n , Θ n ); (b) main variables describing trajectory tracking of one robot in the formation, where the robot reference is computed according to the position of the virtual leader: d n is the distance error calculated from the robot point (X n , Y n ) to the reference point (X rn , Y rn ), α n is the orientation error with respect to the target point, e Θ n is the orientation error between the desired orientation to follow the trajectory (Θ rn ) and the orientation of the robot (Θ n ). Road-following formation allows two kinds of coordination: the spatial coordination and temporal coordination [35]. In the case of spatial coordination, the trajectories of each unit within the formation are coordinated, thus the shape of formation adapts to the conditions of the trajectory; therefore, the distances between the different agents of the formation can vary at certain times. On the contrary, in a temporally-coordinated formation, the distance between the different agents is permanently kept constant. Considering that our challenge is the nonlinear, trajectory tracking of a robot formation, we apply the spatial coordination despite the fact that this does not guarantee a constant relative position between the mobile units every time. For this reason, the trajectory generator is responsible for limiting the curvature of the trajectories andn establishing an equal linear velocity for all the units in the formation in order to avoid possible collision situations of the different units. To implement this trajectory generator, whose mission is to compute the position and velocity references of each real robot in the formation, we decided to use a virtual leader as a reference. Figure 1a details the tracking problem for each robot in the formation. The current pose of each robot is characterized by (X n , Y n , Θ n ). The robot kinematics allows for establishing the relationship between pose time derivative and the related linear v and angular ω velocities. For the nonholonomic robot model, we have:Ẋ We also define these error variables for each agent (Figure 1b): angle error α n is defined as the different between the current orientation and the orientation needed to reach the target point, orientation error e Θ n is the different between the desired (Θ rn ) and actual (Θ n ) orientations; finally, distance error d n is calculated as the distance between the current and reference positions: Contrary to previous studies of aperiodic tracking controllers such as [18,27] that use Cartesian coordinates, we work with polar coordinates due to the fact that they allow for reach the target point asymptotically using a time-invariant and smooth feedback controller [36,37]. On the contrary, if the robot is localized with Cartesian coordinates, the control presents some limitations indicated by Brockett's results [38].
Considering the kinematic model of each robot in the formation, Equation (1), the time derivative of its orientation and distance errors in polar coordinates [37] are: The state vector of each unit ξ n (t) includes the variables presented in the last equation ξ n (t) = [d n (t), α n (t), e Θ n (t)]. Assumption 1. The virtual leader reference velocities, v rL (t) and ω rL (t), and therefore the reference velocities of each robots, v rn (t) and ω rn (t), are defined piecewise constant and are known beforehand in order to introduce their variations in the self-triggered scheduler.

Lyapunov Formation Controller
In this section, we present the nonlinear trajectory controller used by each robot in the formation. Inspired by [37], we obtain the following Lyapunov based linear and angular control laws applied to Equation (4): v n (t) = K v d n (t) cos(α n (t)) + v rn (t) cos(e Θ n (t)), (5) ω n (t) =Θ md n (t) + v md n (t) (K ω (K v d n (t) sin(α n (t)) + v rn (t) sin(e Θ n (t))) + d n (t) sin(α n (t))) , (6) where Θ md n is the modified desired heading angle of each robot: and v md is equal to: and K v > 0 and K ω > 0 are control gains related to the linear and angular velocities, respectively. The closed-loop Lyapunov function for each robot is: As it is demonstrated in [37], Equation (9) fulfils Lyapunov function properties. Finally, the Lyapunov function that describes the stability of our road-following formation control is: This function also fulfils the Lyapunov conditions because, as demonstrated in [39], a sum of Lyapunov functions is itself a Lyapunov function. (10) is based on the aggregation of the different Lyapunov functions of each unit. This way, the overall stability of the formation is analysed. This is possible because, in the road following strategy, the objectives of each unit are independent of the state of the rest of the units.

Lyapunov Based Self-Triggering Control Proposal
First, we introduce briefly the problem formulation of nonlinear aperiodic control. Consider an autonomous nonlinear system: where ξ(t) ∈ D ξ ⊂ R n x and u(t) ∈ D u ⊂ R n u , both domains containing the origin.

Assumption 2.
There exists a differentiable state feedback law K : D ξ → D u such that the origin of the closed-loop continuous systemξ is the unique locally asymptotically stable equilibrium point in D ξ .
If Assumption 2 is fulfilled, we can obtain a Lyapunov function V(ξ(t)) and apply it to the system described in Equation (12) with the following properties [40,41]: where γ,γ, γ 1 , γ 2 are K-class functions.
Between updates, the control signal is held constant with a zero-order hold (ZOH) implementation. When the update times t k are reached, the signal is recalculated with the new measurement: The sampled-data system dynamics with this implementation are: After the introduction of the fundamentals of nonlinear aperiodic control, we present our Lyapunov based self-triggering condition proposal. We design a self-triggering condition assuming that the full state information is available at the measurement instants. Unlike most previous aperiodic control published works [18,21,27,29], we propose a self-triggering condition that triggers the controller taking into account the variation of the Lyapunov function and not the measurement error. Definition 1. Semiglobal practical stability [42]: a systemξ(t) = f (ξ(t), K(ξ(t))) is said to be semiglobally practically stable if for any (arbitrarily large) compact set D ξ and any arbitrarily small compact set D V 0 including the origin, every trajectory of the system with ξ ∈ D ξ is defined for all t ∈ [0, ∞[ and there exists T Theorem 1. Consider that Assumptions 2 and 3 hold for D ξ and ξ(t 0 ) ∈ D ξ . If the control signal is updated according to the following triggering condition, the system (15) converges asymptotically to the bounded set Proof. By Theorem 3.2 of [43], the triggering condition (16) presented in Theorem 1 enforces semiglobal practical stability of the system described in Equation (15), as long no Zeno executions are presented.
To show that the proposed triggering condition does not introduce Zeno executions, we employ Theorem 4.1 of [29] to guarantee a strictly positive minimum dwell-time between updates. Theorem 4.1 of [29] is based on the error function g(t): Using this error function, the dynamics of the sample-data system (15) are rewritten as: and the following sampling rule is proposed by [29]: This way, Equation (19) ensures semiglobal practical stability of the closed-loop system for any e V 0 > 0 and guarantees a positive minimum dwell-time if Assumptions 2 and 3 hold for any (arbitrarily large) compact set D ξ and ξ(t 0 ) ∈ D ξ .
If we can proof that condition described in Equation (16) generates equal or greater inter-execution times than (19) for some selection of e V 0 > 0, then, by virtue of Theorem 4.1 of [29], we obtain the desired result: the existence of a strictly positive minimum dwell-time, and thus no Zeno execution is possible. Observe that:V which, together with Equation (19), implies: Thus, Equation (19) enforces the following implication: Inspecting the triggering condition (16), we observed that it only demands new updates if: Thus, from Equation (13), we have that Equation (16) forces updates when: Select now an e V 0 such that: Such an e V 0 > 0 always exists as long as ||ξ(t)|| L ∞ ,k is upper bounded, from the properties of K ∞ functions and V 0 > 0. Note that ||ξ(t)|| L ∞ ,k is upper bounded as V(ξ(0)) < ∞ and thus due to Equation (16) V(ξ(t)) < ∞ for all positive times, which by Equation (13) implies the required boundedness.
Finally, by virtue of Equation (25), we have that, when triggering function (24) takes place, the triggering condition from Equation (19) is certainly violated.   (16). If the Lyapunov function is greater than V 0 , the system is updated every time the derivative of the Lyapunov function is non-negative. If the system converges to the invariant set defined by V 0 , the system is triggered only when the Lyapunov function reaches the threshold V 0 . Remark 2. Theorem 1 guaranteesV(ξ(t)) < 0 when the system is outside the invariant set D V 0 . The choice of V 0 establishes a trade-off between the invariant set D V 0 and the inter-execution times [t k , t k+1 [. Decreasing the value of V 0 reduces the size of the set D V 0 as well as the inter-execution times.

Remark 3.
To find a dwell-time, we use Theorem 4.1 from [29] because our triggering condition (16) presents no inter-execution times lower than [29] outside of the bounded set defined by D V 0 .
Finding a lower bound of the inter-sampling time t min is still an open issue [29]. Nevertheless, using Remark 3, we guarantee that t min is positive and, in order to avoid Zeno-executions, we force a t min , taking into account the hardware constraints.
We design two different triggering strategies, one synchronous and centralized and the other asynchronous and decentralized. For the centralized strategy, we evaluate the triggering condition (16) with the global Lyapunov function of the formation (10). In this case, the triggering instants are: We also implement a decentralized solution for the formation, in which each robot unit triggers its own events asynchronously. Formation stability is also guaranteed because this strategy is more trigger demanding than the global one: Remark 4. For the decentralized triggering strategy (27), the threshold V 0 is divided by the number of robot units, as can be seen in the equation. Thus, we guarantee that the formation converges asymptotically to the same bounded set as when we implement the centralized condition (26).
Another important parameter of STC is t max , which means the maximum time the system is allowed to run in open loop and it is a design parameter [26]. This implies that, if the inter-execution time (t k+1 − t k ) obtained with the triggering condition is greater than the t max , the next update instant t k+1 is modified to t k + t max . This parameter is used to reduce the time that the system works in open loop, which is the main disadvantage of STC with respect to ETC. This way the designer can fix this parameter to limit the possible uncertainties or disturbances that can affect the system.

Simulation Results
In this section, we describe a simulation of formation control of three robots based on the previously mentioned robot kinematic model (1). A virtual leader tracks the desired nonlinear trajectory without error and determines the position of each robot in the formation and its velocity references using a road-following formation strategy, as described in Figure 3. The distance between the reference robots and the virtual leader is determined by d Ln . In our example, we set d L1 = 1 m and d L2 = d L3 = 0.4 m. To implement the spatially coordinated road-following formation [35], delayed velocity references of the Virtual Leader are sent to the robots depending on the longitudinal distance from the robot to the Virtual Leader, and adjusted linear velocity references for the Virtual Leader are sent to the robots depending on the curvature of the route in each track and the lateral distance from the robot to the Virtual Leader. In the formation shown in Figure 3, Robot 1 receives the delayed velocity reference and Robot 2 and Robot 3 the references adjusted for the curvature of each track. Note that, with our formation strategy, the relative positions of the vehicles at a given point in time are not coordinated at every moment, but the trajectories of the vehicles are always spatially aligned.
The control parameters of the robots are: K v = 0.8, K w = 0.05, t min = 10 ms, t max = 5 s and  Figure 4. We obtained good tracking performance with all the control solutions tested: periodic (Ts = 10 ms), STC with centralized triggering (26) and STC with decentralized triggering (27). The sampling period is chosen according to the hardware restrictions imposed by the P3DX robots and the minimum time between events of the STC control (Ts = 10 ms). Figure 5 shows the linear and angular velocity references and commands of the formation applying the three different strategies. In the case of periodic control, there is a practically continuous evolution in which the error is corrected gradually until being accurately linked to the reference at the cost of a large number of updates compared to the STC strategies. In the case of the STCs, changes in the velocity commands only occur at specific moments in time. For the centralized solution, each robot update is activated at the same time, with the corresponding additional reduction in the number of updates, while, for the decentralized strategy, this is performed at different moments according to triggering conditions (26) and (27), respectively.    (27) and in black for the centralized triggering (26). The velocity reference of each unit is presented in green. Figure 6 describes the evolution of the Lyapunov function of the formation (10), the Lyapunov function of each robot (9) and the inter-execution-times of the STC implementations. As can be seen, the system reaches the equilibrium point properly with all three strategies. In the case of decentralized triggering (27), the gradient of the Lyapunov function of all the robots is negative at all times in the transient regime. In contrast, in the case of centralized triggering (26), there are specific moments in which a robot Lyapunov function slope may be positive; however, the formation slope is negative at all times.    (2) of the formation with the control strategies tested. With the designed control, STC significantly reduces the number of updates in the control signals applied to the robot, as well as achieving a performance of the same magnitude as periodic implementation. With centralized triggering, there is a greater reduction in the number of updates because the commands are sent to the three robots at the same time. On the other hand, with decentralized triggering, the event is evaluated at the precise moment for each robot, but at the cost of a larger number of updates. Table 1. Comparison of the update number and RMS value of distance error concerning the different control strategies for nonlinear, trajectory tracking (see Figure 4): periodic implementation, STC with centralized triggering (26) and STC with decentralized triggering (27). We also present a statistical study to validate the controllers. In this study, we carry out 100 simulations with the different strategies. We use a random combination for the initial pose conditions, all of them within a radius of 2 m from the previous starting positions, F 1 , F 2 and F 3 . Table 2 shows the mean and standard deviation for performance and updates of each control technique. For the case under study, our STC solutions provides the best results with a relevant reduction in the controller updates comparing with the periodic implementation, without diminishing performance.

Remote Centre Task Scheduler
In this section, we describe one of the most critical aspects of our remote centre: the design of our task scheduler and its interaction with the robots and the wireless sensor nodes. To enable a better understanding of the experimental validation of the aperiodic strategies applied to trajectory tracking of a robot formation, we detail the role of the remote center. Figure 7 shows the main elements of our implementation scenario.
The implementation scenario has four main elements:

1.
A non-holonomic mobile robot formation. Each robot locally implements a periodic servosystem for linear and angular velocity tracking.

2.
A set of sensor nodes covers the entire experimental area and provides each robot with pose information using computer vision.

3.
An IEEE 802.11g standard wireless network that links the remote centre to the robots and the set of sensor nodes.

4.
A remote centre that performs the principal tasks: trajectory generation for the virtual leader considered the reference for the road-following formation, trajectory generation for each real robot with respect to the virtual leader, new measurement request to the camera network, pose estimation of each robot unit based on the UKF, and application of the self-triggered control strategy. Figure 7. Description of the main elements in our implementation scenario: the remote centre, the robots formation, the camera network and the wireless communication channel. The remote centre carry out the principal tasks: reference trajectory generation of each robot according to the road-following strategy, unscented Kalman filter(UKF) and self-triggered control based on Lyapunov functions for asynchronous request of measurements and actuations on the robots.

Delay Compensation
In the network control system practical implementation, the time delays must be taken into account. Leveraging one of the main strengths of STC, namely that the next sampling instant is known in advance, we designed a channel delay compensation strategy inspired by [30].
We consider the following delays: 1. τ t is the maximum network delay, it is the maximum time to transmit a message via the wireless communication network.

2.
τ s is the maximum sensor delay, i.e., the time between the start of a measurement acquisition in the sensor node and the instant it is ready to be sent to the remote centre. This time includes image acquisition and processing.

3.
τ c is the control computing time of the remote centre.

4.
τ r is the dominant constant time that characterizes the robot dynamics.
Quantifing these delays requires clock synchronization between the sensors, robots and remote centre. We decided to use Network Time Protocol (NTP) due to it allowing a correct synchronization in the order of magnitude of our time step (∆ = 10 ms). In Figure 8, we describe our strategy to compensate delays and robot dynamics: The main idea of the global delay compensation strategy is to pre-calculate robot control actions using the predictive capability of the self-triggered control. This strategy involves the following five steps: 1. At time instant t s k , the cameras start the measurement process with image acquisition. This time is previously indicated to the cameras by the STC of the remote centre. Computation of this time is explained in Step 5.
2. When the pose measurement (t s k ) is ready, the cameras send it and the acquisition time (t s k ) to the remote centre. 3. At time instant t c k , the UKF of the remote centre corrects the prediction of the states for time instant t sk with the measurement sent by the camera (y(t s k )). Next, the UKF predicts the states at time instant t k and sends this information to the STC controller. With this information, the STC generates linear and angular speed commands for each robot (u(t k )) and computes the next update instant (t k+1 ). The control signal (u(t k )) and the application time are sent to the robot (t r k ). 4. At time instant t r k , the control signal is applied to the robot; thus, the desired control signal is reached at time instant t k compensating the robot dynamics. 5. After sending the control signal to the robots, the remote centre sends the next measurement acquisition time to the cameras (t s k+1 ). This time is computed taking into account the next sampling instant t k+1 and all the delays (t s k+1 = t k+1 − τ s − 2τ t − τ c − τ r ).

Remark 5.
In certain situations, the time between update times (t k+1 − t k ) will be less than the sum of all the delays (τ s + 2τ t + τ c + τ r ). In this case, the system will work with the state prediction provided by the UKF until a new measurement is available to include in the UKF correction.

Control Design Dependent on State Estimation
We implement an UKF which takes care of bounding the estimation error between measurement. Our self-triggered controller computes the update times based on the output of this filter. The principal drawbacks of this implementation is that bounded peaks may be obtained in the Lyapunov function when the estimation error grows; consequently, we have designed an aperiodic controller that minimizes this effect by guaranteeing practical stability of the system instead of asymptotic stability. Thus, our strategy achieves longer times between control updates than periodic or aperiodic alternatives aimed at guaranteeing asymptotic or exponential stability.

Experimental Tests
The tests are carry out with three Pioneer P3DX robots (Product specs can be found at http://www.mobilerobots.com/ResearchRobots/PioneerP3DX.aspx) with additional hardware elements [44]. The remote centre control is implemented in a NUC5i3RYH mini PC (Model number NUC5i3RYH. Product specs can be found at https://www.intel.com/content/www/us/en/nuc/nuckit-nuc5i3ryh-brief.html). The test area is sensed by four Kinect RGB cameras (Microsoft, Redmond, WA, USA) connected to an identical mini PC. All mini PCs run Ubuntu 12.04, as an operating system. An AprilTag marker is situated on the top of each P3DX robot to obtain its pose using the AprilTags fiducial system presented in [45]. Figure 9 shows this experimental scenario.

Results
Below, we present three experimental tests with the road-following formation strategy, the control parameters and the initial conditions described in Section 4. The control parameters of each robots are: K v = 0.8, K w = 0.05, t min = 10 ms, t max = 5 s and V 0 = 10 −4 . The initial robot locations are  Figure 10 depicts the formation of P3DX robot trajectory tracking for the three solutions tested (periodic (Ts = 10 ms), STC with centralized triggering (26) and STC with decentralized triggering (27). We include a video, see Supplementary Materials, showing the experimental test using the STC with decentralized triggering). If we compare it with Figure 4, it can be seen that performance deteriorates a little because the simulation assumes a perfect communication channel, robot models based only on kinematics and position sensing without error.

Reference1
Reference2 Reference3 Figure 10. The nonlinear, trajectory tracking by the formation of three robotic units. Robot 1 is represented in blue, Robot 2 in red and Robot 3 in black, the route done by each robot is presented with a continuous line, the reference with a discontinuous line, and every 13 s the punctual position of each of them is shown with a circle and an x, respectively. The top figure represents the periodic implementation, the middle one the STC with centralized triggering (26) and the bottom the STC with decentralized triggering (27). Figure 11 shows the linear and angular velocity reference and commands of the formation for each robot applying the three different strategies. As in simulation, the STC implementations applied few updates in the velocity commands; these updates are activated at the same time in the centralized solution and at different moments in the decentralized solution.    (27) and in black for the centralized triggering (26). The velocity reference of each unit is presented in green. Figure 12 describes the evolution of the formation distance error (2), the error of each robot (9) and the inter-execution times for the STC strategies. As can be seen, the system is bounded around the null distance error with the three strategies. When a new measurement is obtained, the UKF corrects its prediction and a small jump appears in the distance error.   Table 3 quantifies the number of updates and the Root Mean Squared (RMS) value for distance error (2) of the formation with the different control strategies. The experimental test results follow the same trend as those for simulation. Thus, STC significantly reduces the number of changes in the control signals applied to the robot, as well as achieving a performance of the same magnitude as periodic implementation.

Conclusions
This paper describes the design and implementation of a self-triggered remote road-following formation controller applied to nonholonomic robots tracking nonlinear trajectories using an external positioning sensor network.
We design a novel self-triggered Lyapunov-based controller, using a dual stability approach in order to guarantee practical stability. Unlike most previous work in the field of aperiodic control, the measurement error is not taken into account when the controller is triggered, thus achieving longer inter-execution times as the solution is less conservative. This triggering condition is implemented adopting both a centralized and a decentralized approach, highlighting the advantages of each strategy.
STC solutions have been implemented taking into account practical drawbacks such as communication network delays, actuation time delays due to robot dynamics, and acquisition and processing times associated with the camera sensor to obtain the pose of each unit. To minimize the effect of these problems on the stability and performance of the closed loop system, we designed and implemented a delay compensation strategy. This strategy leverages the predictive capability of self-triggered control to pre-calculate control actions and compensate delays.
To validate the theoretical proposal, several experimental tests are conducted using the designed self-triggered controllers and a periodic implementation. We report simulation results, showing that our control solution significantly reduces the need for communication in comparison with periodic implementations while preserving the desired tracking performance. To validate the proposal, we also perform experimental tests with a formation of three P3DX robots remotely controlled through an IEEE 802.11g wireless network with a mini PC, in which robot pose is detected by a set of camera sensors connected to the same wireless network. The results obtained for our self-triggered control solution indicate that using our aperiodic proposals rather than periodic solution yields a significant reduction in the number of updates without degrading performance, rendering this kind of control solution especially interesting for networked control systems and wireless sensor network integration.
For future work, we are going to consider the design of an ETC to implement strategies of obstacle avoiding combined with collision avoiding between the different units of the formation. Funding: This work was supported by the University of Alcala through the project with reference UAH-GP2018-3.