Dynamic adaptation of interaction models for stateful web services

Dissertação para obtenção do Grau de Mestre em Engenharia InformáticaWireless Sensor Networks (WSNs) are accepted as one of the fundamental technologies for current and future science in all domains, where WSNs formed from either static or mobile sensor devices allow a low cost high-resolution sensing of the environment. Such opens the possibility of developing new kinds of crucial applications or providing more accurate data to more traditional ones. For instance, examples may range from large-scale WSNs deployed on oceans contributing to weather prediction simulations; to high number of diverse Sensor devices deployed over a geographical area at different heights from the ground for collecting more accurate data for cyclic wildfire spread simulations; or to networks of mobile phone devices contributing to urban traffic management via Participatory Sensing applications. In order to simplify data access, network parameterisation, and WSNs aggregation, WSNs have been integrated in Web environments, namely through high level standard interfaces like Web services. However, the typical interface access usually supports a restricted number of interaction models and the available mechanisms for their run-time adaptation are still scarce. Nevertheless, applications demand a richer and more flexible control on interface accesses – e.g. such accesses may depend on contextual information and, consequently, may evolve in time. Additionally, Web services have become increasingly popular in the latest years, and their usage led to the need of aggregating and coordinating them and also to represent state in between Web services invocations. Current standard composition languages for Web services (wsbpel,wsci,bpml) deal with the traditional forms of service aggregation and coordination, while WS-Resource framework (wsrf) deals with accessing services pertaining state concerns (relating both executing applications and the runtime environment). Subjacent to the notion of service coordination is the need to capture dependencies among them (through the workflow concept, for instance), reuse common interaction models, e.g. embodied in common behavioural Patterns like Client/Server, Publish/- Subscriber, Stream, and respond to dynamic events in the system (novel user requests, service failures, etc.). Dynamic adaptation, in particular, is a pressing requirement for current service-based systems due to the increasing trend on XaaS ("everything as a service") which promises to reduce costs on application development and infrastructure support, as is already apparent in the Cloud computing domain. Therefore, the self-adaptive (or dynamic/adaptive) systems present themselves as a solution to the above concerns. However, since they comprise a vast area, this thesis only focus on self-adaptive software. Concretely, we propose a novel model for dynamic interactions, in particular with Stateful Web Services, i.e. services interfacing continued activities. The solution consists on a middleware prototype based on pattern abstractions which may be able to provide (novel) richer interaction models and a few structured dynamic adaptation mechanisms, which are captured in the context of a "Session" abstraction. The middleware was implemented and uses a pre-existent framework supporting Web enabled access to WSNs, and some evaluation scenarios were tested in this setting. Namely, this area was chosen as the application domain that contextualizes this work as it contributes to the development of increasingly important applications needing highresolution and low cost sensing of environment. The result is a novel way to specify richer and dynamic modes of accessing and acquiring data generated by WSNs.Este trabalho foi parcialmente financiado pelo Centro de Informática e Tecnologias da Informação (CITI), e pela Fundação para a Ciência e a Tecnologia (FCT / MCTES) em projectos de investigaçã

Decentralized Control and Adaptation in Distributed Applications via Web and Semantic Web Technologies

The presented work provides an approach and an implementation for enabling decentralized control in distributed applications composed of heterogeneous components by benefiting from the interoperability provided by the Web stack and relying on semantic technologies for enabling data integration. In particular, the concept of Smart Components enables adaptability at runtime through an adaptation layer and is complemented by a reference architecture as well as a prototypical implementation

Survey on RPL enhancements: a focus on topology, security and mobility

International audienceA few years ago, the IPv6 Routing Protocol for Low-power and Lossy Networks (RPL) was proposed by IETF as the routing standard designed for classes of networks in which both nodes and their interconnects are constrained. Since then, great attention has been paid by the scientific and industrial communities for the protocol evaluation and improvement. Indeed, depending on applications scenarios, constraints related to the target environments or other requirements, many adaptations and improvements can be made. So, since the initial release of the standard, several implementations were proposed, some targeting specific optimization goals whereas others would optimize several criteria while building the routing topology. They include, but are not limited to, extending the network lifetime, maximizing throughput at the sink node, avoiding the less secured nodes, considering nodes or sink mobility. Sometimes, to consider the Quality of Service (QoS), it is necessary to consider several of those criteria at the same time. This paper reviews recent works on RPL and highlights major contributions to its improvement, especially those related to topology optimization, security and mobility. We aim to provide an insight into relevant efforts around the protocol, draw some lessons and give useful guidelines for future developments

