SearcharxivSearch

arXiv subjects

Omur Ozel

Publications and source records attributed to Omur Ozel.

At least 19 recordsLinked to original sources

State Amplification and Masking While Timely Updating

In status update systems, multiple features carried by the status updating process require pursuit of objectives beyond timeliness measured by the age of information of updates. We consider such a problem where the transmitter sends status update messages through a noiseless binary energy harvesting channel that is equivalent to a timing channel. The transmitter aims to amplify or mask the energy state information that is carried in the updating process. The receiver extracts encoded information, infers the energy state sequence while maintaining timeliness of status updates. Consequently, the timings of the updates must be designed to control the message rate, the energy state uncertainty, and the age of information. We investigate this three-way trade-off between the achievable rate, the reduction in energy arrival state uncertainty, and the age of information, for zero and infinite battery cases.

cs.IT

Intermittent Status Updating Through Joint Scheduling of Sensing and Retransmissions

Consider an energy harvesting node where generation of a status update message takes non-negligible time due to sensing, computing and analytics operations performed before making update transmissions. The node has to harmonize its (re)transmission strategy with the sensing/computing. We call this general set of problems intermittent status updating. In this paper, we consider intermittent status updating through non-preemptive sensing/computing (S/C) and transmission (Tx) operations, each costing a single energy recharge of the node, through an erasure channel with (a) perfect channel feedback and (b) no channel feedback. The S/C time for each update is independent with a general distribution. The Tx queue has a single data buffer to save the latest packet generated after the S/C operation and a single transmitter where transmission time is deterministic. Once energy is harvested, the node has to decide whether to activate S/C to generate a new update or to (re)send the existing update (if any) to the receiver. We prove that when feedback is available average peak age of information (AoI) at the receiver is minimized by a threshold-based policy that allows only young packets to be (re)sent or else generates a new update. We additionally propose window based and probabilistic retransmission schemes for both cases (a) and (b) and obtain closed form average peak AoI expressions. Our numerical results show average peak AoI performance comparisons and improvements.

cs.IT

On Age and Value of Information in Status Update Systems

Motivated by the inherent value of packets arising in many cyber-physical applications (e.g., due to precision of the information content or an alarm message), we consider status update systems with update packets carrying values as well as their generation time stamps. Once generated, a status update packet has a random initial value and a deterministic deadline after which it is not useful (ultimate staleness). In our model, value of a packet decreases in time (even after reception) starting from its generation to ultimate staleness when it vanishes. The value of information (VoI) at the receiver is additive in that the VoI is the sum of the current values of all packets held by the receiver. We investigate various queuing disciplines under potential dependence between value and service time and provide closed form expressions for average VoI at the receiver. Numerical results illustrate the average VoI for different scenarios and the contrast between average age of information (AoI) and average VoI.

cs.IT

Maintaining Information Freshness in Power-Efficient Status Update Systems

This paper is motivated by emerging edge computing systems which consist of sensor nodes that acquire and process information and then transmit status updates to an edge receiver for possible further processing. As power is a scarce resource at the sensor nodes, the system is modeled as a tandem computation-transmission queue with power-efficient computing. Jobs arrive at the computation server with rate $λ$ as a Poisson process with no available data buffer. The computation server can be in one of three states: (i) OFF: the server is turned off and no jobs are observed or processed, (ii) ON-Idle: the server is turned on but there is no job in the server, (iii) ON-Busy: the server is turned on and a job is processed in the server. These states cost zero, one and $p_c$ units of power, respectively. Under a long-term power constraint, the computation server switches from one state to another in sequence: first a deterministic $T_o$ time units in OFF state, then waiting for a job arrival in ON-Idle state and then in ON-Busy state for an independent identically distributed compute time duration. The transmission server has a single unit data buffer to save incoming packets and applies last come first serve with discarding as well as a packet deadline to discard a sitting packet for maintaining information freshness, which is measured by the Age of Information (AoI). Additionally, there is a monotonic functional relation between the mean time spent in ON-Busy state and the mean transmission time. We obtain closed-form expressions for average AoI and average peak AoI. Our numerical results illustrate various regimes of operation for best AoI performances optimized over packet deadlines with relation to power efficiency.

