793 research outputs found
Study of coded ALOHA with multi-user detection under heavy-tailed and correlated arrivals
In this paper, we study via simulation the performance of irregular repetition slotted ALOHA under multi-packet detection and different patterns of the load process. On the one hand, we model the arrival process with a version of the M/G/∞ process able to exhibit a correlation structure decaying slowly in time. Given the independence among frames in frame-synchronous coded-slotted ALOHA (CSA), this variation should only take effect on frame-asynchronous CSA. On the other hand, we vary the marginal distribution of the arrival process using discrete versions of the Lognormal and Pareto distributions, with the objective of investigating the influence of the right tail. In this case, both techniques should be affected by the change, albeit to a different degree. Our results confirm these hypotheses and show that these factors must be taken into account when designing and analyzing these systems. In frameless operations, both the shape of the packet arrivals tail distribution and the existence of short-range and long-range correlations strongly impact the packet loss ratio and the average delay. Nevertheless, these effects emerge only weakly in the case of frame-aligned operations, because this enforces the system to introduce a delay in the newly arrived packets (until the beginning of the next frame), and implies that the backlog of accumulated packets is the key quantity for calculating the performance.Ministerio de Ciencia e Innovación | Ref. PID2020-113240RB-I00Ministerio de Ciencia e Innovación | Ref. PID2020-113795RB-C3
Intégration des méthodes formelles dans le développement des RCSFs
In this thesis, we have relied on formal techniques in order to first evaluate WSN protocols and then to propose solutions that meet the requirements of these networks. The thesis contributes to the modelling, analysis, design and evaluation of WSN protocols.
In this context, the thesis begins with a survey on WSN and formal verification techniques. Focusing on the MAC layer, the thesis reviews proposed MAC protocols for WSN as well as their design challenges. The dissertation then proceeds to outline the contributions of this work.
As a first proposal, we develop a stochastic generic model of the 802.11 MAC protocol for an arbitrary network topology and then perform probabilistic evaluation of the protocol using statistical model checking. Considering an alternative power source to operate WSN, energy harvesting, we move to the second proposal where a protocol designed for EH-WSN is modelled and various performance parameters are evaluated. Finally, the thesis explores mobility in WSN and proposes a new MAC protocol, named "Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC)" protocol for dynamic sensor networks powered by ambient energy. The protocol is modelled and verified under several features
Model-Predictive Control in Communication Networks
This dissertation consists of 8 papers, separated into 3 groups. The first 3 papers show, how model-predictive control can be applied to queueing networks and contain a detailed proof of throughput optimality. Additionally, numerous network examples are discussed, and a connection between the stability properties of assembly queues and random walks on quotient spaces is established. The next two papers develop algorithms, with which robust forecasts of delay can be obtained in queueing networks. To that end, a notion of robustness is proposed, and the network control policy is designed to meet this goal. For the last 3 papers, focus is shifted towards Age-of-Information. Two main contributions are the derivation of the distribution of the Age-of-Information values in networks with clocked working cycles and an algorithm for the exact numerical evaluation of the Age-of-Information state-space in a similar set-up
Energy-Sustainable IoT Connectivity: Vision, Technological Enablers, Challenges, and Future Directions
Technology solutions must effectively balance economic growth, social equity,
and environmental integrity to achieve a sustainable society. Notably, although
the Internet of Things (IoT) paradigm constitutes a key sustainability enabler,
critical issues such as the increasing maintenance operations, energy
consumption, and manufacturing/disposal of IoT devices have long-term negative
economic, societal, and environmental impacts and must be efficiently
addressed. This calls for self-sustainable IoT ecosystems requiring minimal
external resources and intervention, effectively utilizing renewable energy
sources, and recycling materials whenever possible, thus encompassing energy
sustainability. In this work, we focus on energy-sustainable IoT during the
operation phase, although our discussions sometimes extend to other
sustainability aspects and IoT lifecycle phases. Specifically, we provide a
fresh look at energy-sustainable IoT and identify energy provision, transfer,
and energy efficiency as the three main energy-related processes whose
harmonious coexistence pushes toward realizing self-sustainable IoT systems.
Their main related technologies, recent advances, challenges, and research
directions are also discussed. Moreover, we overview relevant performance
metrics to assess the energy-sustainability potential of a certain technique,
technology, device, or network and list some target values for the next
generation of wireless systems. Overall, this paper offers insights that are
valuable for advancing sustainability goals for present and future generations.Comment: 25 figures, 12 tables, submitted to IEEE Open Journal of the
Communications Societ
Fresh Multiple Access: A Unified Framework Based on Large Models and Mean-Field Approximations
Information freshness has attracted increasingly attention in the past decade
as it plays a critical role in the emerging real-time applications. Age of
information (AoI) holds the promise of effectively characterizing the
information freshness, hence widely considered as a fundamental performance
metric. However, in multiple-device scenarios, most existing works focus on the
analysis and optimization of AoI based on queueing systems. The study for a
unified approach for general multiple access control scheme in
freshness-oriented scenarios remains open. In this paper, we take into
consideration the combination of the fundamental freshness metric AoI and
multiple access control schemes to achieve efficient cross-layer analysis and
optimization in freshness-oriented scenarios, which is referred to as fresh
multiple access. To this end, we build a unified framework with a discrete-time
tandem queue model for fresh multiple access. The unified framework enables the
analysis and optimization for general multiple access protocols in fresh
multiple access. To handle the high dimension framework embedded in fresh
multiple access, we introduce large model approaches for the Markov chain
formulation in AoI oriented scenarios. Two typical AoI-based metric are studied
including age of incorrect information (AoII) and peak AoII. Moreover, to
address the computational complexity of the large model, we present mean-field
approximations which significantly reduces the dimension of the Markov chain
model by approximating the integral affect of massive devices in fresh multiple
access.Comment: accepted by Journal of Communications and Network
Signal Processing and Learning for Next Generation Multiple Access in 6G
Wireless communication systems to date primarily rely on the orthogonality of
resources to facilitate the design and implementation, from user access to data
transmission. Emerging applications and scenarios in the sixth generation (6G)
wireless systems will require massive connectivity and transmission of a deluge
of data, which calls for more flexibility in the design concept that goes
beyond orthogonality. Furthermore, recent advances in signal processing and
learning have attracted considerable attention, as they provide promising
approaches to various complex and previously intractable problems of signal
processing in many fields. This article provides an overview of research
efforts to date in the field of signal processing and learning for
next-generation multiple access, with an emphasis on massive random access and
non-orthogonal multiple access. The promising interplay with new technologies
and the challenges in learning-based NGMA are discussed
Novel evaluation framework for sensing spread spectrum in cognitive radio
The cognitive radio network is designed to cater to the optimization demands of restricted spectrum availability. A review of existing literature on spectrum sensing shows that there is still a broader scope for its improvement. Therefore, this paper introduces an efficient computational framework capable of evaluating the effectiveness of the spread spectrum concept in the context of cognitive radio network in a more scalable and granular way. The proposed method introduces a dual hypothesis using a different set of dependable parameters to emphasize the detection of optimal energy for a low signal quality state over the noise. The proposed evaluation framework is benchmarked using a statistical analysis method not present in any existing approaches toward spread spectrum sensing. The simulated outcome of the study exhibits that the proposed system offers a significantly better probability of detection than the current system using a simplified evaluation scheme with multiple test parameters
Recommended from our members
Compounds and methods for treating, detecting, and identifying compounds to treat apicomplexan parasitic diseases
Disclosed herein; are novel compounds for treating apicomplexan parasite related disorders, methods for their use; cell line and non-human animal models of the dormant parasite phenotype and methods for their use in identifying new drugs to treat apicomplexan parasite related disorders, and biomarkers to identify disease due to the parasite and its response to treatment
Random Access Protocols for Cell-Free Wireless Network Exploiting Statistical Behavior of THz Signal Propagation
The current body of research on terahertz (THz) wireless communications
predominantly focuses on its application for single-user backhaul/fronthaul
connectivity at sub-THz frequencies. First, we develop a generalized
statistical model for signal propagation at THz frequencies encompassing
physical layer impairments, including random path-loss with Gamma distribution
for the molecular absorption coefficient, short-term fading characterized by
the --- distribution, antenna misalignment errors,
and transceiver hardware impairments. Next, we propose random access protocols
for a cell-free wireless network, ensuring successful transmission for multiple
users with limited delay and energy loss, exploiting the combined effect of
random atmospheric absorption, non-linearity of fading, hardware impairments,
and antenna misalignment errors. We consider two schemes: a fixed transmission
probability (FTP) scheme where the transmission probability (TP) of each user
is updated at the beginning of the data transmission and an adaptive
transmission probability (ATP) scheme where the TP is updated with each
successful reception of the data. We analyze the performance of both protocols
using delay, energy consumption, and outage probability with scaling laws for
the transmission of a data frame consisting of a single packet from users at a
predefined quality of service (QoS).Comment: This work has been submitted to IEEE for possible publcation. arXiv
admin note: substantial text overlap with arXiv:2310.1861
- …