Advances in Computer Science and Engineering

The book Advances in Computer Science and Engineering constitutes the revised selection of 23 chapters written by scientists and researchers from all over the world. The chapters cover topics in the scientific fields of Applied Computing Techniques, Innovations in Mechanical Engineering, Electrical Engineering and Applications and Advances in Applied Modeling

UAV perception for safe flight under physical interaction

Aplicat embargament des de la data de defensa fins al maig 2020The control of autonomous flying vehicles with navigation purposes is a challenging task. Complexity arises mainly due to the non-linearity and uncertainty inherently present in the flight mechanics and aircraft-air interactions. Recently, interest has grown for equipping unmanned vehicles with the capacity to interact with their environment, other vehicles or humans. This will enable interesting applications such as autonomous load carrying, aerial refueling or parcel delivering. Having measured the interaction wrenches ease the control problem which can be configured to reject disturbances or to take profit of them to fulfill mission objectives. This thesis will contribute to this area by providing perception solutions which use limited and low cost sensors that enable state and disturbance estimation for possible, but not restricted to, interaction scenarios. This thesis contain three parts. The first part, introduces basic concepts related to the navigation state, aircraft dynamics, and sensor models. In addition, the platform under study is presented and mathematical models associated to it are calibrated. The second part is devoted to the observability analysis and the design of state observers. Linear and non-linear observability analysis techniques are used to unveil that the state of quadrotors equipped with GPS, magnetometers an IMU sensors cannot be uniquely identified in some specific flight configurations. Results of this section are relevant because the conflicting flight configurations contain hover, a flight maneuverer central in many unmanned aerial missions of VtoL vehicles. For many possible singular configurations, insightful descriptions and interpretations of the solution space known as indistinguishable region is provided. Findings are verified in simulation scenarios where it can be seen how a filter fails to recover the true state of an aircraft when imposing the hover flight condition. We discuss then the design of Extended Kalman Filters for state estimation that considers the available sensors. Issues that are typically not reported in the literature, such as when to update or propagate in the estimator algorithm or which coordinate frame should be used to represent each state variable are discussed. This leads to the formulation of four potentially equivalent but different discrete event-based filters for which precise algorithmic expressions are given. We compare the results of the four filters in simulation under known favorable conditions for observability. In order to diminish the effect of flying in the conflicting observability configurations, we provide an alternative filter based on the Schmidt Kalman Filter (SKF). The proposed filter shares the structure of the EKF, behaves better in the instants that the EKF fails and provides similar results in the remaining conditions. The last part of the thesis deals with the estimation of external disturbances. Disturbance estimation results are based on the derivation of a linear model for the aircraft dynamics which then extended with a high order disturbance model to enable the estimation of fast varying disturbances. Two external disturbance estimators from the literature are reviewed and adapted to the new model. Also, two Kalman observers that exploit the linearity of the derived model are presented. A simulation comparison is provided demonstrating that the KF disturbance estimators outperform the other. In addition, this part presents a design methodology of generic quadratic bounded observers for linear systems with ellipsoidal bounded uncertainty. The derived observers maximize a user tunable compromise between the estimation convergence speed and the final volume containing the estimation error. An observer for disturbances acting on a flying platform is derived considering the high order disturbance model above mentioned. Finally, an analysis of the estimation performance with respect to the design parameters is presented.Esta tesis, contribuye en este área formulando soluciones de percepción que permiten la estimación del estado y perturbaciones externas en condiciones normales de vuelos así como casos de interacción para UAVs equipados con sensores limitados y de bajo coste. La tesis se estructura en tres partes. La primera de ellas introduce los conceptos básicos relacionados con el estado de navegación, la dinámica de la aeronave y modelos de sensores. Además, se presenta la plataforma de estudio así como los modelos matemáticos asociados a ella y su calibración. La segunda parte está destinada al análisis de observabilidad y el diseño de observadores de estado. Los resultados de esta sección son importantes porque dentro de las condiciones de vuelo conflictivas se encuentra el vuelo a punto fijo, una maniobra de vuelo central en muchas misiones de vehículos VToL. Se analizan estas condiciones críticas de vuelo y para ellas se deriva y describe el espacio de soluciones posible conocido como región indistinguible. Los resultados son verificados en simulación dónde se puede apreciar como un estimador de estado falla al intentar realizar su tarea cuando la aeronave está en vuelo a punto fijo. Seguidamente se presenta el diseño de filtros extendidos de Kalman (EKF) que proveen estimaciones del estado con la información limitada de los sensores disponibles. Se discuten conceptos que habitualmente no se presentan en la literatura como cuando actualizar o propagar en el algoritmo de estimación o que sistema de referencia se debe utilizar para representar adecuadamente las variables de estado. Esto lleva a la formulación algorítmica de cuatro filtros discretos basados en eventos, diferentes, pero en esencia equivalentes. Se derivan rutinas de inicialización para los filtros y se comparan los resultados en simulación bajo condiciones favorables de estimación. Con la idea de disminuir el efecto de volar en configuraciones de observabilidad conflictivas, se deriva un filtro alternativo basado en el filtro de Schmidt Kalman (SKF). El filtro propuesto comparte estructura con el EKF, tiene un mejor comportamiento allí dónde le EKF falla y una respuesta similar en el resto de condiciones de vuelo. La última parte de la tesis trata con la estimación de perturbaciones externas. Para ello se deriva un modelo lineal que relaciona fuerzas y momentos con velocidades junto a un modelo de alto orden para las perturbaciones. Se estudia su aplicación a dos modelos para la estimación de perturbaciones ya presentes en la literatura. Además, se proponen dos nuevos filtros de Kalman que se aprovechan de la linealidad del modelo. Se presenta una comparativa basada en la simulación de escenarios ideales así como realistas que demuestra que los filtros KF superan al resto. Esta misma parte de la tesis presenta el diseño genérico de estimadores "quadratic bounded" para sistemas dinámicos lineales cuya incertidumbre se encuentra acotada dentro de elipsoides. Estos estimadores maximizan un compromiso, ajustable por el usuario que contempla la velocidad de convergencia así como el volumen de la solución final que contiene el error de estimación. Se deriva un observador de perturbaciones para plataformas aéreas basado en el modelo de alto orden arriba mencionado. Finalmente, se presenta un análisis del desempeño de estimación en función de los parámetros de diseño del filtro.Postprint (published version

UAV perception for safe flight under physical interaction

The control of autonomous flying vehicles with navigation purposes is a challenging task. Complexity arises mainly due to the non-linearity and uncertainty inherently present in the flight mechanics and aircraft-air interactions. Recently, interest has grown for equipping unmanned vehicles with the capacity to interact with their environment, other vehicles or humans. This will enable interesting applications such as autonomous load carrying, aerial refueling or parcel delivering. Having measured the interaction wrenches ease the control problem which can be configured to reject disturbances or to take profit of them to fulfill mission objectives. This thesis will contribute to this area by providing perception solutions which use limited and low cost sensors that enable state and disturbance estimation for possible, but not restricted to, interaction scenarios. This thesis contain three parts. The first part, introduces basic concepts related to the navigation state, aircraft dynamics, and sensor models. In addition, the platform under study is presented and mathematical models associated to it are calibrated. The second part is devoted to the observability analysis and the design of state observers. Linear and non-linear observability analysis techniques are used to unveil that the state of quadrotors equipped with GPS, magnetometers an IMU sensors cannot be uniquely identified in some specific flight configurations. Results of this section are relevant because the conflicting flight configurations contain hover, a flight maneuverer central in many unmanned aerial missions of VtoL vehicles. For many possible singular configurations, insightful descriptions and interpretations of the solution space known as indistinguishable region is provided. Findings are verified in simulation scenarios where it can be seen how a filter fails to recover the true state of an aircraft when imposing the hover flight condition. We discuss then the design of Extended Kalman Filters for state estimation that considers the available sensors. Issues that are typically not reported in the literature, such as when to update or propagate in the estimator algorithm or which coordinate frame should be used to represent each state variable are discussed. This leads to the formulation of four potentially equivalent but different discrete event-based filters for which precise algorithmic expressions are given. We compare the results of the four filters in simulation under known favorable conditions for observability. In order to diminish the effect of flying in the conflicting observability configurations, we provide an alternative filter based on the Schmidt Kalman Filter (SKF). The proposed filter shares the structure of the EKF, behaves better in the instants that the EKF fails and provides similar results in the remaining conditions. The last part of the thesis deals with the estimation of external disturbances. Disturbance estimation results are based on the derivation of a linear model for the aircraft dynamics which then extended with a high order disturbance model to enable the estimation of fast varying disturbances. Two external disturbance estimators from the literature are reviewed and adapted to the new model. Also, two Kalman observers that exploit the linearity of the derived model are presented. A simulation comparison is provided demonstrating that the KF disturbance estimators outperform the other. In addition, this part presents a design methodology of generic quadratic bounded observers for linear systems with ellipsoidal bounded uncertainty. The derived observers maximize a user tunable compromise between the estimation convergence speed and the final volume containing the estimation error. An observer for disturbances acting on a flying platform is derived considering the high order disturbance model above mentioned. Finally, an analysis of the estimation performance with respect to the design parameters is presented.Esta tesis, contribuye en este área formulando soluciones de percepción que permiten la estimación del estado y perturbaciones externas en condiciones normales de vuelos así como casos de interacción para UAVs equipados con sensores limitados y de bajo coste. La tesis se estructura en tres partes. La primera de ellas introduce los conceptos básicos relacionados con el estado de navegación, la dinámica de la aeronave y modelos de sensores. Además, se presenta la plataforma de estudio así como los modelos matemáticos asociados a ella y su calibración. La segunda parte está destinada al análisis de observabilidad y el diseño de observadores de estado. Los resultados de esta sección son importantes porque dentro de las condiciones de vuelo conflictivas se encuentra el vuelo a punto fijo, una maniobra de vuelo central en muchas misiones de vehículos VToL. Se analizan estas condiciones críticas de vuelo y para ellas se deriva y describe el espacio de soluciones posible conocido como región indistinguible. Los resultados son verificados en simulación dónde se puede apreciar como un estimador de estado falla al intentar realizar su tarea cuando la aeronave está en vuelo a punto fijo. Seguidamente se presenta el diseño de filtros extendidos de Kalman (EKF) que proveen estimaciones del estado con la información limitada de los sensores disponibles. Se discuten conceptos que habitualmente no se presentan en la literatura como cuando actualizar o propagar en el algoritmo de estimación o que sistema de referencia se debe utilizar para representar adecuadamente las variables de estado. Esto lleva a la formulación algorítmica de cuatro filtros discretos basados en eventos, diferentes, pero en esencia equivalentes. Se derivan rutinas de inicialización para los filtros y se comparan los resultados en simulación bajo condiciones favorables de estimación. Con la idea de disminuir el efecto de volar en configuraciones de observabilidad conflictivas, se deriva un filtro alternativo basado en el filtro de Schmidt Kalman (SKF). El filtro propuesto comparte estructura con el EKF, tiene un mejor comportamiento allí dónde le EKF falla y una respuesta similar en el resto de condiciones de vuelo. La última parte de la tesis trata con la estimación de perturbaciones externas. Para ello se deriva un modelo lineal que relaciona fuerzas y momentos con velocidades junto a un modelo de alto orden para las perturbaciones. Se estudia su aplicación a dos modelos para la estimación de perturbaciones ya presentes en la literatura. Además, se proponen dos nuevos filtros de Kalman que se aprovechan de la linealidad del modelo. Se presenta una comparativa basada en la simulación de escenarios ideales así como realistas que demuestra que los filtros KF superan al resto. Esta misma parte de la tesis presenta el diseño genérico de estimadores "quadratic bounded" para sistemas dinámicos lineales cuya incertidumbre se encuentra acotada dentro de elipsoides. Estos estimadores maximizan un compromiso, ajustable por el usuario que contempla la velocidad de convergencia así como el volumen de la solución final que contiene el error de estimación. Se deriva un observador de perturbaciones para plataformas aéreas basado en el modelo de alto orden arriba mencionado. Finalmente, se presenta un análisis del desempeño de estimación en función de los parámetros de diseño del filtro

State-of-the-Art Sensors Technology in Spain 2015: Volume 1

This book provides a comprehensive overview of state-of-the-art sensors technology in specific leading areas. Industrial researchers, engineers and professionals can find information on the most advanced technologies and developments, together with data processing. Further research covers specific devices and technologies that capture and distribute data to be processed by applying dedicated techniques or procedures, which is where sensors play the most important role. The book provides insights and solutions for different problems covering a broad spectrum of possibilities, thanks to a set of applications and solutions based on sensory technologies. Topics include: • Signal analysis for spectral power • 3D precise measurements • Electromagnetic propagation • Drugs detection • e-health environments based on social sensor networks • Robots in wireless environments, navigation, teleoperation, object grasping, demining • Wireless sensor networks • Industrial IoT • Insights in smart cities • Voice recognition • FPGA interfaces • Flight mill device for measurements on insects • Optical systems: UV, LEDs, lasers, fiber optics • Machine vision • Power dissipation • Liquid level in fuel tanks • Parabolic solar tracker • Force sensors • Control for a twin roto