The present disclosure relates to communication systems and relates more specifically to the cooperative control of multiple communicating nodes, a.k.a. multi-agent systems (MAS).
Cooperative control algorithms aim at enabling multiple communicating nodes to fulfill a common goal.
For instance, the consensus algorithm aims at enabling multiple communicating nodes to achieve an agreement on a local control information. In practice, a number of communicating nodes exchange data with their neighbors to agree on a same local control information that enable them to work together in a coordinated fashion. When multiple communicating nodes agree on the value of the local control information, they are said to have reached a consensus.
Cooperative control algorithms such as the consensus algorithm or the model predictive control (MPC) algorithm are often applied in formation control problems with applications to mobile robots, unmanned air vehicles (UAVs), autonomous underwater vehicles (AUVs), satellites, aircraft, spacecraft, automated highway systems, etc. Cooperative control algorithms can also be applied to non-formation related problems such as task assignment, payload transport, role assignment, air traffic control, synchronization, etc.
A typical application of a cooperative control algorithm such as a consensus algorithm can be to measure the average temperature in a geographical area from a set of remote sensors, or to control a platoon of vehicles on a highway in order to e.g. maintain the geometrical arrangement of the vehicles of the platoon substantially constant over time.
Owing to their principle, cooperative control algorithms require the communicating nodes to exchange data between them using communication links using any appropriate communication protocol. For instance, in the case of communicating nodes embedded in vehicles of a platoon of vehicles, the communication protocols may be for instance ITS-G5, IEEE WAVE or 3GPP Cellular-V2X standards, etc.
Communication links, and in particular wireless communication links are prone to data packet losses that can significantly degrade the control performance of the cooperative control algorithm as compared to an ideal situation with no packet losses. At the same time, the cooperative control algorithm shall be able to react to unexpected perturbations at a speed significantly higher than the system's rate of change. For instance, in the case of a cooperative control algorithm applied by a platoon of vehicles on a highway in order to maintain said vehicles in a predetermined geometrical arrangement, it is can be easily understood that the cooperative control algorithm must react quickly to unexpected perturbations (e.g. due to wind).
Hence, data packet losses need to be taken into account in order to guarantee that the cooperative control algorithm converges at a speed compliant with the cooperative control requirements.
In conventional systems, the control layer (which manages the cooperative control algorithm) and the communication layer (which manages the communication links) are managed separately. The communication parameters of the communication links may be optimized in order to maximize the performance over the communication links, in an attempt to reduce data packet losses. In turn, the control parameters of the cooperative control algorithm are optimized in order to maximize the convergence speed (a.k.a. convergence rate) of the cooperative control algorithm.
However, such an approach may lead to a situation in which both the communication performance over the communication links and the control performance of the cooperative control algorithm are unnecessarily over-dimensioned, which might further lead to coexistence issues when e.g. a plurality of platoons of vehicles are co-located in a same geographical area.
S. Kar and J. M. F. Moura, “Sensor Networks with Random Links: Topology Design for Distributed Consensus”, in IEEE Transactions on Signal Processing, vol. 56, no. 7, pp. 3315-3326, July 2008.
S. Silva Pereira and A. Pages-Zamora, “Consensus in Correlated Random Wireless Sensor Networks”, IEEE Trans. Signal Process., vol. 59, n° 12, p. 6279-6284, 2011, doi: 10.1109/TSP.2011.2166552.
Wei Ren, R. W. Beard, and E. M. Atkins, “A survey of consensus problems in multi-agent coordination”, in Proceedings of the 2005, American Control Conference, 2005, Portland, OR, USA, 2005, p. 1859-1864, doi: 10.1109/ACC.2005.1470239.
The present disclosure aims at improving the situation. In particular, the present disclosure aims at overcoming at least some of the limitations of the prior art discussed above, by proposing a solution for reducing the interference generated by exchanging, between the communicating nodes, data of the cooperative control algorithm while still ensuring that the cooperative control requirements are satisfied.
For this purpose, and according to a first aspect, the present disclosure relates to a method for configuring communication links between a plurality of communicating nodes, wherein the communication links are used for exchanging data related to a cooperative control algorithm, wherein the cooperative control algorithm comprises at least one control parameter, wherein the communicating nodes are arranged according to a regular formation, said method comprising:
Hence, the method relates to the case where the communicating nodes which apply the cooperative control algorithm are arranged according to a regular formation. A regular formation corresponds to a geometrical arrangement in which the distances between a communicating node and its adjacent communicating nodes do not depend on the position of the communicating node in the geometrical arrangement. In other words, a regular formation corresponds to a geometrical arrangement which may be described as a finite convex set of lattice points in the Euclidian space n, with n=1, 2 or 3.
It is emphasized that the communicating nodes may be arranged according to a regular formation only on average. For instance, the goal of the cooperative control algorithm may be to maintain the communicating nodes arranged according to a target regular formation, in which case the arrangement may vary slightly over time around said target regular formation, due e.g. to control errors, etc. Hence, “arranged according to a regular formation” means in the present disclosure that the formation may be assumed to be regular for the purpose of the configuring method. For instance, the formation may be strictly or approximately regular and fixed over time, or the positions of the communicating nodes may be controlled (possibly by the cooperative control algorithm) to achieve a predetermined target regular formation, etc.
For instance, the regular formation can correspond to a geometrical arrangement in which the communicating nodes are arranged according to 1D (n=1), 2D (n=2) or 3D (n=3) lattice points. With 1D lattice points, the communicating nodes are all aligned and the distance between adjacent communicating nodes is the same for any pair of adjacent communicating nodes. With 2D lattice points, the lattice may be rectangular, square, rhombic, parallelogrammical, hexagonal or equilateral triangular. With 3D lattice points, the lattice may be any one of the fourteen Bravais lattices.
Also, the method assumes that all communicating nodes will use the same neighbor node communication pattern for exchanging data related to the cooperative control algorithm. A neighbor node communication pattern, which depends on the regular formation, corresponds to a definition of the neighbor communicating nodes with which a communicating node is to exchange data directly for the purpose of the cooperative control algorithm. For instance, a neighbor node communication pattern may consist in exchanging data directly only with adjacent communicating nodes, in which case all communicating nodes exchange data directly only with their adjacent communicating nodes. According to another example, a neighbor node communication pattern may consist in exchanging data directly with adjacent communicating nodes and with their adjacent communicating nodes. According to another example, a neighbor node communication pattern may consist in exchanging data directly with all the other communicating nodes, etc.
By assuming that all communicating nodes will use the same neighbor node communication pattern, the number of communication parameters to be optimized is reduced. Since the communicating nodes are arranged according to a regular formation, using the same communication parameters by all communicating nodes should also yield substantially the same communication performance profile on the communication links, if the propagation conditions are substantially the same between all communicating nodes. These features enable to reduce the number of communication parameters to be selected for the communicating devices and to reduce the complexity of the prediction of the communication performance profile on the communication links.
The method evaluates different candidate sets of parameters until a reference set is found that satisfies both a predetermined interference criterion and a predetermined control performance criterion.
Each candidate set comprises a candidate neighbor node communication pattern, which may be selected among a predetermined list of neighbor node communication patterns for the regular formation, a candidate value for at least one communication parameter (modulation, channel coding scheme, multi-antenna scheme, transmission power, etc.) and a candidate communication performance profile (determined based on the candidate neighbor node communication pattern and on the candidate value of the at least one communication parameter).
For each candidate set, a control performance level and an interference level are estimated and used to evaluate whether the interference criterion and the control performance criterion are satisfied.
Hence, the method optimizes the communication parameters and the neighbor node communication pattern to both:
All or part of the reference set is then used for configuring communication links between communicating nodes.
In specific embodiments, the method can further comprise one or more of the following features, considered either alone or in any technically possible combination.
In specific embodiments, the method further comprises configuring the at least one control parameter by estimating different control performance levels and different interference levels for different candidate values of the at least one control parameter, and the reference set further comprises a reference value of the at least one control parameter used for configuring the cooperative control algorithm.
In specific embodiments, the candidate communication performance profile is further estimated based on a propagation model and a communication performance model.
In specific embodiments, at least one communicating node performs a local adaptation of the value of the at least one communication parameter in order to achieve the reference communication performance profile on the communication links of said at least one communicating node.
In specific embodiments, the method comprises determining a first reference communication performance profile and a second reference communication performance profile for the reference set, the second reference communication performance profile having a higher communication performance, such that:
In specific embodiments, the method comprises obtaining a target robustness factor, and at least one among the first reference communication performance profile and the second reference communication performance profile is determined based on said target robustness factor.
In specific embodiments, at least one communicating node performs a local adaptation of the value of the at least one communication parameter in order to achieve on the communication links of said at least one communicating node a communication performance profile bounded by the first reference communication performance profile and the second reference communication performance profile.
In specific embodiments, each communication performance profile is a packet delivery ratio, PDR, profile.
In specific embodiments, the method comprises obtaining, by the reference device, a target convergence speed for the cooperative control algorithm, and:
In specific embodiments, the interference criterion is satisfied when the estimated interference level is minimized or below a predetermined threshold.
In specific embodiments, the regular formation corresponds to an arrangement in which the communicating nodes are arranged according to 1D or 2D or 3D lattice points.
In specific embodiments, the cooperative control algorithm is a consensus algorithm.
In specific embodiments, the reference device is one of the communicating nodes.
According to a second aspect, the present disclosure relates to a computer program product comprising instructions which, when executed by at least one processor, configure said at least one processor to carry out a method according to any one of the embodiments of the present disclosure.
According to a third aspect, the present disclosure relates to a computer-readable storage medium comprising instructions which, when executed by at least one processor, configure said at least one processor to carry out a method according to any one of the embodiments of the present disclosure.
According to a fourth aspect, the present disclosure relates to a device comprising a wireless communication unit and a processing circuit configured to carry out a method according to any one of the embodiments of the present disclosure.
According to a fifth aspect, the present disclosure relates to a communication system comprising a plurality of communicating nodes and at least one reference device according to any one of the embodiments of the present disclosure, said reference device being one of the communicating nodes or separate from said communicating nodes.
In specific embodiments, the communicating nodes are embedded in respective vehicles of a vehicle platoon.
The invention will be better understood upon reading the following description, given as an example that is in no way limiting, and made in reference to the figures.
In these figures, references identical from one figure to another designate identical or analogous elements. For reasons of clarity, the elements shown are not to scale, unless explicitly stated otherwise.
As indicated above, the present disclosure relates to the cooperative control of a plurality of communicating nodes.
We first present conventions used in the following description, and how the performance of a cooperative control algorithm may be evaluated, for the non-limiting case of the consensus algorithm.
It is natural to model data exchange between communicating nodes by directed/undirected graphs. A digraph (i.e. a directed graph) consists of a pair (, ε), where is a finite nonempty set of communicating nodes and εϵ2 is a set of ordered pairs of communicating nodes, called directed edges (ϵij is the directed edge or communication link from the communicating node j to the communicating node i). For simplification purposes, we use in the following “edge” rather than “directed edge” and “graph” rather than “digraph” (the context, i.e. directed or undirected is considered clear).
As a comparison, the pairs of communicating nodes in an undirected graph are unordered. A directed path is a sequence of ordered edges in a digraph, of the form ϵij, ϵki, ϵlk, . . . , where i, j, k, l, . . . ϵ, in a digraph. An undirected path in an undirected graph is defined analogously, where ϵij implies ϵji. A digraph is called “strongly connected” if there is a directed path from every communicating node to every other communicating node. An undirected graph is called connected if there is a path between any distinct pair of communicating nodes. A directed tree is a digraph in which every communicating node, except the root, has exactly one parent. A spanning tree of a digraph is a directed tree formed by graph edges that connect all the communicating nodes of the graph. We say that a graph has (or contains) a spanning tree if there exists a spanning tree that is a subset of the graph. Note that the condition that a digraph has a spanning tree is equivalent to the case that there exists a communicating node having a directed path to all other communicating nodes.
The adjacency matrix An=[aij]0≤i,j≤n−1 of a deterministic digraph is defined as aii=0 and aij=1 if ϵij∈ε where i·j. Setting aij=0 denotes the fact that a communicating node i does not (i.e. cannot or does not wish to) receive information from a communicating node j. The Laplacian matrix of the digraph is defined as Ln=[lij]0≤i,j≤n−1 where lij=−aij and lii=Σjaij, i.e.:
L
n
=D
n
−A
n
where
is the in-degree matrix (number of communicating nodes from which the communicating node i receives information). For an undirected graph, the Laplacian matrix is symmetric positive semi-definite.
Let xi(t)∈m be the local control information of the ith communicating node. The local control information represents the information that needs be coordinated between communicating nodes, by using e.g. a consensus algorithm. The local control information may be for instance the communicating node's position, velocity, oscillation phase, decision variable, etc.
A continuous-time consensus algorithm can be summarized as:
wherein Θi(t) represents the set of communicating nodes whose local control information is available to the communicating node i at time t (defined by the adjacency matrix) and αij(t) denotes a positive possibly time-varying weighting coefficient. In other words, the local control information of each communicating node is driven toward the states of the local control information of its (possibly time-varying) neighbors at each time. It is common to extend the adjacency matrix for a weighted digraph Anw=[aijw]0≤i,j≤n−1 defined as aijw=αij if (j, i)∈ε where i≠j and aijw=0 otherwise.
The continuous-time consensus algorithm can be written in matrix form:
{dot over (x)}(t)=−[Lnw(t)⊗Im]x(t)
wherein x=[x0(t), x1 (t), . . . , xn−1(t)]t is the information state vector comprising the local control information of all the communicating nodes, Lnw=Dnw−Anw, Im is the identity matrix with size m, ⊗ the Kronecker matrix product.
In the following description, we consider in a non-limitative manner the discrete version of the consensus algorithm. It is assumed that the communicating nodes update the states of their local control information recurrently in time and transmit in the same time interval the updated values over the communication links. Each communicating node updates the state of its local control information according to:
For the overall information state vector, we have:
x(k+1)=[Wnw(k)⊗Im]x(k)
wherein:
W
n
w(k)=In−Lnw(k), Lnw(k)=Dnw(k)−Anw(k)
wherein Dnw(k) and Lnw(k) are the in-degree and Laplacian matrices corresponding to a weighted digraph. The adjacency matrix is built e.g. by looking for each packet that was to be transmitted over the time interval if the packet was correctly received or not. The matrix Wn (k) must be a stochastic matrix, wherein stochastic matrix means a matrix with rows that sum up to one with non-negative elements.
Note that the consensus algorithm may also be applied with a single weighting coefficient α for all the communicating nodes:
In this case:
W
n(k)=In−αLn(k), Ln(k)=Dn(k)−An(k)
wherein An(k) and Dn(k) are the adjacency and in-degree matrices for a non-weighted digraph (aij=0 or aij=1). In the case of a deterministic graph, it can be shown that the weighting coefficient α must be such as α≤1/degmax where degmax is the maximum degree of the graph, i.e. the maximum number of neighbors a communicating node can communicate with.
To illustrate the behavior of the consensus algorithm, let's first assume that each communicating node receives a scalar information from all the other communicating nodes at all times. Thus, we have
x(k+1)=Inx(k)−[In−Jn]x(k)=Jnx(k)=Jnk+1x(0)
wherein
and 1n=[1]0≤i≤n−1t the all-one vector. Finally, as matrix Jn is idempotent (Jnk+1=Jn), we obtain:
The local control information of all the communicating nodes converges to the same value that is the average of the initial information state vector. The convergence of the consensus algorithm can actually be generalized to other matrices Wn. It actually suffices that
where v is a column vector.
In the sequel, we focus mainly on time-varying adjacency matrices. It is thus relevant to first remind convergence results for time-invariant topologies.
It can be shown that for a directed graph, the discrete-time consensus algorithm achieves consensus asymptotically if and only if the matrix Wn has a single unitary eigenvalue associated to the eigenvector 1n, i.e. λ2(Wn)<1 wherein λ2(Wn) corresponds to the second largest eigenvalue of the matrix Wn (similarly λ2(Ln)>0 wherein λ2(Ln) corresponds to the second smallest eigenvalue of the so-called Laplacian matrix Ln). This results actually means that the digraph has a spanning tree (i.e. there is no two separate graphs in the topology). Then, the consensus algorithm converges towards:
x(k)→(1nvt⊗Im)x(0)
wherein v=[vi]0≤i≤n−1≥0 satisfies vtWn=vt and 1ntv=1, i.e. v is the left row eigenvector of Wn associated with eigenvalue 1. This means that the local control information of the communicating nodes converges towards the same linear combination of the initial information state vector x(0), not necessarily the mean value. As left and right eigenvalues of a square matrix are the same, every stochastic matrix has, at least, one row eigenvector associated to the eigenvalue 1. In order to obtain an average consensus, i.e.,
the matrix Wn needs only to be doubly stochastic. It is actually known that the discrete-time consensus algorithm can achieve average consensus asymptotically if and only if the directed graph is strongly connected (there is a spanning tree for each communicating node) and degree-balanced (each communicating node has the same number of connections in both directions—the in-degree equals the out-degree). Indeed, under this assumption, there always exists a weighting coefficient that leads to convergence.
For an undirected graph, the discrete-time consensus algorithm can achieve consensus asymptotically if and only if the matrix Wn has a single unitary eigenvalue associated to the eigenvector 1n. From the topology point of view, it means that the graph is connected. If an undirected graph has a spanning tree, then it is necessarily strongly connected and balanced (Wn is symmetric and thus doubly stochastic). The consensus algorithm converges in average.
The results given in the previous section assume a time-invariant topology. In the present case, it is assumed that the communicating nodes exchange packets containing data related to the consensus algorithm using wireless communication links. This means that due to propagation conditions, the transmission may suffer from packet losses. Hence, the adjacency matrix is no longer constant but varies in time randomly. Unlike in the deterministic case, each element of the so-called instantaneous adjacency matrix can either take the value one or zero according to some random processes. It is common to assume that the propagation channel is stationary such that the elements take the value one with a given probability
In a more general case, the elements can be correlated in time and/or space or the probabilities can be variable in time. It is common to define the so-called super-graph that corresponds to the communication links with non-zero probability. Note that, in such a case, we have
[An(k)]=Ān=[pij]0≤i,j≤n−1
where the probabilities associated to a communication link not belonging to the super-graph are assumed to be zeros.
The following expressions will be used in the sequel
Note that the impact of the propagation channel is sometimes described as a source of an additive noise on the local control information received from the neighbor communicating nodes. The propagation channel actually affects the transmitted signal in many different ways including attenuation, shadowing, fast-fading and receiver noise. However, nowadays systems rely on communication protocols with channel encoding such that the data packets are either correctly received or not (packet loss). In the sequel, we consider in a non-limitative manner that the transmitted local control information is assumed to be perfectly received or not received at all.
Of course, the occurrence of packet losses may impact the convergence of the consensus algorithm. However, it can be shown that under some conditions on the adjacency matrix, the consensus algorithm can actually converge towards an equilibrium.
In order to get practical results, it is possible to rely in case of randomly switching topologies on the almost sure statistical convergence criterion [NPL 1]. A dynamical system reaches consensus almost surely if for any initial state xi(0)
This condition can also be expressed as:
Starting from this almost sure convergence criterion, some results have been issued in the literature. In particular, it has been shown that in case the elements of the adjacency matrix of an undirected graph are Bernoulli processes (independently and identically distributed in time and space), the discrete consensus algorithm with a single weighting coefficient α:
x(k+1)=[(In−αLn(k))⊗Im]x(k)
can converge almost surely if and only if λ2(
wherein degmax is the maximum degree of the graph. Interestingly, it is shown that the almost sure convergence can be obtained as long as the mean graph is connected and the adjacency matrix is ergodic. A more general result has been demonstrated for a directed graph for a system of the form:
x(k+1)=[(Wn(k))⊗Im]x(k)
wherein Wn (k) is a row-stochastic matrix. It is shown that if the process of stochastic matrices Wn (k) is ergodic stationary, the linear system reaches consensus almost surely if and only if λ2(Wn) >0 where Wn=(Wn (k)). There is however a major difference with the deterministic case related to the equilibrium state. Indeed, the system converges to an unknown common random vector θ depending on the initial state value x(0) and the sequence of weight matrices (unknown mean and variance). The system converges to a weighted average of the initial state (1nvt⊗Im)x(0) with 1ntv=1 if and only if:
(Wntv=v)=1
i.e. all the weight matrices have almost surely the same common left eigenvector corresponding to the unit eigenvalue (variance equal to zero). The average consensus is almost surely reached when all weight matrices have almost surely the same common left eigenvector
i.e. if all the matrices are doubly stochastic. Note that this condition is not necessarily easy to enforce in the case of directed graphs even with bidirectional links (in case of perfect transmissions, a graph with bidirectional links on all edges is by construction an undirected graph, but as soon as transmission errors can occur on the links, the graph becomes a directed graph). A solution would be to only keep the situations where packets have been well received in both directions (i.e. Wn (k) is symmetric). However, it is emphasized that the average convergence is not strictly required in many situations where only a consensus is sufficient.
As shown in the previous section, under some mild statistical conditions on the mean Laplacian, the consensus algorithm is able to converge towards an equilibrium state even in case of randomly switching topologies. The impact of packet losses thus reduces to a lower speed of convergence. It is thus required to define a figure of merit for measuring the convergence speed of the consensus algorithm. In the case of symmetric undirected instantaneous graph Laplacians, the convergence speed is generally analyzed in terms of the mean square of the error signal with respect to the initial average value:
η(k)=x(k)−xavg=x(k)−Jnx(0)
Without loss of generalities, the notations are given here in the case of a scalar state (m=1) in the case of a single weighting coefficient. We have: n(k+1)=[Wn(k)−Jn]η(k)=Wn(k)(In−Jn)n(k)=[Rn−αLn(k)]η(k) wherein Rn=In−Jn. In the more general case of asymmetric directed instantaneous graph Laplacians, the equilibrium value is unknown. It is common to evaluate the convergence in terms of the mean square of the error signal with respect to the instantaneous average value:
ζ(k)=x(k)−xavg(k)=(In−Jn)x(k)=Rnx(k)
Thus, we have:
The equalities come from the fact that (In−Jn)Jn=0 and Wn(k)Jn=Jn. In the case of symmetric case, we have (In−Jn)Wn(k)=Wn(k)(In−Jn) and therefore same errors as defined for the symmetric case.
In the deterministic case, the convergence speed is usually defined using the per-step convergence factor:
It is an upper bound of per-step square error variation, i.e. a lower bound of convergence speed.
The deterministic per-step convergence factor computes the ratio of the square error from one iteration to the other (the error has decreased by a factor of x %) and takes the largest value over time. Here, we take an upper bound over time (the step is actually smaller for all the iterations). The deterministic per-step convergence factor has been generalized to the stochastic context according to the formulation:
It is an upper bound of the per-step conditional mean square error variation, i.e. a lower bound of mean square convergence speed.
It can be shown that the system converges in the mean square sense and thus almost surely if γs<1. From this definition, for all the realizations of the random variable ζ(k), we compute the ratio of the variance of the error given that value at the next iteration with the norm of the realization, and we take the upper bound over all these random values. In the present case, using the Rayleigh quotient property, we have:
[ζt(k+1)|ζ(k)]=ζt(k)[Wnt(k)RnWn(k)]ζ(k) ≤ρ(Wnt(k)RnWn(k))ζt(k)ζ(k)
where ρ(M)=max(|λi(M)|) is the spectral radius of a square matrix M. Finally, we obtain the following upper-bound of the per-step convergence factor:
γs=ρ([Wnt(k)RnWn(k)])
To facilitate the derivations, we introduce the following notations
γs=ρ(Ψs), Ψs=[Wnt(k)RnWn(k)]
One of the reasons for using the per-step convergence factor is that the value of the matrix Ψs appears to be analytically tractable in some situations.
As shown in [NPL 2], for spatially correlated and independently and identically distributed in time Laplacians, and undirected topologies, the matrix Ψs is:
wherein:
This result is obtained under the following assumptions:
A similar expression also exists for directed topologies [Pereira2011].
These expressions show that is thus possible to evaluate the per-step convergence factor γs of the consensus algorithm as a function of the mean adjacency and an n×n correlation matrices computed from the full n2×n2 correlation matrix, Ān and
The convergence speed of the consensus algorithm is shown to depend on the communication performance achieved between the communicating nodes, i.e. typically the PDRs associated to the communication links but also the correlation factors between these different communication links (given by the mean correlation matrix
As discussed above, the present disclosure relates to a method 40 for configuring wireless communication links between a plurality of communicating nodes 10. The communication links to be configured are used for exchanging data related to a cooperative control algorithm used by each communicating node to fulfill a common goal. For instance, the cooperative control algorithm may be a consensus algorithm, an MPC algorithm, etc. For e.g. a consensus algorithm, data is exchanged between the communicating nodes to update a local control information until all communicating nodes 10 have converged towards having the same local control information.
In the present disclosure, the communicating nodes 10 are assumed to be arranged according to a predetermined regular formation. A regular formation corresponds to a geometrical arrangement in which the distances between adjacent communicating nodes 10 do not depend on the position of the adjacent communicating nodes 10 in the geometrical arrangement.
In the following, we consider in a non-limitative manner that the regular formation corresponds to a finite convex set of 1D lattice points, i.e. a geometrical arrangement in which the communicating nodes 10 are all aligned and the distance between adjacent communicating nodes 10 is the same for any pair of adjacent communicating nodes 10.
The configuration of the communication links aims at selecting a neighbor node communication pattern and at least one communication parameter. In the following, we assume in a non-limitative manner that a plurality of communication parameters is selected. It is however emphasized that the present disclosure may also be used, in other embodiments, by selecting only one communication parameter.
The cooperative control algorithm comprises at least one control parameter. In the following, we assume in a non-limitative manner that the cooperative control algorithm is a consensus algorithm, and that a single control parameter is used, i.e. the weighting coefficient a. However, it is also possible to consider, in other examples, other cooperative control algorithms and/or more than one control parameters (e.g. the weighting coefficients αij).
As illustrated by
A neighbor node communication pattern corresponds to a definition of the neighbor communicating nodes 10 with which a communicating node 10 is to exchange data directly for the purpose of the consensus algorithm. The candidate neighbor node communication pattern is for instance selected among a plurality of predetermined neighbor node communication patterns. When applied by a communicating node 10, the candidate neighbor node communication pattern defines a sub-graph, i.e. a scheme that is repeated across the super-graph, at cach communicating node 10.
During step S40, the reference device 20 selects also candidate values for the considered communication parameters. For instance, the communication parameters comprise:
In order to reduce the number of candidate values to be selected, the selection preferably assumes that the same candidate values of the communication parameters will be considered for each packet transmitted by each communicating node. Hence, if the candidate value for the modulation communication parameter corresponds to 16QAM, then the 16QAM modulation will be considered for all communication links of the neighbor node communication pattern, etc. This will be the case e.g. if each communicating node uses a broadcast or multicast communication scheme to exchange data with the other communicating nodes on the communication links of the neighbor node communication pattern. However, it is also possible to use e.g. point-to-point communication schemes (unicast), in which case each packet transmitted by a communicating node is assumed to use the same candidate values of the communication parameters regardless the recipient communicating node.
In the sequel, we consider in a non-limitative manner that the considered communication parameters, referred to as Pcom, corresponds to a modulation and coding scheme, MCS, and to a transmission power PTx.
As illustrated by
In preferred embodiments, the candidate communication performance profile may be estimated based on a predetermined propagation model and a predetermined communication performance model.
The propagation model corresponds to a model of the propagation channel experienced on the different communication links.
The communication performance model corresponds to a model of the communication performance (e.g. PER, PDR, etc.) that can be achieved with different values of the communication parameters and for different propagation conditions. For instance, the communication performance model may provide PDRs associated to different values of the communication parameters and different propagation conditions. For instance, for a given communication link of the candidate neighbor node communication pattern, the propagation model may provide an estimate of the expected noise and interference levels, of the expected shadowing, etc. By further considering the candidate value of the transmission power PTx and the distance between the two communicating nodes 10 of the considered communication link, it is possible to estimate a signal to noise ratio (SNR) for the considered communication link. Then the communication performance model may provide the expected PDR associated to the candidate value of the MCS for the estimated SNR. This can be performed for each communication link of the candidate neighbor node communication pattern, thereby providing the candidate communication performance profile of the candidate neighbor node communication pattern. Since all the communicating nodes 10 apply the same communication parameters throughout a regular formation, it allows, even in the case of large system load (large packet-rate) to rely on a communication performance model which depends only on the distance between the transmitter communicating node and the receiver communicating node rather than on all the communicating node positions and on the same communication parameters. As we have a regular formation and the same neighbor node communication pattern for all communicating nodes, we have in addition the same distance set between transmitter communicating node and receiver communicating node for each communicating node and therefore the same communication performance profile for all communicating nodes.
Such a communication performance model may be described using an analytical expression or a set of numerical loo-up-tables LUT, etc.
As illustrated by
For instance, in the case of the consensus algorithm, the control performance level may relate to the convergence speed of the consensus algorithm. The per-step convergence factor γs is representative of the convergence speed (the smaller the per-step convergence factor γs the higher the convergence speed). Hence, the control performance level may be in that case the upper bound γs. The candidate communication performance profile (e.g. PDRs) may be used to determine the mean Laplacian matrix
As illustrated by
As illustrated by
As illustrated by
The method 40 may use any suitable control performance criterion, and the choice of a specific control performance criterion corresponds to a specific embodiment of the present disclosure. For instance, if the control performance level is representative of the convergence speed of the consensus algorithm, then the control performance level criterion may be satisfied when the estimated convergence speed is faster or equal to a target convergence speed. For instance, it is possible to define a target per-step convergence factor γtarget, and the control performance criterion may be considered satisfied if γs (α, Pcom, C)≤65target.
The method 40 may use any suitable interference criterion, and the choice of a specific interference criterion corresponds to a specific embodiment of the present disclosure. For instance, the interference criterion is satisfied when the estimated interference level is minimized or below a predetermined threshold.
For instance, it is possible to identify a set C,Pcom of candidate neighbor node communication patterns and candidate values of the communication parameters that satisfy the control performance criterion, i.e.:
C,Pcom={(C, Pcom)|γs(α(C), Pcom, C)≤γtarget}
Then the reference neighbor node communication pattern Ĉ and the reference values {circumflex over (P)}com of the communication parameters may be selected in the set C,Pcom by searching for a candidate neighbor node communication pattern and candidate values of the communication parameters for which the interference criterion is satisfied. For instance, if the interference criterion is satisfied when the average transmission power
Then all or part of the reference set may be used for configuring communicating links between communicating nodes 10.
As discussed above, the reference set is determined by a reference device 20. The reference device 20 may be one of the communicating nodes 10 or, alternately, may be separate from said communicating nodes 10 and capable of transmitting all or part of the reference set to all or part of the communicating nodes 10, directly and/or indirectly. It should be noted that there may be one or more reference devices 20. For instance, there may be only one reference device 20 which determines the reference set used for configuring the communication links of all communicating nodes 10. In some cases, there may be a plurality of reference devices 20 which determine independently the reference set, each reference device 20 configuring the communication links of a subset of the communicating nodes 10. In some cases, each communicating node 10 may be a reference device 20, and each communicating node 10 then determines its own reference set used for configuring its own communication links only.
In the example illustrated by
For instance, the reference device 20 may transmit only the reference neighbor node communication pattern and the reference values of the communication parameters to the communicating nodes 10, and cach communicating node 10 exchanges data with its neighbors on the communication links defined by the reference neighbor node communication pattern, and using the reference values of the communication parameters.
According to another example, the reference device 20 may transmit only the reference communication performance profile to the communicating nodes 10, which implicitly defines the reference neighbor node communication pattern. Then each communicating node 10 may e.g. locally adapt the values of the communication parameters in order to achieve the reference communication performance profile on the communication links of the reference neighbor node communication pattern. The control performance level depends mainly on the communication performance profile (e.g. PDRs). Since the actual propagation conditions experienced by a given communicating node 10 may differ from the expected propagation conditions retrieved from the propagation model and/or the relative positions of the communicating nodes can differ from the target regular formation (i.e. the formation may not be strictly regular), it is therefore advantageous to enforce the reference communication performance profile instead of enforcing the reference values of the communication parameters. Any method known to the skilled person may be used to perform the local adaptation in order to achieve the reference communication performance profile. If the communicating nodes 10 receive also from the reference device 20 the reference values of the communication parameters, then they can be used to initialize the values of the communication parameters in the local adaptation scheme.
For a given value of the control parameter, the convergence speed is achieved as long as the communicating nodes 10 enforce exactly the reference communication performance profile. However, it may occur that if the communicating nodes 10 achieve a better communication performance profile than the reference communication performance profile, the consensus algorithm may diverge. Also, if the communicating nodes 10 achieve a communication performance profile slightly worse than the reference communication performance profile, the consensus algorithm may converge but with a convergence speed slower than the target convergence speed.
Hence, in preferred embodiments, a first reference communication performance profile and a second reference communication performance profile are determined, wherein the second reference communication performance profile has a higher communication performance. Both the first and second reference communication performance profiles enable to satisfy the control performance . criterion (e.g. target convergence speed), and the interference criterion is satisfied for at least the first reference communication performance profile. Hence, the first reference communication performance profile corresponds to a lower bound while the second reference communication performance profile corresponds to an upper bound for the communication performance on the communication links of the neighbor communication pattern.
Since all the communicating nodes 10 apply the same neighbor node communication pattern throughout a regular formation, the proposed method 40 has inter alia the following advantages:
In the example represented by
According to a first example, the value of the control parameter a may be set to the following value:
α(C)=αSG−MD=1/2degmax
wherein degmax is the maximum degree of the super-graph. Hence, this value is defined by the selected candidate neighbor node communication pattern. The main advantage of this solution is that it guarantees the convergence of the consensus algorithm at least for undirected graphs whatever the achieved communication performance profiles. By construction, this solution achieves the highest robustness but at the expense of a significant increase of the interference level (as the parameter is small, it requires large PDRs to work).
According to a second example, the value of the control parameter a may be set to the following value:
α(C)=αSG−All1=2/(λ2+λmax)
wherein λ2 and λmax are respectively the second and maximum eigenvalues of the deterministic Laplacian matrix of the super-graph where the eigenvalues are ordered as follows 0=λ1<λ2≤. . . ≤λmax. This value is also defined by the selected candidate neighbor node communication pattern. This approach is shown to achieve a very good robustness, i.e. maximum possible robustness, for a relatively small degradation of the interference level with respect to the optimal one.
However, these solutions may appear as not satisfactory in some situations where e.g. the system may require a higher convergence speed or because it is required to further reduce the interference level.
For instance, it is possible to identify a set α,C,Pcom of candidate values of the control parameter, candidate neighbor node communication patterns and candidate values of the communication parameters that satisfy the control performance criterion, i.e.:
α,C,Pcom
32 {(α, C, Pcom)|γs(γ, Pcom, C)≤γtarget}
Then the reference value {circumflex over (α)} of the control parameter, the reference neighbor node communication pattern Ĉ and the reference values {circumflex over (P)}com of the communication parameters may be selected in the set α,C,Pcomby searching for a candidate value of the control parameter, a candidate neighbor node communication pattern and candidate values of the communication parameters for which the interference criterion is satisfied. For instance, if the interference criterion is satisfied when the average transmission power
During step S45, the reference value {circumflex over (α)} of the control parameter is distributed to the communicating nodes 10 and used by each communicating node 10 to locally configure the consensus algorithm.
We provide below more detailed exemplary embodiments of the method 40 for configuring the communication links and the control parameter.
It is assumed that a number n of communicating nodes 10 are arranged in a regular formation in which all the communicating nodes 10 are aligned and the distance l between adjacent communicating nodes 10 is the same for any pair of adjacent communicating nodes 10 (1D lattice points).
These communicating nodes 10 are assumed to apply a consensus algorithm using communication links for exchanging data. We consider in a non-limitative manner that the communication performance profile is entirely defined by the finite set of PDRs associated to the achievable distances in the regular formation (if any, correlations are ignored, i.e.
fPDR(d, PTx, MCS; , Np, PAWGN, βc, ρp, ρv)
wherein PTx is the candidate value of the transmission power, MCS is the candidate value for the MCS, Np is the packet size of the data packets to be exchanged (e.g. number of bytes), PAWGN is the noise level (provided by e.g. the propagation model, may also include external interference), βc corresponds to the propagation parameters (path gain, shadowing, etc., provided by e.g. the propagation model), ρp is packet rate in time (packet time density) and ρv is the communicating node rate in space (node spatial density). ρp and ρv are considered in this example to account for the occupancy of the propagation channel, which might prevent a communicating node 10 from transmitting a packet, thereby impacting the PDR.
The candidate neighbor node communication pattern (or sub-graph) is selected among predefined neighbor node communication patterns, which differ by the maximum rank r of the neighbor nodes with which a communicating node 10 exchanges data directly. Hence, with r=1, the communicating node 10 exchanges data directly only with neighbor nodes of rank 1, i.e. communicating nodes 10 which are at a distance l (i.e. adjacent nodes). With r=2, the communicating node 10 exchanges data directly only with neighbor nodes of rank 1 and with neighbor nodes of rank 2, i.e. communicating nodes 10 which are at a distance l and communicating nodes 10 which are at a distance 21. With r=3, the communicating node 10 exchanges data directly only with neighbor nodes of ranks 1, 2 and 3, i.e. communicating nodes 10 which are at a distance l, 2l and 3l, etc. In other words, for a candidate neighbor node communication pattern C of index r, each communicating node 10 exchanges data with up to r neighbor nodes on each side, with at most 2×r neighbor nodes. Of course the communicating nodes 10 located towards the beginning and towards the end of the regular formation may not have r neighbor nodes on each side, and the actual number of neighbor nodes is between r and 2×r, depending on the position of the considered communicating node 10 in the regular formation.
In order to account for the selected candidate neighbor node communication pattern C (which is defined in the sequel as a scalar value C=2×r), a communication performance model fRX-PDR is defined as:
fRX-PDR(d)=1d≤C/ρv/2×fPDR (d, PTx, MCS; Np, PAWGN, βc, ρp, ρv)
wherein 1E is the indicator (or characteristics) function, i.e. 1d≤C/ρv/2 is equal to 1 if d≤Cρv/2 (i.e. d≤r/ρv) and equal to 0 otherwise. In other words, the PDR is null if the considered communication link (defined by d) is not in the selected candidate neighbor node communication pattern C, and equal to fPDR otherwise.
The communication performance model can be indifferently described using an analytical expression or as a set of numerical LUTs. In order to reduce the amount of data to be stored, the communication performance model may be simplified as follows. First, the distances may be normalized according to the mean distance between communicating nodes 10, i.e. d=d×ρv, and some of the propagation parameters in βc can be normalized by 1/pv, yielding βc:
f
RX-PDR(d,C,dcov, MSC)=1d≤C/ρv/2×fPDR (d, PTx, MCS; Np, PAWGN, βc, ρp, ρv)
Second, the transmission power and the node spatial density ρv may be replaced by only one parameter dcov:
RX-PDR(d,C,dcov, MSC)=1d≤C/ρv/2×
wherein dcov is defined as the normalized coverage distance without self-interference nor shadowing (e.g. considering only mean path gain and AWGN) for which we have a predetermined target PER, for instance equal to 10%. In other words, dcov corresponds to the normalized coverage distance for which the target PER is theoretically obtained without any packet collision (pure AWGN case without shadowing).
The target PER leads to a target SNR SNRreq using a predetermined packet error rate function fPER (SNR; MCS, Np) giving the packet error rate for the AWGN channel (LUT, complementary error function-based model, log-linear model with saturation function, etc.). Hence, given the target PER, the candidate MCS and NNp, the packet error rate function fPER enables to determine the target SNR SNRreq. Then the relationship between the distance and the PER is obtained from the path gain model PG(d):
For instance, it is possible to use e.g. a one-slope path gain model:
PG(d)=G×dα
wherein:
Finally, the normalized coverage distance dcov may defined as e.g.:
The advantage of using dcov is to provide a direct relationship between the transmission power and a distance-related variable.
As discussed above, we consider here the case where the control parameter α, the communication parameters Pcom and the neighbor node communication pattern C are to be configured. For instance, it is possible to first identify the set α,C,Pcom that satisfies the control performance criterion:
α,C,Pcom={(α, C, Pcom)|γs (α, Pcom, C)≤γtarget}
and then determine ({circumflex over (α)}, Ĉ, {circumflex over (P)}com) satisfying the interference criterion. For instance, if the interference criterion is satisfied when the average transmission power
In order to avoid optimizing on the transmission power PTx, the latter expression may be expressed as:
Hence, the communication parameters Pcom may be considered to be the normalized coverage distance dcov and the MCS.
Inserting the communication performance model in the expression of the per-step convergence factor upper bound γs leads to a highly non-linear model that may be computationally expensive to use. Preferably, it is possible to perform a sub-optimal but simpler optimization where the different parameters are optimized successively. However, other optimization strategies may be considered, and the choice of a specific optimization strategy corresponds to a specific embodiment of the present disclosure.
In a first phase, for each possible neighbor node communication pattern and for all the range of admissible dcov (the transmission power is necessarily limited), we look for the that maximizes the PDR for the longest distance in the neighbor node communication pattern:
wherein dmax(C)=r is the maximum normalized distance for the neighbor node communication pattern C. Then we can replace the MCS in the communication performance model, which now depends only on the normalized coverage distance dcov and the neighbor node communication pattern C. The corresponding communication performance model {tilde over (f)}RX-PDR is given by e.g.:
{tilde over (f)}RX-PDR(d, C, dcov)=
In a second phase, for cach candidate neighbor node communication pattern C and all admissible dcov, we may look for the control parameter {circumflex over (α)} that minimizes the upper bound γs:
wherein:
Hence, γs is now equivalently parameterized by the communication performance profile CPP(C, dcov) rather than the communication parameters and the neighbor node communication pattern. We can determine the set d
In a third phase, we determine the neighbor node communication pattern Ĉ that minimizes the interference as:
Hence, in this example, the reference set may comprise the reference value {circumflex over (α)} of the control parameter, the reference value {circumflex over (d)}cov of the normalized coverage distance, the reference modulation and coding scheme and the reference neighbor node communication pattern Ĉ.
As previously explained, the communicating nodes 10 may locally adapt the values of the communication parameters to achieve a communication performance profile equal to or higher than the reference communication performance profile to guarantee the convergence speed. At the same time, the PDRs cannot be too high to prevent the consensus algorithm from diverging. It is thus advantageous to define a first and a second reference communication performance profiles, denoted respectively by − and +, to enable some fluctuations on the PDRs while ensuring that the target convergence speed is achieved. For instance, the first reference communication performance profile − may be the communication performance profile defined as CPP(C, d cov) (i.e. considering the reference value {circumflex over (d)}cov of the normalized coverage distance and the reference neighbor node communication pattern Ĉ determined above). The second reference communication performance profile + may be the communication performance profile defined as CPP(C, atov), wherein:
{circumflex over (d)}cov+=max(dcov)|γs ({circumflex over (α)}, CPP(C, dcov))≤γtarget
Hence, both the first and second reference communication performance profiles − and + satisfy the control performance criterion. The interference criterion is satisfied for the first reference communication performance profile −. The constraint on the interference generated is relaxed for the second reference communication performance profile.
This approach does provide some kind of robustness to PDR fluctuations. However, in some cases, the fluctuations allowed can be considered too small, e.g. by a few tens of decibels.
We now provide another example for the determination of the first and second reference communication performance profiles. In this example, the goal is to achieve a target robustness with respect to local adaptation errors. Hence, a target robustness factor Rtarget is obtained and at least one among the first reference communication performance profile and the second reference communication performance profile is determined based on said target robustness factor Rtarget.
The robustness factor R may be seen as a measure of a distance between communication performance profiles. For instance, the communication performance profile may be characterized by their mean value (over distance), that is intuitively a relevant measure of the impact of the communication performance on the control performance. To obtain a normalized distance, the robustness factor may be defined e.g. as follows:
wherein
withr non-zero PDR values. With this convention, R=1 if PDR+=1 for all distances in the neighbor node communication pattern, and R=0 if PDR+=PDR−.
Hence, the goal is e.g. to find a first reference communication performance profile − and a second reference communication performance profile + (having a higher communication performance) that achieve the target (γtarget, Rtarget) while minimizing the average transmission power
vPDR+=Rtarget+(1−Rtarget)×PDR−
The objective is now, given a target robustness factor Rtarget, to find the candidate communication performance profile PDR− and the candidate value of the control parameter α such that the control performance criterion (target convergence speed γtarget) is achieved for both PDR− and vPDR+, still under the constraint of minimizing the average transmission power
Then, the search of the reference set may be implemented as described above. By doing so, a first reference communication performance profile − and a second reference communication performance profile + are determined and distributed to the communicating nodes 10, where they are used to bound the communication performance profile.
In this exemplary embodiment, the reference device 20 comprises a processing circuit 21 and a wireless communication unit 22, coupled to the processing circuit 21. For instance, the processing circuit 21 comprises one or more processors and storage means (magnetic hard disk, solid-state disk, optical disk, electronic memory, etc.) in which a computer program product is stored. Alternatively, or in combination thereof, the processing circuit 21 can comprise one or more programmable logic circuits (FPGA, PLD, etc.), and/or one or more specialized integrated circuits (ASIC), and/or a set of discrete electronic components, etc. The wireless communication unit 22 comprises for instance a radiofrequency circuit comprising components (antenna(s), amplifier(s), local oscillator(s), mixer(s), analog and/or digital filter(s), etc.) considered known to the skilled person. The wireless communication unit 22 is compatible with one or more communication protocols, which may include one or more V2V communication protocols such as those defined by the ITS-G5, IEEE WAVE or 3GPP Cellular-V2X standards, etc.
The communicating nodes 10 may also comprise the same elements as the reference device 20, i.e. a processing circuit and a wireless communication unit. In particular, each communicating node 10 which is not a reference device 20 may be configured to receive, via its wireless communication unit, all or part of the reference set, and to configure its communication links based on the received information, as discussed above.
It is emphasized that the present invention is not limited to the above exemplary embodiments. Variants of the above exemplary embodiments are also within the scope of the present invention.
For instance, the present disclosure has been provided by focusing on communicating nodes 10 embedded in vehicles of a platoon of vehicles. However, the present disclosure applies also to any application in which communicating nodes 10 arranged according to a substantially regular formation are connected by wireless communication links to exchange data related to a cooperative control algorithm, such as the consensus algorithm.
Number | Date | Country | Kind |
---|---|---|---|
21305452.1 | Apr 2021 | EP | regional |
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/JP2021/038332 | 10/12/2021 | WO |