Collision vs non-Collision Distributed Time Synchronization for Dense IoT Deployments
Maria Antonieta Alvarez, Umberto Spagnolini

TL;DR
This paper compares collision-based and collision-avoidance synchronization methods in dense IoT networks, demonstrating that exploiting collisions can significantly improve synchronization performance and scalability.
Contribution
It introduces a novel distributed synchronization algorithm that leverages signal superimposition, outperforming traditional collision-avoidance approaches in dense IoT deployments.
Findings
Distributed synchronization achieves faster convergence.
Collision-based method improves scalability and synchronization accuracy.
Superimposed beacons enable effective network-wide timing alignment.
Abstract
Massive co-located devices require new paradigms to allow proper network connectivity. Internet of things (IoT) is the paradigm that offers a solution for the inter-connectivity of devices, but in dense IoT networks time synchronization is a critical aspect. Further, the scalability is another crucial aspect. This paper focuses on synchronization for uncoordinated dense networks without any external timing reference. Two synchronization methods are proposed and compared: i) conventional synchronization that copes with the high density of nodes by frame collision-avoidance methods (e.g., CSMA/CA) to avoid the superimposition (or collision) of synchronization signals; and ii) distributed synchronization that exploits the frames' collision to drive the network to a global synchronization. The distributed synchronization algorithm allows the network to reach a timing synchronization status…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNetwork Time Synchronization Technologies · Wireless Body Area Networks · Modular Robots and Swarm Intelligence
Collision vs non-Collision Distributed Time Synchronization for Dense
IoT Deployments
Maria Antonieta Alvarez12, Umberto Spagnolini1
2Facultad de Ingenierᅵa de Electricidad y Computaciᅵn, Escuela Superior Politᅵcnica del Litoral, ESPOL,
Campus Gustavo Galindo Km. 30.5 Vᅵa Perimetral, P.O. Box 09-01-5863, Guayaquil, Ecuador
1Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy
Email: {mariaantonieta.alvarez,umberto.spagnolini}@polimi.it
Abstract
Massive co-located devices require new paradigms to allow proper network connectivity. Internet of things (IoT) is the paradigm that offers a solution for the inter-connectivity of devices, but in dense IoT networks time synchronization is a critical aspect. Further, the scalability is another crucial aspect. This paper focuses on synchronization for uncoordinated dense networks without any external timing reference. Two synchronization methods are proposed and compared: i) conventional synchronization that copes with the high density of nodes by frame collision-avoidance methods (e.g., CSMA/CA) to avoid the superimposition (or collision) of synchronization signals; and ii) distributed synchronization that exploits the frames’ collision to drive the network to a global synchronization.
The distributed synchronization algorithm allows the network to reach a timing synchronization status based on a common beacon with the same signature broadcasted by every device. The superimposition of beacons from all the other devices enables the network synchronization, rather than preventing it. Numerical analysis evaluates the synchronization performance based on the convergence time and synchronization dispersion, both on collision and non-collision scenario, by investigating the scalability of the network. Results prove that in dense network the ensemble of signatures provides remarkable improvements of synchronization performance compared to conventional master-slave reference.
I Introduction
The exponential increment of interconnected devices makes crucial a proper management of cooperative communication and coordinated medium access control which are enabled by a proper synchronization across the network. The inter-connectivity of a large number (say ) of heterogeneous and mutually interfering devices, and their synchronization are open issues. Internet of things (IoT) [1] embeds the intercommunication of heterogeneous devices in different contexts, such as smart home, medical metering, public safety, smart grids, automobile, smart traffic, etc. Factory of Things (FoT) [2] enables the connectivity for manufacturing with critical latencies. Even if these paradigms are expected to be part of discussion on 5G systems [3], there are still some characteristics to be considered for a proper synchronization solution in a dense (says nodes) interconnected network, mainly: i) to allow scalability of the network as it could be difficult to provide a common synchronization reference to all node of the network as this would scale poorly with number of nodes; ii) to allow fast synchronization of the whole network; and iii) to mitigate power consumption that might follow from excessive synchronization signaling.
In an environment where the closeness and density of nodes makes them prone to collision of transmitted beacon signals, there has been an intense research to reduce (or avoid) the collision of beacon signals. For example, hierarchical architecture or multi-hope scenario by scheduling the node transmission implying the need of coordination among nodes [4, 5]. IoT technologies have been built based on several standards that support the connectivity such as IEEE 802.15.4e [6] with Time-Slotted Channel Hopping (TSCH) that exploits channel hopping to avoid interference operating at the same frequency band and low-power consumption. In wirelessHART [2] synchronization is based on scheduling where the time is divided into time slots and transmissions within a time slot follow some specific timing requirements. In IEEE 802.15.4e the network synchronization is defined on MAC-layer schedule, and it can be centralized (“coordinated” node is responsible to built and maintain the network schedule) or distributed (each node decides on which links to schedule with each neighbor) [7]. However, the maintenance of the schedule is a drawback as the node has to wake up due to lack of scheduling and this limits the scalability of the network and their synchronization [8, 9].
Thus, instead to avoid the signals’ collision, the distributed synchronization method proposed here exploits the superimposition of transmitted signals to drive the network to a global synchronization. The distributed synchronization algorithm is based on consensus paradigm that enables the network to reach asymptotically a global convergence based on the exchange of a common beacon (i.e., the same synchronization beacon is used by all nodes in the network) with features that enable a fast and accurate timing synchronization. Namely, the colliding signals from a set of transmitting nodes provide the ensemble reference to enable the global synchronization of the other nodes that are on receiving state.
The beacon structure is based on chirp-like signature to give the start of the frame at the physical layer interface, so that locally all the devices can estimate and correct their timing offset (TO) of the frame structure based on distributed phase locked loop (D-PLL) algorithm [10]. The devices cooperate with each other to asymptotically reach a global network synchronization in only few beacon exchanges without any external coordination, or any master node acting as TO reference. Once the network reaches a consensus, the frames are aligned giving the start of time-slot and thus enabling any MAC-layer protocol such as slotted ALOHA.
This paper compares the synchronization for dense wireless network (Fig. 1): frame collision-avoidance (based on conventional synchronization) and frame-collision (based on distributed synchronization). In order to establish a fair setting where both synchronization approaches can be compared, we choose a scenario where each node autonomously and independently decide if to transmit or receive under half-duplex constraint. The optimum duplexing strategy is evaluated here for uncoordinated arbitrarily dense network. Contribution is the analytical derivation of the optimum duplexing strategy that maximizes the synchronization convergence of the network. The duplex strategy is addresses in [11] for distributed synchronization algorithm. Here, it is extended to the conventional non-collision based synchronization by proving that in this case the convergence and residual TO error is very sensitive to the choice of the optimum duplexing and the network density. Numerical analysis confirms that in dense networks, the collision of beacon-signals provides an excellent reference for distributed synchronization that implicitly averages over the active nodes the individual impairments (e.g., clock drift), and the performance is almost independent on the number of nodes. This offers a unique feature to scalability for inter-connected heterogeneous devices as it is in the case of IoT networks.
The paper is organized as follows. Section II defines the system model. The synchronization algorithm based on collision-avoidance and the distributed synchronization algorithm based on consensus paradigm are introduced III. Finally, Section IV demonstrates numerical results followed by concluding remarks in Section V.
II System Model
Let us consider a dense wireless network of uncoordinated nodes (devices) fully connected (i.e., all nodes are allocated in a small geographic area such that each signal transmitted can be received by almost all the other nodes, so propagation delay is negligible and connectivity graph is simple, just for simplicity) without any external synchronization reference. Time is discretized into frames and nodes are aware of the nominal frame period (this assumption is not strictly necessary [12]). In network system, the node timings are nominally the same and oscillators of each node are affected by independent frequency fluctuations that make the frame-time , evaluated at -th frame for , and carrier angular frequency change over time ( is the nominal RF frequency). Here it is not considered the analysis for carrier frequency synchronization to reach that would follow a similar theoretical infrastructure. Similarly, the distributed synchronization method can be designed for join time and carrier frequency synchronization as in [13]. The network is synchronized by periodically exchanging a synchronization signature embedded into a beacon structure. Each node is equipped with oscillators that run autonomously by their local drifting, thus timing offset (TO) is locally adapted based on programmable frequency dividers of local oscillators.
The synchronization signature is denoted as , and the modulated payload of the -th node within the -th frame is denoted as . All frames can be considered as mutually misaligned one another and delayed by the (absolute) time . Within the -th frame period, each node randomly can be on transmitting and receiving mode. The transmitting nodes broadcast their synchronization information, whilst at receiving nodes, they receive the superimposition of signals to extract the synchronization information and locally correct their TO.
The signal received by the -th node over the -th frame interval is the superposition of synchronization signatures by all the neighboring nodes :
[TABLE]
here referred to the absolute time-reference, for simplicity. is the channel response for the link that accounts for multi-paths and small propagation delays. Term
[TABLE]
is the superposition of all payloads as these are not of interest for synchronization process, noise can be included as well. This term is modeled here as white Gaussian as being realistic enough based on the assumptions so far. The TO error for each of the nodes belonging to the neighborhood is evaluated by the -th receiver with respect to the local reference as
[TABLE]
The TO synchronization is achieved when , for any pair with an upper TO limit that depends on the value tolerated by the data-communication protocols. The relative error value with respect to the reference of the TO of the -th node is
[TABLE]
where is the TO reference. Distributed synchronization is a consensus-based process where every node is using as TO reference the average timing ( is a weighted coefficient) of the neighboring nodes that is estimated from superimposed synchronization signatures (see Fig. 1-a). Whilst, in conventional synchronization nodes use as TO reference the timing information from one not-colliding signal detected, say , of one neighbor node (Fig. 1-b). The TOs are periodically measured and corrected every by comparing the local values with respect to the reference by the exchange of the synchronization signatures among all nodes to minimize the TO mismatch one another.
III Colliding vs not-Colliding Frames in Synchronization Approach
Synchronization at PHY-level is to align the frame structure and the corresponding time-slots to enable MAC-level functionalities. The timing synchronization of the network is achieved when all the frames are temporally aligned and the relative TOs are (close enough to) zero. In uncoordinated networks, nodes randomly choose to transmit or receive the synchronization beacon to iterate the broadcast and correction of TO several times. When the node is transmitting, it broadcasts its synchronization state, while the receiving nodes update their TO locally based on the information extracted from the received signal. Thus, the -th receiving node updates its TO at -th synchronization step based on the relative error (4), accordingly to the updating
[TABLE]
where is a design parameter, and is a stochastic perturbation due to oscillator’s instability. Network reaches the TO synchronization when for a certain , and it is achieved asymptotically () for a connected network.
In dense networks (say nodes), the collision of signals is highly likely, even more when there is no scheduler or coordinator agent. Under this scenario, focus here is to compare two synchronization approaches based on: collision-avoidance and collision of signals. The former is a conventional synchronization based on master-slave reference, where the TO reference is extracted from the detection of received signal free of any collision. The latter is based on distributed synchronization where the reference is estimated from the superimposition of the received signals. Synchronization methods are thus conceptually one the opposite of the other, and the analysis here is for collision vs non-collision synchronization.
III-A *Non-Collision based Synchronization *
The synchronization algorithm is based on master-slave reference. Each receiver locally corrects its TO based on the relative TO error with respect to the TO of the signal free-of-collision detected from its neighborhood , when available (Fig. 1-b). The received signal is a filter matched to the local copy of the synchronization signature and it is conventionally used to search for a signal free-of-collisions. If it is detected a signal free-of-collisions from a transmitting node, say -th, the receiver corrects its TO with respect to the reference , otherwise the local oscillator is in free-running mode making the TO drift-apart.
The synchronization update (5) depends on whether a signal free-of-collision is detected, and thus to maximize the probability of synchronization update (or maximize the convergence rate), the optimization problem can be addressed in term of the probability of a device to be on transmission mode such that the probability of collision is minimized, or equivalently the probability that only one collision-free signal in every frame is maximized.
The probability of synchronization update (or one signal free-of-collision) is given by
[TABLE]
and the optimum probability that a node transmits is given to the optimization problem
[TABLE]
where the probability of synchronization update is conditioned for a given density of nodes . The optimum probability can be derived analytically from model (6) (omitted here for sake of compactness). Figure 2 shows this optimum probability that a node transmits (dash line) for different network connectivity or density given by varying . Increasing , the synchronization algorithm can optimize the synchronization efficiency by assigning an optimum probability of transmission that in turn it can be approximated to .
III-B Collision-based Distributed Synchronization
The distributed synchronization algorithm [13] is based on distributed phase locked loop (D-PLL) that is an iterative control system for synchronization that corrects the local TO (5) on each node, say -th, based on the TO error with respect to the TO of the ensemble (Fig. 1-a). The synchronization by D-PLL can be framed as consensus algorithm where transmitting nodes broadcast their synchronization status as TO embedded into modulated signatures , and the nodes receiving these misaligned and superimposed signatures correct their TO accordingly. The TO reference is estimated from superimposing the ensemble of received signatures that embed .
The estimation of the average TO from the ensemble of nodes reduces to the estimation of time of delay of superimposed multiple copies of the same signature affected by different TOs. In distributed synchronization, the problem reduces to the estimation of TO centroids from the superposition of several in (1). The estimation of the relative TO error from collisions is based on the timing metric from the filter matched to the synchronization signature
[TABLE]
where . This is the superposition of auto-correlations with amplitudes and delays
[TABLE]
In distributed synchronization it is necessary to estimate the average value of the TO of (not the individual values), and thus the barycentral delay value
[TABLE]
is preferred estimator of the average delay weighted by the amplitudes Proof of the optimality of estimator (10) can be shown (not here).
For an optimum duplex strategy in distributed synchronization, the probability that a node is on transmission mode can be optimized to maximize the convergence rate, or equivalent by minimizing the convergence time. The decreasing rate of the TO dispersion over synchronization iterations [11] is
[TABLE]
where is the sample mean-square deviation (MSD) of the TO synchronization from the average. Figure 2 shows also the optimum probability of node transmission (solid line) by varying for the distributed synchronization. Since for distributed synchronization is higher than the same for non-collision method, Fig. 2 shows that distributed method is more energy consuming.
IV Numerical Results
The comparative performance analysis is carried out by Monte Carlo simulations of a dense fully-connected network that consists of nodes mutually coupled, where all nodes adopt the same signature (it can be shown that changing signature, or implemented frequency hopping strategies, have the effect to minimize the collision probability). Transmission is simulated in form of frames, each frame contains the synchronization beacon followed by payload. To set a general framework, the discrete synchronization signature can be based on Zadoff-Chu (ZC) sequences due to their good correlation properties [14]
[TABLE]
with -samples length and cyclic prefix and suffix -samples length both, for a total support , where is the root index that is relative prime to (here is even and ). At set-up () network is asynchronous: TO is normalized by signature length and it is uniformly distributed over the frame , and the loop gain filter is . The mean-square deviation (MSD) is used as metric for convergence dispersion of TO synchronization.
TO synchronization toward convergence is illustrated in Fig. 3 for nodes fully connected (all-to-all connectivity) and each one is affected by an independent clock-drift. Fig. 3-a compares both synchronization approaches on a not-optimum duplexing scenario by increasing the probability of node transmission , for both methods. Notice that when the probability of collision increases, the detection of a signal free-of-collision is low, and hence the network does not reaches the minimum dispersion of TO error that allows the proper communication. The optimum duplexing is shown in Fig. 3-b, where for no-collision and collision scenario. The distributed synchronization algorithm provides stable performance by reaching a convergence status in few iterations and reduces the synchronization dispersion error for large on both not-optimum and optimum duplexing. However, the fact that the optimum is low in conventional synchronization, it is an advantage on reduction of power consumption.
Figure 4 shows the MSD vs synchronization iteration for both collision and non-collision -based synchronization approach for a network of nodes fully connected (all-to-all). The convergence time and steady-state MSD are the metrics used to evaluate and compare the performance of both synchronization algorithms. The optimum probability of transmission is used for both methods to compare for the best , that for collision-based is and non-collision is . Results in Fig. 4 illustrates that the distributed synchronization algorithm improves the convergence time by and the MSD by in comparison to collision-avoidance scenario.
Based on the example in Fig. 4, the synchronization algorithms are evaluated and compared on the basis of and . Fig. 5 illustrates the convergence time vs MSD for different network density with its corresponding optimum probability of node transmission (collision-based) and (non-collision based) by varying the perturbation noise of the local oscillator . Experimental results in Fig. 5 prove that the distributed synchronization is uniformly better in terms of and independently of in comparison with collision-avoidance approach. is reduced by , and the is reduced by for any increasing perturbation noise (due to oscillator’s instability). On the other hand, the performance of the non-collision based synchronization is degraded significantly for any sub-optimum probability of transmission thus limiting the scalability of the network.
V Conclusion
The novel distributed (collision-based) synchronization algorithm is compared with conventional (non-collision) synchronization under an uncoordinated dense network scenario without any reference agent where all nodes in the network are assigned the same synchronization signature. The conventional synchronization algorithm is based on detection of signal free-of-collision to enable the update synchronization, whilst distributed synchronization exploits the collision of signals to extract the synchronization information to enable the TO update. The impact of the network scalability is investigated for both synchronization approaches by comparing the convergence time and synchronization dispersion error. Numerical results prove that superposition of signals provides remarkable improvements in synchronization compared to conventional non-collision based synchronization, even on network settings that degrades the performance of the synchronization. This feature makes the proposed method more robust for synchronization in dense IoT networks. The synchronization setting fits the requirements involved on heterogeneous networks, allowing scalability, minimizing the signaling overhead by using the same signature in beacon to take benefit of collision, and considerably reducing the complexity of the synchronization algorithm at price of a change of signal processing paradigm at PHY-layer. However, the duplexing strategy in distributed synchronization implies that more nodes will be on transmission mode, it translates in a drawback of augmented power consumption.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. Zanella, N. Bui, A. Castellani, L. Vangelista, and M. Zorzi, “Internet of Things for Smart Cities,” IEEE J. Internet of Things , vol. 1, no. 1, pp. 22–32, Feb 2014.
- 2[2] S. Savazzi, V. Rampa, and U. Spagnolini, “Wireless Cloud Networks for the Factory of Things: Connectivity Modeling and Layout Design,” IEEE J. Internet of Things , vol. 1, no. 2, pp. 180–195, April 2014.
- 3[3] 3GPP, “Further Enhancements to LTE Device to Device, UE to Network Relays for Io T and Wearables (Release 14),” Tech. Rep., March 2016.
- 4[4] N. Abedini, S. Tavildar, J. Li, and T. Richardson, “Distributed Synchronization for Device-to-Device Communications in an LTE Network,” IEEE Trans. on Wireless Commun. , vol. 15, no. 2, pp. 1547–1561, Feb 2016.
- 5[5] Y. Xu and A. Helal, “Scalable Cloud-Sensor Architecture for the Internet of Things,” IEEE J. Internet of Things , vol. 3, no. 3, pp. 285–298, June 2016.
- 6[6] “IEEE Standard for Local and metropolitan area networks–Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPA Ns) Amendment 1: MAC sublayer,” IEEE Std 802.15.4e-2012 , pp. 1–225, April 2012.
- 7[7] M. R. Palattella, N. Accettura, X. Vilajosana, T. Watteyne, L. A. Grieco, G. Boggia, and M. Dohler, “Standardized Protocol Stack for the Internet of (Important) Things,” IEEE Communications Surveys Tutorials , vol. 15, no. 3, pp. 1389–1406, Third 2013.
- 8[8] S. B. Yaala, F. Théoleyre, and R. Bouallegue, “Performance Study of Co-Located IEEE 802.15.4-TSCH Networks: Interference and Coexistence,” in IEEE Symp. Comput. Commun. (ISCC) , June 2016, pp. 513–518.
