23,344 research outputs found
Asymptotic Consensus Without Self-Confidence
This paper studies asymptotic consensus in systems in which agents do not
necessarily have self-confidence, i.e., may disregard their own value during
execution of the update rule. We show that the prevalent hypothesis of
self-confidence in many convergence results can be replaced by the existence of
aperiodic cores. These are stable aperiodic subgraphs, which allow to virtually
store information about an agent's value distributedly in the network. Our
results are applicable to systems with message delays and memory loss.Comment: 13 page
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
Pervasive user-centric applications are systems which are meant to sense the
presence, mood, and intentions of users in order to optimize user comfort and
performance. Building such applications requires not only state-of-the art
techniques from artificial intelligence but also sound software engineering
methods for facilitating modular design, runtime adaptation and verification of
critical system requirements.
In this paper we focus on high-level design and analysis, and use the
algebraic rewriting language Real-Time Maude for specifying applications in a
real-time setting. We propose a generic component-based approach for modeling
pervasive user-centric systems and we show how to analyze and prove crucial
properties of the system architecture through model checking and simulation.
For proving time-dependent properties we use Metric Temporal Logic (MTL) and
present analysis algorithms for model checking two subclasses of MTL formulas:
time-bounded response and time-bounded safety MTL formulas. The underlying idea
is to extend the Real-Time Maude model with suitable clocks, to transform the
MTL formulas into LTL formulas over the extended specification, and then to use
the LTL model checker of Maude. It is shown that these analyses are sound and
complete for maximal time sampling. The approach is illustrated by a simple
adaptive advertising scenario in which an adaptive advertisement display can
react to actions of the users in front of the display.Comment: In Proceedings RTRTS 2010, arXiv:1009.398
The Bus Goes Wireless: Routing-Free Data Collection with QoS Guarantees in Sensor Networks
Abstract—We present the low-power wireless bus (LWB), a new communication paradigm for QoS-aware data collection in lowpower sensor networks. The LWB maps all communication onto network floods by using Glossy, an efficient flooding architecture for wireless sensor networks. Therefore, unlike current solutions, the LWB requires no information of the network topology, and inherently supports networks with mobile nodes and multiple data sinks. A LWB prototype implemented in Contiki guarantees bounded end-to-end communication delay and duplicate-free, inorder packet delivery—key QoS requirements in many control and mission-critical applications. Experiments on two testbeds demonstrate that the LWB prototype outperforms state-of-theart data collection and link layer protocols, in terms of reliability and energy efficiency. For instance, we measure an average radio duty cycle of 1.69 % and an overall data yield of 99.97 % in a typical data collection scenario with 85 sensor nodes on Twist. I
Delay performance in random-access grid networks
We examine the impact of torpid mixing and meta-stability issues on the delay
performance in wireless random-access networks. Focusing on regular meshes as
prototypical scenarios, we show that the mean delays in an toric
grid with normalized load are of the order . This
superlinear delay scaling is to be contrasted with the usual linear growth of
the order in conventional queueing networks. The intuitive
explanation for the poor delay characteristics is that (i) high load requires a
high activity factor, (ii) a high activity factor implies extremely slow
transitions between dominant activity states, and (iii) slow transitions cause
starvation and hence excessively long queues and delays. Our proof method
combines both renewal and conductance arguments. A critical ingredient in
quantifying the long transition times is the derivation of the communication
height of the uniformized Markov chain associated with the activity process. We
also discuss connections with Glauber dynamics, conductance and mixing times.
Our proof framework can be applied to other topologies as well, and is also
relevant for the hard-core model in statistical physics and the sampling from
independent sets using single-site update Markov chains
- …