Abstract

Abstract
Boilerplates are simplified, normative English texts, intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for reconfigurable systems, i.e., systems structured in different modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild use made of the theory of institutions, which, to a large extent, may be hidden from the working software engineer, not only provides a rigorous and generic semantics, but also paves the way to tool-supported validation.

Abstract
Increasingly, consumer demand of fashionable products is arising as significant challenge for company managers. In order to respond to this demand, companies are asked to supply small series of innovative and fashionable goods of high quality, affordable price and eco-compatibility in short periods of time and with high service levels. As a result of these rapidly evolving challenges, companies are forming collaborative networks in order to design, develop, produce and distribute such products and services in a collaboratively way. These highly integrated and dynamic supply networks depend intensively in new set of tools, methods and related services in which rely the collaborative networking operation. This paper presents a specific case study implementation of these collaborative supporting services, through the realization of a collaborative portal.

Abstract
This paper addresses the problem of joint estimation of the state and parameters for a deterministic continuous time system, with discrete time observations, in which the parameter vector is constant but its value is not known, being a random variable with a known distribution. Along time, the uncertainty in the parameter induces uncertainty in the plant state. The joint probability density function (pdf) satisfies the Liouville partial differential equation that is a limit case of the Fokker-Planck equation for vanishing diffusion. The continuous-discrete filter proposed operates as follows: Between two consecutive output sampling time instants, the pdf is propagated by solving the Liouville equation for an augmented state and is then corrected by using the last observation and Bayes law. An application to state estimation of the neuromuscular blockade of patients subject to general anesthesia, where parameter uncertainty is due to inter-patient variability, is described.

Abstract
This paper presents numerical analysis of two alternative optimization approaches intended to support an EV aggregation agent in optimizing buying bids for the day-ahead electricity market. A study with market data from the Iberian electricity market is used for comparison and validation of the forecasting and optimization performance of the global and divided optimization approaches. The results show that evaluating the forecast quality separately from its impact in the optimization results is misleading, because a forecast with a low error might result in a higher cost than a forecast with higher error. Both bidding approaches were also compared with an inflexible EV load approach where the EV are not controlled by an aggregator and start charging when they plug-in. Results show that optimized bids allow a considerable cost reduction when compared to an inflexible load approach, and the computational performance of the algorithms satisfies the requirements for operational use by a future real EV aggregation agent.

Abstract
This paper is concerned with the use of simulation as a decision support tool in maintenance systems, specifically in MFS (Maintenance Float Systems). For this purpose and due to its high complexity, in this paper the authors explore and present a way to develop a flexible MFS model, for any number of machines in the workstation, spare machines and maintenance crews, using Arena simulation language. Also in this paper, some of the most common performance measures are identified, calculated and analysed. Nevertheless this paper would concentrate on the two most important performance measures in maintenance systems: system availability and maintenance total cost. As far as these two indicators are concerned, it was then quite clear that they assumed different behaviour patterns, especially when using extreme values for periodic overhauls rates. In this respect, system availability proved to be a more sensitive parameter.