Abstract
Manufacturing environments require a real-time adaptation and optimization method to dynamically and intelligently maintain the current scheduling plan feasible. This way, the organization keeps clients satisfied and achieves its objectives (costs are minimized and profits maximized). This paper proposes an optimization approach - Selection Constructive based Hyper-heuristic for Dynamic Scheduling - to deal with these dynamic events, with the main goal of maintaining the current scheduling plan feasible and robust as possible. The development of this dynamic adaptation approach is inspired on evolutionary computation and hyper-heuristics. Our empirical results show that a selection constructive hyper-heuristic could be advantageous on solving dynamic adaptation optimization problems.

Abstract
In this study, a home energy management system structure is developed in order to determine the optimal commitment of a smart-household. Two types of loads are explicitly modeled: non-thermostatically controllable (electric vehicle, shiftable appliances) and thermostatically controllable loads (air conditioner, electric water heater). Furthermore, small-scale self-production is considered by means of a photovoltaic system. A test case using realistic data is presented in order to investigate the combined effect of the aforementioned assets under real-time pricing demand response.

Abstract

Abstract
Many combinatorial optimization problems (COPs) encountered in real-world logistics, transportation, production, healthcare, financial, telecommunication, and computing applications are NP-hard in nature. These real-life COPs are frequently characterized by their large-scale sizes and the need for obtaining high-quality solutions in short computing times, thus requiring the use of metaheuristic algorithms. Meta-heuristics benefit from different random-search and parallelization paradigms, but they frequently assume that the problem inputs, the underlying objective function, and the set of optimization constraints are deterministic. However, uncertainty is all around us, which often makes deterministic models oversimplified versions of real-life systems. After completing an extensive review of related work, this paper describes a general methodology that allows for extending metaheuristics through simulation to solve stochastic COPs. 'Simheuristics' allow modelers for dealing with real-life uncertainty in a natural way by integrating simulation (in any of its variants) into a metaheuristic-driven framework. These optimization-driven algorithms rely on the fact that efficient metaheuristics already exist for the deterministic version of the corresponding COP. Simheuristics also facilitate the introduction of risk and/or reliability analysis criteria during the assessment of alternative high-quality solutions to stochastic COPs. Several examples of applications in different fields illustrate the potential of the proposed methodology. (c) 2015 The Authors. Published by Elsevier Ltd.

Abstract
Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier 'hybrid(ised)' refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems.

Abstract
Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.