Minimum-Cost Checking Using Imperfect Information

An event takes place at time t, a discrete random variable with known probability function. At unit intervals of time, a measurement x is observed which yields information about the event; x is a random variable, with a known probability density function being dependent upon whether or not the event has yet occurred. After each observation, a decision is made that the event has or has not yet occurred. The latter decision implies waiting for the next measurement. The former decision, if correct, ends the procedure. If incorrect, this fact is incorporated, and the procedure continues. A decision cost structure is assumed that assigns: (1) a fixed (false alarm) cost to deciding the event has occurred when, in fact, it has not; (2) a (time late) cost proportional to the time between the occurrence of the event and the decision that it has occurred. The minimum-expected-cost decision strategy and the minimum cost thus obtained are derived by means of dynamic programming.

• 저널Management Science · 13(7) · 454–465
• 토픽Formal Methods in Verification · Computational Theory and Mathematics
• DOI10.1287/mnsc.13.7.454
• 저자Stephen M. Pollock