Communication and Coordination in Wireless Sensor and Actor Networks

Abstract

Abstract-In this paper, coordination and communication problems in Wireless Sensor and Actor Networks (WSANs) are jointly addressed in a unifying framework. A sensor-actor coordination model is proposed based on an event-driven partitioning paradigm. Sensors are partitioned into different sets, and each set is constituted by a data-delivery tree associated with a different actor. The optimal solution for the partitioning strategy is determined by mathematical programming, and a distributed solution is proposed. In addition, a new model for the actor-actor coordination problem is introduced. The actor coordination is formulated as a task assignment optimization problem for a class of coordination problems in which the area to be acted upon needs to be optimally split among different actors. An auction-based distributed solution of the problem is also presented. Performance evaluation shows how global network objectives, such as compliance with real-time constraints and minimum energy consumption, can be achieved in the proposed framework with simple interactions between sensors and actors that are suitable for large-scale networks of energyconstrained devices.

Handling Mobility in Wireless Sensor and Actor Networks

“…The concepts of sensor-actor coordination and actor-actor coordination were introduced, and centralized optimal solutions and distributed heuristics were proposed. However, many challenging applications require support for mobile actors, which is not provided in [8]. Hence, in this paper, we extend our previous work in several directions.…”

“…In line with recent work on routing algorithms for sensor networks [8], [11], [12], [19], we study the sensor-actor coordination based on a geographical routing paradigm. Geographical routing algorithms are attractive especially for their scalability since routing decisions are inherently localized [19].…”

“…In [8], we proposed a new notion of reliability that accounts for the percentage of packets generated by the sensors in the event area that are received within a predefined latency bound. The event reliability r perceived by an actor is the ratio of reliable data packets over all the packets received in a decision interval, where a packet is considered reliable if it is received within a given latency bound.…”

“…In our prior work on WSANs [8], we introduced a framework for communication and coordination problems with static WSANs. The concepts of sensor-actor coordination and actor-actor coordination were introduced, and centralized optimal solutions and distributed heuristics were proposed.…”

Integration of Automatic Theorem Provers in Event-B Patterns

“…The Rodin platform is an open and extensible tool for Event-B specification and verification [3,18]. It contains a database of modeling elements used for constructing system models such as …”