The deployment of space robots for servicing and maintenance operations, which are teleoperated from ground, is a valuable addition to existing autonomous systems since it will provide flexibility and robustness in mission operations. In this connection, not only robotic manipulators are of great use but also free-flying inspector satellites supporting the operations through additional feedback...

Data provenance strives for explaining how the computation was performed by recording a trace of the execution. The provenance trace is useful across a widerange of workflows to improve the dependability, security, and efficiency of software systems. In this paper, we present INSPECTOR, a POSIX-compliant data provenance library for shared-memory multithreaded programs. The INSPECTOR library is ...

This paper introduces a multi-period inspector scheduling problem (MPISP), which is a new variant of the multi-trip vehicle routing problem with time windows (VRPTW). In the MPISP, each inspector is scheduled to perform a route in a given multi-period planning horizon. At the end of each period, each inspector is not required to return to the depot but has to stay at one of the vertices for rec...

Currently, design and construction documents submitted to the governing body for permitting are checked manually against a continuously changing and increasingly complex set of building codes. The complexity and changing nature of codes leads to delays in both the design and construction processes. The designer must assess which codes are applicable to a given project as well as sort through po...

This article discusses a two-player noncooperative nonzero-sum inspection game. There are multiple sites that are subject to potential inspection by the first player (an inspector). The second player (potentially a violator) has to choose a vector of violation probabilities over the sites, so that the sum of these probabilities do not exceed one. An efficient method is introduced to compute all...

An inspection game is here a non-cooperative two-person-game between an inspector and an inspectee. It models a situation where the inspector controls the inspectee who has an incentive to violate certain legal obligations. A recent survey of inspection games applied to data verification, for example in nuclear material safeguards, is given in [1]. Dresher [2] described a sequential inspection ...

Fraud and abuse investigations by the office of the Inspector General resulted in payments totaling $407.7 million. Audits by the same agency identified $251.5 million in items such as overpayments, according to the agency’s mid-year fiscal year 1999 report. As a result of its findings, the Inspector General recommended exclusion of 2976 individuals or entities from government programs such as ...