Dynamic reconfiguration increases the availability of distributed applications by allowing them to evolve at run-time. This report deals with the formal specification and model-checking verification of a dynamic reconfiguration protocol used in industrial agent-based applications. Starting from a reference implementation in Java, we produced a specification of the protocol using the Formal Desc...

In this paper, we study a generalized production planning problem, that simultaneously investigates the two decisions that play critical roles in most firms, namely, production planning and order splitting and assignment. The problem takes into consideration the production time windows and capacities. We formulate the integrated problem as a linear mixed-integer program with a minimized total c...

In this study, an interval-parameter two-stage mixed integer linear programming (ITMILP) model is developed for supporting long-term planning of waste management activities in the City of Regina. In the ITMILP, both two-stage stochastic programming and interval linear programming are introduced into a general mixed integer linear programming framework. Uncertainties expressed as not only probab...

In this work we propose a simultaneous scheduling and control optimization formulation to address both optimal steady-state production and dynamic product transitions in multiproduct parallel continuous stirred tank reactors. The simultaneous scheduling and control problem for multiproduct parallel continuous reactors is cast as a Mixed-Integer Dynamic Optimization (MIDO) problem. The reactor d...

In this paper, power distribution planning (PDP) considering distributed generators (DGs) is investigated as a dynamic multi-objective optimization problem. Moreover, Monte Carlo simulation (MCS) is applied to handle the uncertainty in electricity price and load demand. In the proposed model, investment and operation costs, losses and purchased power from the main grid are incorporated in the f...

Reducing the power requirement of large IT infrastructures is becoming a major concern. Energy savings can be achieved with hardware and/or software solutions; in particular, modern CPUs can operate at different power levels that can be selected by software: low power modes reduce energy consumption at the cost of lowering also the CPU processing rate. In this paper we address the problem of re...

In spite of the remarkable improvements in the quality of general purpose mixed-integer programming software, the effective solution of a variety of lot-sizing problems depends crucially on the development of tight formulations for the special problem features occurring in practice. After reviewing some of the basic preprocessing techniques for handling safety stocks and multilevel problems, we...