Most recent measurement work in wireless networks has found that the concept of link abstraction does not hold for a wireless link. Research work has thus focussed on working around the absence of a link abstraction by doing intelligent things at the higher layers. Our measurement work in this thesis, has focussed on studying the feasibility and usefulness of a link abstraction especially in th...

In this article, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, provide a compositional framework construction of abstractions systems and bottom-up scheme. particular, propose notion approximate composition which makes it possible to compute an abstraction global system from (possibly different types) ...

In many sensor network applications, the network is deployed to approximate a physical space. The network itself is not of interest: rather, we are interested in measuring the properties of the space it fills, and of establishing control over the behavior of that space. Consider, for example, deploying a network of devices to manage a large farm. The tasks to be carried out by the devices—irrig...

this paper presents a hybrid technique for image enhancement with ability of de-noising it integrates two different processing aspects into one. The proposed algorithm uses the image abstraction technique for detecting the information density in different parts of image then accordingly operates the smoothing filter and after filtering the information’s of edges are recombined with the filtered...

To support the increasing number of sensor devices with various characteristics and requirements, sensor network operating systems should provide an appropriate device driver model that can cover a wide range of device types. Unfortunately, current sensor network operating systems force the user to build complex drivers for even simple devices, provide restricted interfaces, or do not provide a...

ions Abstraction is possible because most protocol architectures are layered such that one protocol makes use of another. In design or evaluation of a level-n protocol, we need information provided by level n-1 and below, but not necessarily (depending on the research questions) all the details of the lower level protocols. For instance, a multicast transport protocol may need multicast routing...

Design of distributed embedded systems is a novel challenging task and it requires to raise the level of abstraction to overcome the complexity of the design. In particular, modeling languages and custom profiles are necessary to address network specification at this level of the abstraction. In order to verify the NW design model and reach the actual implementation, model manipulation and code...