Abstract: Model-based production control systems and methods are presented for constructing plans for controlling operation of a production system with a plant having a plurality of resources to achieve one or more production goals, in which a planner constructs plans for execution in the plant based on production goals while balancing both production objectives (e.g., production cost, production time) and diagnostic objectives (e.g., diagnostic cost, information gained, repair cost), and a diagnosis engine determines a current plant condition based on a previously executed plan and corresponding observations from the plant, and provides expected information gain data to the planner, with the planner generating a plan that will achieve a given production goal and is improved for one or more diagnostic objectives and the expected information gain data.

Abstract: Target value search methods and systems are presented for solving a target value path problem to identify a path or paths in a graph in which a connection graph is created and upper and lower bound values are determined for each node in the connection graph, and a first best search is performed to identify a path or paths from a starting node to a goal node having a path value closest to the target value.

Abstract: Production control systems and methods are presented for estimation of production resource failure probabilities in which a set of four count values are maintained and updated for each resource including a first count value m11 indicating a number of plans where the resource m was used and failed, a second count value m10 indicating a number of plans where the resource m was used and succeeded, a third count value m01 indicating a number of plans where the resource m was not used and failed, and a fourth count value m00 indicating a number of plans where the resource m was not used and succeeded, and the current fault probability for each resource is estimated and stored for single or multiple, persistent or intermittent faults based on the corresponding count values.

Abstract: A control systems and methods are presented for controlling a production system, in which a model-based planner includes a formulation, such as a SAT formulation representing possible actions in the production, with a solver being used to provide a solution to the formulation based at least partially on production and diagnostic goals and the current plant condition, and a translation component translates the solution into a plan for execution in the plant.

Abstract: A method an computer program product models connections for a system having a plurality of components, having component terminals, and connections. The connections are located to selectively connect the components of the system to each other. The method and computer product models signal levels for nodes of the system as a variable wherein the nodes of the system are representative of the connections. Each potential component terminal connection of the connections is modeled, which could potentially influence the signal level on each of the nodes as a qualitative variable is also modeled, wherein each node of the system is modeled with n+1 variables.

Abstract: A method and system for diagnosing any combination of persistent and intermittent faults. The behavior of a system under test is obtained by measuring or probing the system at a particular location(s). The predicted behavior of a modeled system corresponding to the system under test is investigated by drawing inferences based on at least conditional probabilities, prior observations and component models. The predictions are compared to their corresponding points in the system under test. A determination is made if a conflict exists between the measured behavior and the predicted behavior, and the conditional probabilities are adjusted to more and more accurately reflect the action fault(s) in the system under test. The conflicts or deviations between the obtained predicted behavior and the actual behavior are used to isolate the components of the system causing the faults.

Abstract: A method and computer product is provided to generate a signal model for use in analyzing a model system including imposing an explicit time assumption for each time instant of the system model. The time assumptions are defined so that any two assumptions contradict each other, thereby separating all inferences into the respective times. A non-monotonic rule is applied to instantiate component models of the model system. Results are defined as not depending on the existence of a previous time instant and, a simplified signal model is generated, wherein the signal model represents the evolution of a value in the model system over time.

Abstract: A modeled-based reasoning system and method including dynamic domain abstraction, includes the use of an abstraction determining module configured to identify an appropriate abstraction level for a system model of a real-world system to be analyzed, from a plurality of potential abstraction levels. A system reasoning module is configured to perform analysis on the system model of the real-world system at the abstraction level determined to be appropriate by the abstraction determining module.

Abstract: Propositional reasoning is performed on a massively parallel processor, with sets of element value combinations being handled by separate processing units. A host processor operates as a problem solver generating requests for propositional reasoning, and also operates as an interface between the problem solver and the parallel processor. In response to a request that includes a formula, the interface provides one or more formulas such as justifications and class restrictions. The interface provides instructions to the parallel processor based on each of these formulas. The instruction based on each formula are provided so that the set of element value combinations handled by each processing unit is not divided or forked into two subsets until necessary. If possible, forking is avoided by forcing the value of an element to the only value consistent with the current formula.