Abstract:
Given a semi-Markov process with an arbitrary set of states, a criterion is obtained for the attainability of a certain isolated subset of states and for finiteness of the average attainment time. An equation is given for the average of an additive functional of a process with absorption, existence and uniqueness conditions are deduced for the solution of that equation in a given class of functions, and an integral representation is obtained for the solution.