Abstract
This editorial introduces the special issue of Interacting with Computer on Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. This special issue was proposed to gather the best contributions from a series of workshops organized alongside conferences such as FM'19 (3rd World Congress on Formal Methods) and EICS'19 (11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems). It also encompasses papers submitted directly to this special issue.

Abstract

Abstract
In recent years, autonomous underwater vehicles (AUVs) have gained prominence in the most varied fields of application of underwater missions. The most common solution for recharging their batteries still implies removing them from the water, which is exceptionally costly. The use of Inductive Power Transfer (IPT) technologies allows to mitigate the associated costs and to extend the vehicles' operation time. In consequence, a prototype has been developed, whose objective is to integrate commercially available IPT technologies, while allowing the employment by most of the AUVs. The prototype is a funnel structure and its counterpart aimed to be fixed to a docking station and the AUV respectively. When coupled, it enables the batteries to recharge by electromagnetic induction. Energy transmission has been tested, resulting in encouraging results. This particular solution achieved over 90% efficiency during underwater experiments. The next objective will be to develop a commercial version of the prototype, that allows a direct, practical and effective use of wireless charging technologies within this particular scenario.

Abstract

Abstract

Abstract