Abstract
The electricity market sector has suffered massive changes in the last few decades. The worldwide electricity market restructuring has been conducted to potentiate the increase in competitiveness and thus decrease electricity prices. However, the complexity in this sector has grown significantly as well, with the emergence of several new types of players, interacting in a constantly changing environment. Several electricity market simulators have been introduced in recent years with the purpose of supporting operators, regulators, and the involved players in understanding and dealing with this complex environment. This paper presents a new, enhanced version of MASCEM (Multi-Agent System for Competitive Electricity Markets), an electricity market simulator with over ten years of existence, which had to be restructured in order to be able to face the highly demanding requirements that the decision support in this field requires. This restructuring optimizes the performance of MASCEM, both in results and execution time.

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
This paper focuses on the design of high quality spiral resonators for maximising wireless power transfer efficiency between an AUV and an underwater docking station. By using 3D electromagnetic simulations and numerical analysis, the relevant parameters for quality factor computation are extracted. The impact of different variables on a spiral resonator's quality factor is assessed, allowing to conclude on the optimum design parameters to achieve optimum efficiency on the power transmission through magnetic coupling. This work will contribute to enable the development future AUV wireless charging systems, which will allow for an improvement of AUV's range and endurance while ensuring lower operational costs. © 2016 IEEE.

Abstract
This paper presents a proposal for the use of the Hybrid Fuzzy Inference System algorithm (HyFIS) as solar intensity forecast mechanism. Fuzzy Inference Systems (FIS) are used to solve regression problems in various contexts. The HyFIS is a method based on FIS with the particular advantage of combining fuzzy concepts with Artificial Neural Networks (ANN), thus optimizing the learning process. This algorithm is part of several other FIS algorithms implemented in the Fuzzy Rule-Based Systems (FRBS) package of R. The ANN algorithms and Support Vector Machine (SVM), both widely used for solving regression problems, are also used in this study to allow the comparison of results. Results show that HyFIS presents higher performance when compared to the ANN and SVM, when applied to real data of Florianopolis, Brazil, which helps to reinforce the potential of this algorithm in solving the solar intensity forecasting problems.