cs.IT

Timely Status Updating Through Intermittent Sensing and Transmission

We consider a novel intermittent status updating model where an energy harvesting node with an intermittent energy source performs status updating to a receiver through non-preemptive sensing and transmission operations. Each operation costs a single energy recharge of the node and the node cannot harvest energy while in operation. The sensing time for each update is independent with a general distribution. The transmission queue has a single server receiving packets generated after sensing operation, general service time distribution and a single data buffer to save the latest arriving update packet. Once energy is harvested, the node has to decide whether to activate sensing to generate a new update or transmission to send the existing update (if any) to the receiver. We prove that average peak age of information (AoI) at the receiver is minimized by a threshold-based stopping rule that accepts only young packets to the transmission server. We then use this result to address average AoI optimization over the considered stopping rules through novel hybrid waiting and thresholding schemes. Our numerical results show the improvements in average AoI maintained by hybrid schemes.

cs.IT

Optimizing Information Freshness Through Computation-Transmission Tradeoff and Queue Management in Edge Computing

Edge computing applications typically require generated data to be preprocessed at the source and then transmitted to an edge server. In such cases, transmission time and preprocessing time are coupled, yielding a tradeoff between them to achieve the targeted objective. This paper presents analysis of such a system with the objective of optimizing freshness of received data at the edge server. We model this system as two queues in tandem whose service times are independent over time but the transmission service time is monotonically dependent on the computation service time in mean value. This dependence captures the natural decrease in transmission time due to lower offloaded computation. We analyze various queue management schemes in this tandem queue where the first queue has a single server, Poisson packet arrivals, general independent service and no extra buffer to save incoming status update packets. The second queue has a single server receiving packets from the first queue and service is memoryless. We consider the second queue in two forms: (i) No data buffer and (ii) One unit data buffer and last come first serve with discarding. We analyze various non-preemptive as well as preemptive cases. We perform stationary distribution analysis and obtain closed form expressions for average age of information (AoI) and average peak AoI. Our numerical results illustrate analytical findings on how computation and transmission times could be traded off to optimize AoI and reveal a consequent tradeoff between average AoI and average peak AoI.

cs.IT

Active Status Update Packet Drop Control in an Energy Harvesting Node

This paper considers an energy harvesting sensor node with battery size $B_{max}$ that recharges its battery through an incremental energy harvesting process and receives updates from a single information source in slotted time. The node actively decides to power down (OFF) or up (ON) the communication circuitry for a portion of its operation time in order to maintain energy efficiency. Update packets arriving in ON (OFF) periods are received (discarded). A deterministic energy cost per time is paid during ON periods. The power down decision can be in partial or full nature, yielding various options for deciding ON-OFF intervals. We develop age-threshold based power ON-OFF schemes to minimize age of information at the node subject to energy harvesting constraints with partial and full power down options for $B_{max}=1$ and $B_{max}=\infty$ cases.

cs.IT

Relative Age of Information: A New Metric for Status Update Systems

In this paper, we introduce a new data freshness metric, relative Age of Information (rAoI), and examine it in a single server system with various packet management schemes. The (classical) AoI metric was introduced to measure the staleness of status updates at the receiving end with respect to their generation at the source. This metric addresses systems where the timings of update generation at the source are absolute and can be designed separately or jointly with the transmission schedules. In many decentralized applications, transmission schedules are blind to update generation timing, and the transmitter can know the timing of an update packet only after it arrives. As such, an update becomes stale after a new one arrives. The rAoI metric measures how fresh the data is at the receiver with respect to the data at the transmitter. It introduces a particularly explicit dependence on the arrival process in the evaluation of age. We investigate several queuing disciplines and provide closed form expressions for rAoI and numerical comparisons.

