Mobility control via passports

International audienceDpi is a simple distributed extension of the pi-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this paper we introduce passports to control those migrations; in order to gain access to a location agents are now expected to show some credentials, granted by the destination location. Passports are tied to specific locations, from which migration is permitted. We describe a type system for these passports, which includes a novel use of dependent types, and prove that well-typing enforces the desired behaviour in migrating processes. Passports allow locations to control incoming processes. This induces a major modification to the possible observations which can be made of agent-based systems. Using the type system we describe these observations, and use them to build a loyal notion of observational equivalence for this setting. Finally we provide a complete proof technique in the form of a bisimilarity for establishing equivalences between systems

MOBILITY CONTROL IN WIRELESS SENSOR NETWORK

Wireless sensor networks (WSNs) have become one of the most important topics in wireless communication during the last decade. WSNs integrates many different technologies such as in hardware, software, data fusion, and applications. Hence, WSNs has received recently special research activities. WSNs have so many applications in different areas such as health-care systems, monitoring and control systems, rescue systems, and military applications. Since WSNs are usually deployed with large numbers of nodes in wide areas, they should be reliable, inexpensive, with very low power consumption, and with high redundancy to preserve the life-time of the whole network. In this M.Sc. thesis we consider one extremely important research topic in WSNs which is the mobility control. The mobility control is analyzed theoretically as well as with extensive simulations. In the simulation scenarios, static sensor nodes are first randomly deployed to the decided area. Then a reference trajectory for the mobile node is created based on the observed point phenomena, and the network guides the mobile node to move along the trajectory. A simulation platform called PiccSIM is used to simulate the scenarios. It is developed by the Communication and Control Engineering Groups at Helsinki University of Technology (TKK). The obtained results from these simulations are discussed and analyzed. This work opens the doors for more real applications in this area in the nearby future.fi=Opinnäytetyö kokotekstinä PDF-muodossa.|en=Thesis fulltext in PDF format.|sv=Lärdomsprov tillgängligt som fulltext i PDF-format

Exploiting Map Topology Knowledge for Context-predictive Multi-interface Car-to-cloud Communication

While the automotive industry is currently facing a contest among different communication technologies and paradigms about predominance in the connected vehicles sector, the diversity of the various application requirements makes it unlikely that a single technology will be able to fulfill all given demands. Instead, the joint usage of multiple communication technologies seems to be a promising candidate that allows benefiting from characteristical strengths (e.g., using low latency direct communication for safety-related messaging). Consequently, dynamic network interface selection has become a field of scientific interest. In this paper, we present a cross-layer approach for context-aware transmission of vehicular sensor data that exploits mobility control knowledge for scheduling the transmission time with respect to the anticipated channel conditions for the corresponding communication technology. The proposed multi-interface transmission scheme is evaluated in a comprehensive simulation study, where it is able to achieve significant improvements in data rate and reliability

Investigation into Wheelchair Mobility Control that Uses a Minimally Invasive Intra-Oral Palate Control Device utilising Resistopalatography Techniques

Interfacing with conventional wheelchair input devices is a major challenge when it comes to patients with high levels of disability. This paper intends to report on the new method of wheelchair mobility interfacing using Resistopalatog- raphy. The technique proposed here is based around utilising the tongue as the controlling muscle group to input desired movement into a force sensitive sensing dental retainer. Using the position of the force, and force applied a direction and speed metric can be calculated emulating conventional joystick output data. The resistopalatography technique has been applied to other Human Machine Interfacing areas with success [1]