Generalized Mathematical Programming for Optimal Replacement in a Semi-Markov Shock Model

We analyze a semi-Markovian decision process for optimal replacement of a device in a shock model, using a generalized mathematical programming approach. By means of a simple proof, we obtain a weak sufficient condition for the existence of an optimal control-limit replacement policy. We also present a convergent algorithm to find an optimal replacement policy.