cs.IT

Trading Off Computation with Transmission in Status Update Systems

This paper is motivated by emerging edge computing applications in which generated data are pre-processed at the source and then transmitted to an edge server. In such a scenario, there is typically a tradeoff between the amount of pre-processing and the amount of data to be transmitted. We model such a system by considering two non-preemptive queues in tandem whose service times are independent over time but the transmission service time is dependent on the computation service time in mean value. The first queue is in M/GI/1/1 form with a single server, memoryless exponential arrivals, general independent service and no extra buffer to save incoming status update packets. The second queue is in GI/M/1/2* form with a single server receiving packets from the first queue, memoryless service and a single data buffer to save incoming packets. Additionally, mean service times of the first and second queues are dependent through a deterministic monotonic function. We perform stationary distribution analysis in this system and obtain closed form expressions for average age of information (AoI) and average peak AoI. Our numerical results illustrate the analytical findings and highlight the tradeoff between average AoI and average peak AoI generated by the tandem nature of the queueing system with dependent service times.

cs.IT

Waiting before Serving: A Companion to Packet Management in Status Update Systems

In this paper, we explore the potential of server waiting before packet transmission in improving the Age of Information (AoI) in status update systems. We consider a non-preemptive queue with Poisson arrivals and independent general service distribution and we incorporate waiting before serving in two packet management schemes: M/GI/1/1 and M/GI/1/$2^*$. In M/GI/1/1 scheme, the server waits for a deterministic time immediately after a packet enters the server. In M/GI/1/$2^*$ scheme, depending on idle or busy system state, the server waits for a deterministic time before starting service of the packet. In both cases, if a potential newer arrival is captured existing packet is discarded. Different from most existing works, we analyze AoI evolution by indexing the incoming packets, which is enabled by an alternative method of partitioning the area under the evolution of instantaneous AoI to calculate its time average. We obtain expressions for average and average peak AoI for both queueing disciplines with waiting. Our numerical results demonstrate that waiting before service can bring significant improvement in average age, particularly, for heavy-tailed service distributions. This improvement comes at the expense of an increase in average peak AoI. We highlight the trade-off between average and average peak AoI generated by waiting before serving.

cs.IT

Optimizing Robustness against Cascading Failures under Max-Load Targeted Attack

Motivated by reliability of networks in critical infrastructures, we consider optimal robustness of a class of flow networks against a \textit{targeted} attack, namely max-load targeted attack, that triggers cascading failures due to removal of largest load carrying portion of lines. The setup involves a network of $N$ lines with initial loads $L_1, \ldots, L_N$, drawn from independent and identical uniform distribution, and free-spaces or redundancies $S_1, \ldots, S_N$ to be allocated. In the failure propagation mechanism, a line fails initially due to attack and later due to overloading. The load that was carried at the moment of failing gets redistributed equally among all remaining lines in the system. We analyze robustness of this network against the max-load targeted attack that removes the largest load carrying $p$-fraction of the lines from the system. The system designer allocates $S_i$ as a stochastic function of the load in each line. Assuming an average available resource budget, we show that allocating all lines the free-spaces equally among nodes is optimal under some regulatory assumptions. We provide numerical results verifying that equal free-space allocation to all lines perform optimally in more general targeted attack scenarios.

physics.soc-ph

Robustness of flow networks against cascading failures under partial load redistribution

