Leonardo Badia
University of Padua
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Leonardo Badia.
IEEE Communications Magazine | 2014
Eduard A. Jorswieck; Leonardo Badia; Torsten Fahldieck; Eleftherios Karipidis; Jian Luo
The article describes the potential gain by spectrum sharing between cellular operators in terms of network efficiency. The focus of the study is on a specific resource sharing scenario: spectrum sharing between two operators in cellular downlink transmission. If frequency bands are allocated dynamically and exclusively to one operator - a case called orthogonal spectrum sharing - significant gains in terms of achievable throughput (spectrum sharing gains between 50 percent and 100 percent) and user satisfaction are reported for asymmetric scenarios at link and system level as well as from two hardware demonstrators. Additionally, if frequency bands are allocated simultaneously to two operators - a case called non-orthogonal spectrum sharing - further gains are reported. In order to achieve these, different enablers from hardware technologies and base station capabilities are required. However, we argue that all requirements are fulfilled in 3GPP and newer mobile standards. Therefore, the results and conclusions of this overview article encourage to seriously consider the inter-operator spectrum sharing technologies.
ad hoc networks | 2009
Leonardo Badia; Alessio Botta; Luciano Lenzini
Wireless mesh networks are an attractive technology for providing broadband connectivity to mobile clients who are just on the edge of wired networks, and also for building self-organized networks in places where wired infrastructures are not available or not deemed to be worth deploying. This paper investigates the joint link scheduling and routing issues involved in the delivery of a given backlog from any node of a wireless mesh network towards a specific node (which acts as a gateway), within a given deadline. Scheduling and routing are assumed to be aware of the physical interference among nodes, which is modeled in the paper by means of a signal-to-interference ratio. Firstly, we present a theoretical model which allows us to formulate the task of deriving joint routing and scheduling as an integer linear programming problem. Secondly, since the problem cannot be dealt with using exact methods, we propose and use a technique based on genetic algorithms. To the best of our knowledge, these algorithms have never been used before for working out these kinds of optimization problems in a wireless mesh environment. We show that our technique is suitable for this purpose as it provides a good trade-off between fast computation and the overall goodness of the solution found. Our experience has in fact shown that genetic algorithms would seem to be quite promising for solving more complex models than the one dealt with in this paper, such as those including multiple flows and multi-radio multi-channels.
IEEE Network | 2008
Leonardo Badia; Alessandro Erta; Luciano Lenzini; Michele Zorzi
Joint design and optimization of traditionally independent problems such as routing and link scheduling have recently become one of the leading research trends in wireless mesh networks. Although technically challenging, cross-layering is, in fact, expected to bring significant benefits from the network resource exploitation standpoint to achieve high system utilization. In this article we propose a versatile framework for joint design of routing and link scheduling, introducing the notion of link activation constraints, which are related to the transceiver capability and the broadcast nature of the wireless medium. To this end, we introduce a taxonomy of wireless interference models to harmonize existing approaches presented in the literature. Finally, we evaluate the impact on network capacity of the various interference models when optimal joint routing and link scheduling are employed.
IEEE Transactions on Wireless Communications | 2006
Leonardo Badia; Michele Rossi; Michele Zorzi
In this letter we investigate the packet delay statistics of a fully reliable selective repeat ARQ scheme by considering a discrete time Markov channel with non-instantaneous feedback and assigned round-trip delay m. Our focus is on studying the impact of the arrival process on the delay experienced by a packet. An exact model is introduced to represent the system constituted by the transmitter buffer, the m round-trip slots, and the channel state. By means of this model, we evaluate and discuss the delay statistics and we analyze the impact of the system parameters, in particular the packet arrival rate, on the delay statistics
IEEE Journal on Selected Areas in Communications | 2010
Leonardo Badia; Nicola Baldo; Marco Levorato; Michele Zorzi
We present a framework, based on Markov models, for the analysis of error control techniques in video transmission over wireless channels. We focus on retransmission-based techniques, which require a feedback channel but also enable to perform adaptive error control. Traditional studies of these methodologies usually consider a uniform stream of data packets. Instead, video transmission poses the non-trivial challenge that the packets have different sizes, and, even more importantly, are incrementally encoded; thus, a carefully tailored model is required. We therefore proceed on two different sides. First, we consider a low-level description of the system, where two main inputs are combined, namely, a video packet generation process and a wireless channel model, both described by Markov Chains with a tunable number of states. Secondly, from a highlevel perspective, we represent the whole system evolution with another Markov Chain describing the error control process, which can feed the packet generation process back with retransmissions. The framework is able to evaluate hybrid automatic repeat request with selective retransmission, but can also be adapted to study pure automatic repeat request or forward error correction schemes. In this way, we are able to comparatively evaluate different solutions for video transmission, as well as to quantitatively assess their performance trends in a variety of scenarios. Thus, our framework can be used as an effective tool to understand the behavior of error control techniques applied to video transmission over wireless, and eventually identify design guidelines for such systems.
IEEE Transactions on Wireless Communications | 2005
Michele Rossi; Leonardo Badia; Michele Zorzi
In this paper, the packet delay statistics of a fully reliable selective repeat automatic repeat request (SRARQ) scheme is investigated. The study is carried out assuming that the packet error process can be characterized by means of a discrete time Markov channel. The packets transmitted by the sender are checked for errors at the receivers side, and acknowledgment messages (ACK or NACK), assumed error free, are sent back accordingly. It is assumed that the feedback message is known at the transmitter m channel slots after the packet transmission started. First, an analytical exact approach is described, in which an appropriate Markov model is developed in order to find the exact delay statistics. This allows to write close formulas related to the delivery delay experienced by ARQ packets. Moreover, in order to reduce the computational complexity of this analysis, an approximate model is presented. The results obtained from the approximate approach are in good agreement with the ones derived from the exact analysis.
global communications conference | 2003
Michele Rossi; Leonardo Badia; Michele Zorzi
In this paper the packet delay statistics of a fully reliable selective-repeat ARQ scheme is investigated. It is assumed that the sender continuously transmits packets whose error process is characterized by means of a two-state discrete time Markov channel. At the receiver these packets are checked for errors and ACK/NACK messages (assumed error-free) are sent back to the sender accordingly. The feedback message is known at the transmitter m channel slots (round-trip delay) after the packet transmission started. An appropriate Markov model has been developed in order to find the exact statistics of the delays experienced by ARQ packets after their first transmission.
IEEE Wireless Communications | 2007
Leonardo Badia; Andrea Baiocchi; Alfredo Todini; Simone Merlin; Silvano Pupolin; Andrea Zanella; Michele Zorzi
Multicellular networks based on the IEEE 802.16 standard appear to be very promising candidates to provide end users with broadband wireless access. However, they also pose interesting challenges in terms of radio resource management, where several design choices are not specified in the standard, intentionally left open to implementors. For this reason, we focus in this article on scheduling and resource allocation, and investigate how they could operate in a cross-layer fashion. In particular, we describe the principles of joint scheduling and resource allocation for IEEE 802.16 operating in AMC mode, and discuss the critical role played by physical layer considerations, especially intercell interference estimation and channel state awareness, in the obtained performance. This leads to identifying key open issues and possible general solutions
IEEE Transactions on Wireless Communications | 2006
Michele Rossi; Leonardo Badia; Michele Zorzi
In this paper the packet delay statistics of a fully reliable selective repeat ARQ (SR ARQ) scheme is investigated. An N-state discrete time Markov channel model is used to describe the packet error process and the channel round trip delay is considered to be non zero, i.e., ACK/NACK messages are received at the transmitter m channel slots after the packet transmission started. The ARQ packet delay statistics is evaluated by means of an exact analysis by jointly tracking packet errors and channel state evolution. Furthermore, procedures to derive a Markov channel description of a Rayleigh fading process are discussed and the delay statistics obtained from the Markov analysis is compared with that estimated by simulation of the SR ARQ protocol over the actual fading process. The accuracy of the delay statistics obtained from the Markov Channel representation of the actual fading process is investigated by explicitly addressing the effect of the number of states considered in the Markov channel model and the impact of the Doppler frequency. Finally, besides giving a new analysis to obtain link layer statistics over N-state Markov channels, the paper provides important considerations on the adequacy of the widely used Markov modeling approach for the characterization of higher layer performance
IEEE Transactions on Communications | 2014
Nicolò Michelusi; Leonardo Badia; Michele Zorzi
Wireless sensors can be integrated with energy harvesting (EH) devices to enable long-term, autonomous operation, necessitating efficient energy management. Existing research assumes knowledge of the state-of-charge (SOC) of the rechargeable battery; however, accurate SOC estimation in real-world devices is typically costly or impractical. This paper investigates the impact of imperfect SOC knowledge and the design of policies to cope with such uncertainty. The optimization complexity is reduced by decoupling the different time scales of the system: first, the short-term average performance is optimized with respect to fast-varying exogenous state variables, under an average energy consumption constraint, but neglecting battery dynamics; then, the policy dictating the average energy consumption as a function of state variables evolving over longer time scales is optimized, based on the detailed battery dynamics. A local search algorithm is presented to determine a locally optimal policy. The performance degradation compared to the scenario with perfect SOC knowledge is shown to decrease with increasing storage capacity and decreasing uncertainty in the EH source, and is within 5% for most cases of practical interest. Moreover, near-optimal performance is achieved by only a loose SOC knowledge, which distinguishes between high/low SOC levels. Finally, the impact of time correlation in the EH source is investigated. EH state knowledge is shown to be more critical than SOC knowledge, hence precise knowledge of the former can obviate the need for accurate information about the latter.