Abstract
Global economy is driving manufacturing companies into a paradigm revolution. Highly customizable products at lower prices and with higher quality are among the most imposed influence factors. To respond properly to these external and internal constraints, such as work absence and machine failures, companies must be in a constant adaptation phase. Several manufacturing control architectures have been proposed throughout the years displaying more or less success to adapt into different manufacturing situations. These architectures follow different design paradigms but recently the decentralization and distribution of the processing power into a set of cooperating and collaborative entities is becoming the trend. Despite of the effort spent, there is still the need to empower those architectures with evolutionary capabilities and self-organization mechanisms to enable the constant adaption to disturbances. This paper presents a behavioural mechanism embed in the ADACOR2 holons. A validation procedure for this mechanism is also presented and results extracted. This validation is achieved through the use of a benchmark and results are compared with classical hierarchical and heterarchical architectures as also with the ADACOR. © Springer International Publishing Switzerland 2015.

Abstract
In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system's architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in ARCHERY, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from ARCHERY specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Abstract
In the last decade, public transportation providers have focused on improving infrastructure efficiency as well as providing travellers with relevant information. Ubiquitous environments have enabled traveller information systems to collect detailed transport data and provide information. In this context, journey prediction becomes a pivotal component to anticipate and deliver relevant information to travellers. Thus, in this work, to achieve this goal, three steps were defined: (i) firstly, data from smart cards were collected from the public transport network in Porto, Portugal; (ii) secondly, four different traveller groups were defined, considering their travel patterns; (iii) finally, decision trees (J48), Naive Bayes (NB), and the Top-K algorithm (Top-K) were applied. The results show that the methods perform similarly overall, but are better suited for certain scenarios. Journey prediction varies according to several factors, including the level of past data, day of the week and mobility spatiotemporal patterns.

Abstract
In this paper a probabilistic model to solve the economic dispatch (ED) problem considering the uncertainty introduced by power sources, such as wind and solar, is presented. Assuming the forecasting error to be modeled by a beta probability distribution function (PDF), the proposed methodology presented in this paper allows the incorporation of this PDF in the optimization model, obtaining the PDF of power production of thermal and renewable generators, energy not supplied, excess of electricity, and generation cost. The results obtained from the proposed methodology are compared with those obtained from Monte Carlo Simulation (MCS) approach, observing a good agreement.

Abstract

Abstract
It is extremely difficult to simplify the relation between several body parts, which perform human motion, into one set of features. Mainly, the upper-limb is capable of a wider range of actions, going from fine manipulation to prehension and grasping. Aiming to describe its complexity, several studies have been conducted in order to better understand the upper-limb specificities. However, most of studies restrain the task to pointing, reaching, or grasping, which seems not enough to explain the wide range of tasks possible to be performed in a daily scenario.