159

The problem of detecting and isolating abrupt changes in random signals and systems is addressed in the paper. The key results of the recently developed optimal theory of change diagnosis (detection and isolation) are presented. The application of the developed theory to the problem of navigation system integrity monitoring is discussed.

In scientific collaborations, provenance is increasingly used to understand, debug, and explain the processing history of data, and to determine the validity and quality of data products. While provenance is easily recorded by scientific workflow systems, it can be infeasible or undesirable to publish provenance details for all data products of a workflow run. We have developed PROPUB, a system...

we find the greatest values $alpha_{1} $ and $alpha_{2} $, and the least values $beta_{1} $ and $beta_{2} $ such that the inequalities $alpha_{1} c(a,b)+(1-alpha_{1} )h(a,b)