We study the robustness of flow networks against cascading failures under a partial load redistribution model. In particular, we consider a flow network of $N$ lines with initial loads $L_1, \ldots, L_N$ and free-spaces (i.e., redundant space) $S_1, \ldots, S_N$ that are independent and identically distributed with joint distribution $P_{LS}(x,y)=\mathbb{P}(L \leq x, S \leq y)$. The capacity $C_i$ is the maximum load allowed on line $i$, and is given by $C_i=L_i + S_i$. When a line fails due to overloading, it is removed from the system and $(1-\varepsilon)$-fraction of the load it was carrying (at the moment of failing) gets redistributed equally among all remaining lines in the system; hence we refer to this as the {\it partial} load redistribution model. The rest (i.e., $\varepsilon$-fraction) of the load is assumed to be lost or absorbed, e.g., due to advanced circuitry disconnecting overloaded power lines or an inter-connected network/material absorbing a fraction of the flow from overloaded lines. We analyze the robustness of this flow network against random attacks that remove a $p$-fraction of the lines. Our contributions include (i) deriving the final fraction of alive lines $n_{\infty}(p,\varepsilon)$ for all $p, \varepsilon \in (0,1)$ and confirming the results via extensive simulations; (ii) showing that partial redistribution might lead to (depending on the parameter $0<\varepsilon \leq 1$) the order of transition at the critical attack size $p^{*}$ changing from first to second-order; and (iii) proving analytically that flow networks achieve maximum robustness (quantified by the area $\int_{0}^{1} n_{\infty}(p,\varepsilon) \mathrm{d}p$) when all lines have the same free-space regardless of their initial load. The optimality of equal free-space allocation is also confirmed on real-world data from the UK National Power Grid.

physics.soc-ph

Sending Information Through Status Updates

We consider an energy harvesting transmitter sending status updates regarding a physical phenomenon it observes to a receiver. Different from the existing literature, we consider a scenario where the status updates carry information about an independent message. The transmitter encodes this message into the timings of the status updates. The receiver needs to extract this encoded information, as well as update the status of the observed phenomenon. The timings of the status updates, therefore, determine both the age of information (AoI) and the message rate (rate). We study the tradeoff between the achievable message rate and the achievable average AoI. We propose several achievable schemes and compare their rate-AoI performances.

cs.IT

A Bernoulli-Gaussian Physical Watermark for Detecting Integrity Attacks in Control Systems

We examine the merit of Bernoulli packet drops in actively detecting integrity attacks on control systems. The aim is to detect an adversary who delivers fake sensor measurements to a system operator in order to conceal their effect on the plant. Physical watermarks, or noisy additive Gaussian inputs, have been previously used to detect several classes of integrity attacks in control systems. In this paper, we consider the analysis and design of Gaussian physical watermarks in the presence of packet drops at the control input. On one hand, this enables analysis in a more general network setting. On the other hand, we observe that in certain cases, Bernoulli packet drops can improve detection performance relative to a purely Gaussian watermark. This motivates the joint design of a Bernoulli-Gaussian watermark which incorporates both an additive Gaussian input and a Bernoulli drop process. We characterize the effect of such a watermark on system performance as well as attack detectability in two separate design scenarios. Here, we consider a correlation detector for attack recognition. We then propose efficiently solvable optimization problems to intelligently select parameters of the Gaussian input and the Bernoulli drop process while addressing security and performance trade-offs. Finally, we provide numerical results which illustrate that a watermark with packet drops can indeed outperform a Gaussian watermark.

eess.SY

Energy Harvesting Communications under Explicit and Implicit Temperature Constraints

We consider an energy harvesting communication system where the temperature dynamics is governed by the transmission power policy. Different from the previous work, we consider a discrete time system where transmission power is kept constant in each slot. We consider two models that capture different effects of temperature. In the first model, the temperature is constrained to be below a critical temperature at all time instants; we coin this model as explicit temperature constrained model. We investigate throughput optimal power allocation for multiple energy arrivals under general, as well as temperature and energy limited regimes. We show that the optimal power allocation for the temperature limited case is monotone decreasing. In the second model, we consider the effect of the temperature on the channel quality via its influence on additive noise power; we coin this model as implicit temperature constrained model. In this model, the change in the variance of the additive noise due to previous transmissions is non-negligible. In particular, transmitted signals contribute as interference for all subsequent slots and thus affect the signal to interference plus noise ratio (SINR). In this case, we investigate throughput optimal power allocation under general, as well as low and high SINR regimes. We show in the low SINR regime that the optimal allocation dictates the transmitter to save its harvested energy till the last slot. In the high SINR regime, we show that the optimal power sequence is monotone increasing. Finally, we consider the case in which implicit and explicit temperature constraints are simultaneously active and we show under certain conditions that the optimal power sequence is monotone decreasing.

