Abstract
In the domain of machines' design, one of the most important issues to solve is related with the controller's design, mainly, guaranteeing that the machine will behave as expected. In order to achieve a dependable controller, some steps can be considered, such as the formalization of its specification-before being translated to the program that will be inserted in the controller device-and the respective analysis and verification. Nowadays, some formal analysis techniques, such as formal verification, are used to achieve this purpose. The dependability of a controller, however, is impacted by its execution context. This paper proposes an approach for the formal verification of the specification of mechatronic system's controllers, which considers, on the formal verification tasks, the behavior of the plant and the behavior of the Human Machine Interface of the Mechatronic system. Some conclusions are extrapolated for other systems of the same kind.

Abstract
A fully operational multiterminal dc (MTDC) grid will play a strategic role for mainland ac systems interconnection and to integrate offshore wind farms. The importance of such infrastructure requires its compliance with fault ride through (FRT) capability in case of mainland ac faults. In order to provide FRT capability in MTDC grids, communication-free advanced control functionalities exploiting a set of local control rules at the converter stations and wind turbines are identified. The proposed control functionalities are responsible for mitigating the dc voltage rise effect resulting from the reduction of active power injection into onshore ac systems during grid faults. The proposed strategies envision a fast control of the wind turbine active power output as a function of the dc grid voltage rise and constitute alternative options in order to avoid the use of classical solutions based on the installation of chopper resistors in the MTDC grid. The feasibility and robustness of the proposed strategies are demonstrated and discussed in the paper under different circumstances.

Abstract
A micro-displacement sensing head based on two aligned cleaved fibers inserted into an optical fiber ring and interrogated by an optical time-domain reflectometry is presented. The sensor configuration is characterized for measuring both longitudinal and axial micro-displacements, showing a sensitivity of 0.07 and 2.67 dB/mu m for longitudinal and axial micro-displacements, respectively. A multiplexing system using two of these configurations is also studied.

Abstract

Abstract
The population ageing requires new approaches to optimize the available resources. In particular, it is urgent to evolve for an effective care integration, which requires toconsider aspects of people's daily lives that impact on their health conditions. Therefore, the information interoperability has an increasing importance, not only the interoperability of health related information, but also social context related information. In this paper, we propose a framework for the creation of applications for information recording, based on a generic and flexible information model, for the provision of integrated care.

Abstract