Abstract
In this paper, a methodology to solve Unit Commitment (UC) problem from a probabilistic perspective is developed and illustrated. The method presented is based on solving the Economic Dispatch (ED) problem describing the Probability Distribution Function (PDF) of the output power of thermal generators, energy not supplied, excess of electricity, Generation Cost (GC), and Spinning Reserve (SR). The obtained ED solution is combined with Priority List (PL) method in order to solve UC problem probabilistically, giving especial attention to the probability of providing a determined amount of SR at each time step. Three case studies are analysed; the first case study explains how PDF of SR can be used as a metric to decide the amount of power that should be committed; while in the second and third case studies, two systems of 10-units and 110-units are analysed in order to evaluate the quality of the obtained solution from the proposed approach. Results are thoroughly compared to those offered by a stochastic programming approach based on mixed-integer linear programming formulation, observing a difference on GCs between 1.41% and 1.43% for the 10-units system, and between 3.75% and 4.5% for the 110-units system, depending on the chosen significance level of the probabilistic analysis.

Abstract
Dynamic hybrid control architectures are a powerful paradigm that addresses the challenges of achieving both performance optimality and operations reactivity in discrete systems. This approach presents a dynamic mechanism that changes the control solution subject to continuous environment changes. However, these changes might cause nervousness behaviour and the system might fail to reach a stabilized-state. This paper proposes a framework of a nervousness regulator that handles the nervousness behaviour based on the defined nervousness-state. An example of this regulator mechanism is applied to an emulation of a flexible manufacturing system located at the University of Valenciennes. The results show the need for a nervousness mechanism in dynamic hybrid control architectures and explore the idea of setting the regulator mechanism according to the nervousness behaviour state.

Abstract
In the last decades, dynamic logics have been used in different domains as a suitable formalism to reason about and specify a wide range of systems. On the other hand, logics with many-valued semantics are emerging as an interesting tool to handle devices and scenarios where uncertainty is a prime concern. This paper contributes towards the combination of these two aspects through the development of a method for the systematic construction of many-valued dynamic logics. Technically, the method is parameterised by an action lattice that defines both the computational paradigm and the truth space (corresponding to the underlying Kleene algebra and residuated lattices, respectively).

Abstract
The increasing penetration of renewable generation brings a significant escalation of intermittency to the power and energy system. This variability requires a new degree of flexibility from the whole system. The active participation of small and medium players becomes essential in this context. This is only possible by using adequate forecasting techniques applied both to the consumption and to generation. However, the large number of incontrollable factors, such as the presence of consumers in the building, the luminosity, or external temperature, makes the forecasting of energy consumption an arduous task. This paper addresses the electrical energy consumption forecasting problem, by studying the correlation between the solar radiation and the electrical consumption of lights. This study is performed by means of three forecasting methods, namely a multi-layer perceptron artificial neural network, a support vector regression method, and a linear regression method. The performed studies are analyzed using data gathered from a real installation - campus of the Polytechnic of Porto, in real time. © 2016 IEEE.

Abstract
Information and Communication Technologies (ICT) are part of the day to day activities of a large part of world population, however its use involves a growing generation of electronic waste (ewaste). Due to the increasing technological innovation, it occurs that in a short time, the products become obsolete and have their life cycle reduced. The article aims to present the development, verification and validation of models of computational simulation for assessment of environmental and financial impacts caused by the extension of the life cycle of personal computers (PC) through their remanufacturing. For the system modeling the System Dynamics theory was used. Results generated by the simulation model, show that the remanufacturing is a viable alternative for the reutilization of discarded computers and that it is possible, in advance, to discuss, assess and decide necessary measures for a better financial and environmental performance in the acquisition and use of ICT.

Abstract
Determining valuable data among large volumes of data is one of the main challenges in Big Data. We aim to extract knowledge from these sources using a Hierarchical Multi-Label Classification process called Semantic HMC. This process automatically learns a label hierarchy and classifies items from very large data sources. Five steps compose the Semantic HMC process: Indexation, Vectorization, Hierarchization, Resolution and Realization. The first three steps construct automatically the label hierarchy from data sources. The last two steps classify new items according to the label hierarchy. This paper focuses in the last two steps and presents a new highly scalable process to classify items from huge sets of unstructured text by using ontologies and rule-based reasoning. The process is implemented in a scalable and distributed platform to process Big Data and some results are discussed. © 2016 ACM.