cs.IT

Optimal Energy and Data Routing in Networks with Energy Cooperation

We consider the delay minimization problem in an energy harvesting communication network with energy cooperation. In this network, nodes harvest energy from nature for use in data transmission, and may transfer a portion of their harvested energies to neighboring nodes through energy cooperation. For fixed data and energy routing topologies, we determine the optimum data rates, transmit powers and energy transfers, subject to flow and energy conservation constraints, in order to minimize the network delay. We start with a simplified problem with fixed data flows and optimize energy management at each node for the case of a single energy harvest per node. This is tantamount to distributing each node's available energy over its outgoing data links and energy transfers to neighboring nodes. For this case, with no energy cooperation, we show that each node should allocate more power to links with more noise and/or more data flow. In addition, when there is energy cooperation, our numerical results indicate that, energy is routed from nodes with lower data loads to nodes with higher data loads. We extend this setting to the case of multiple energy harvests per node over time. In this case, we optimize each node's energy management over its outgoing data links and its energy transfers to neighboring nodes, over multiple time slots. For this case, with no energy cooperation, we show that, for any given node, the sum of powers on the outgoing links is equal to the single-link optimal power over time. Finally, we consider the problem of joint flow control and energy management for the entire network. We determine the necessary conditions for joint optimality of a power control, energy transfer and routing policy. We provide an iterative algorithm that updates the data and energy flows, and power distribution over outgoing data links. We show convergence to a Pareto-optimal operating point.

cs.IT

Energy Harvesting Transmitters that Heat Up: Throughput Maximization under Temperature Constraints

Motivated by damage due to heating in sensor operation, we consider the throughput optimal offline data scheduling problem in an energy harvesting transmitter such that the resulting temperature increase remains below a critical level. We model the temperature dynamics of the transmitter as a linear system and determine the optimal transmit power policy under such temperature constraints as well as energy harvesting constraints over an AWGN channel. We first derive the structural properties of the solution for the general case with multiple energy arrivals. We show that the optimal power policy is piecewise monotone decreasing with possible jumps at the energy harvesting instants. We derive analytical expressions for the optimal solution in the single energy arrival case. We show that, in the single energy arrival case, the optimal power is monotone decreasing, the resulting temperature is monotone increasing, and both remain constant after the temperature hits the critical level. We then generalize the solution for the multiple energy arrival case.

cs.IT

The Binary Energy Harvesting Channel with a Unit-Sized Battery

We consider a binary energy harvesting communication channel with a finite-sized battery at the transmitter. In this model, the channel input is constrained by the available energy at each channel use, which is driven by an external energy harvesting process, the size of the battery, and the previous channel inputs. We consider an abstraction where energy is harvested in binary units and stored in a battery with the capacity of a single unit, and the channel inputs are binary. Viewing the available energy in the battery as a state, this is a state-dependent channel with input-dependent states, memory in the states, and causal state information available at the transmitter only. We find an equivalent representation for this channel based on the timings of the symbols, and determine the capacity of the resulting equivalent timing channel via an auxiliary random variable. We give achievable rates based on certain selections of this auxiliary random variable which resemble lattice coding for the timing channel. We develop upper bounds for the capacity by using a genie-aided method, and also by quantifying the leakage of the state information to the receiver. We show that the proposed achievable rates are asymptotically capacity achieving for small energy harvesting rates. We extend the results to the case of ternary channel inputs. Our achievable rates give the capacity of the binary channel within 0.03 bits/channel use, the ternary channel within 0.05 bits/channel use, and outperform basic Shannon strategies that only consider instantaneous battery states, for all parameter values.

cs.IT