in this paper, a multi-period and multi-resource operating room (or) scheduling and rescheduling problem with elective and semi-elective (semi-urgent) patients is addressed. a scheduling-rescheduling framework based on the so-called rolling horizon approach is proposed to solve the problem. the core of the proposed framework is a novel proposed mixed-integer linear programming (milp) model with...

One metric of the intelligence of a system is its ability to perform tasks in the face of dynamic changes to the environment. This requires that an autonomous system be capable of responding appropriately to such changes. One such response is to effectively adapt the allocation of resources from planning to execution. By adapting the resource allocation between cognition and execution, an intel...

Monotonicity of optimal solutions to finite horizon dynamic optimization problems is used to prove the existence of a forecast horizon, i.e a long enough planning horizon that ensures that a first period optimal action for the infinite horizon and the finite horizon problem agree, regardless of problem parameter changes in the tail. The existence of extremal monotone optimal solutions motivates...

Graph and automata theory are widely used in the algorithmic solution of fundamental problems in verification. Verification problems often boil down to solving reachability questions in graphs, optimization problems, and combinatorial problems in automata. Fundamental algorithmic problems in computer science have been well studied, such as the shortest path problem, the travelling salesman prob...

We propose a mathematical model which considers the series-type product structure with n−1 predecessors. Our objective is to obtain the optimal production functions, in the planning horizon [0,T ], based on the assumptions (1) that the cost of production unit is a linear function of production quantity in a time unit, (2) that sales of finished goods occur at the end of planning horizon, and (3...

Forecast horizons, i.e long enough planning horizons that ensure agreement of first period optimal production decisions of finite and infinite horizon problems regardless of changes in future demand, are shown to exist in the context of production planning under stochastic demand. The monotonicity of first period optimal production decisions with respect to first order stochastic shifts in dema...

In home health care, continuity of care, wherein a patient is always visited by the same nurse, can be just as important as cost, as it is closely correlated to quality of care. While a patient typically receives care for two to three months, such that assigning a nurse to a patient impacts operations for lengthy periods of time, previous research focusing on continuity of care uses planning ho...

We investigate the computability of problems in probabilistic planning and partially observable infinite-horizon Markov decision processes. The undecidability of the string-existence problem for probabilistic finite automata is adapted to show that the following problem of plan existence in probabilistic planning is undecidable: given a probabilistic planning problem, determine whether there ex...

An inventory model for deteriorating items over a fuzzy random planning horizon incorporating inflation and time value of money is studied. It is assumed that planning horizon follows exponential distribution with imprecise parameter. The model is formulated using cost minimization principle. As the fuzzy cost cannot be minimized directly, the possibilistic mean value of the fuzzy cost is found...