Methods and systems for active diagnosis through logic-based planning
First Claim
Patent Images
1. A control system for controlling operation of a production system with a plant that can achieve one or more production goals by execution of plans using one or more plant resources, the control system comprising:
- at least one processor;
a plant model including a model of the plant;
a diagnosis component implemented using the at least one processor and operatively coupled with the plant to determine a current plant condition based at least partially on a previously executed plan, at least one corresponding observation from the plant, and the plant model; and
a planner operative to receive at least one diagnostic goal from the diagnosis component and at least one production goal, the planner comprising;
a formulation representing possible actions in the plant including;
constraints and variables for each action to transition the plant from a starting state to a goal state defined by at least one production goal, andan objective function evaluating the number of plant resources suspected of being fault that are used in a given solution,a solver implemented using the at least one processor and operative to provide at least one solution to the formulation based at least partially on the at least one production goal, at least one diagnostic goal, and the current plant condition, anda translation component operative to translate the solution into a plan and to provide the plan to the plant for execution;
wherein the planner is operative to select at least one solution for which the number of suspected resources used in the solution is closest to half of the suspected plant resources.
6 Assignments
0 Petitions
Accused Products
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.
92 Citations
20 Claims
-
1. A control system for controlling operation of a production system with a plant that can achieve one or more production goals by execution of plans using one or more plant resources, the control system comprising:
-
at least one processor; a plant model including a model of the plant; a diagnosis component implemented using the at least one processor and operatively coupled with the plant to determine a current plant condition based at least partially on a previously executed plan, at least one corresponding observation from the plant, and the plant model; and a planner operative to receive at least one diagnostic goal from the diagnosis component and at least one production goal, the planner comprising; a formulation representing possible actions in the plant including; constraints and variables for each action to transition the plant from a starting state to a goal state defined by at least one production goal, and an objective function evaluating the number of plant resources suspected of being fault that are used in a given solution, a solver implemented using the at least one processor and operative to provide at least one solution to the formulation based at least partially on the at least one production goal, at least one diagnostic goal, and the current plant condition, and a translation component operative to translate the solution into a plan and to provide the plan to the plant for execution; wherein the planner is operative to select at least one solution for which the number of suspected resources used in the solution is closest to half of the suspected plant resources. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A method of generating plans for execution in a production system with a plant to achieve one or more production goals, the method comprising:
-
determining a current plant condition based at least partially on a previously executed plan, at least one corresponding observation from the plant, and a plant model; providing a formulation representing possible actions in the plant including constraints and variables for each action to transition the plant from a starting state to a goal state defined by at least one production goal; solving the formulation to provide at least one solution to the formulation based at least partially on the at least one production goal, the at least one diagnostic goal, and the current plant condition, wherein solving the formulation comprises evaluating an objective function based on the number of plant resources suspected of being faulty that are used in a given solution, and selecting at least one solution for which number of suspected resources used in the solution is closest to half of the suspected plant resources; translating the solution into a plan; and providing the plan to the plant for execution. - View Dependent Claims (12)
-
-
13. A non-transitory computer readable medium having computer executable instructions for performing the steps of:
-
determining a current plant condition based at least partially on a previously executed plan, at least one corresponding observation from the plant, and a plant model; providing a formulation representing possible actions in the plant including constraints and variables for each action to transition the plant from a starting state to a goal state defined by at least one production goal; solving the formulation to provide at least one solution to the formulation based at least partially on the at least one production goal, the at least one diagnostic goal, and the current plant condition, wherein the computer executable instructions for solving the formulation comprise; computer executable instructions for evaluating an objective function based on the number of plant resources suspected of being faulty that are used in a given solution, and computer executable instructions for selecting at least one solution for which number of suspected resources used in the solution is closest to half of the suspected plant resources; translating the solution into a plan; and providing the plan to the plant for execution. - View Dependent Claims (14)
-
-
15. A control system for controlling operation of a production system with a plant that can achieve one or more production goals by execution of plans using one or more plant resources, the control system comprising:
-
at least one processor; a plant model including a model of the plant; a diagnosis component implemented using the at least one processor and operatively coupled with the plant to determine a current plant condition based at least partially on a previously executed plan, at least one corresponding observation from the plant, and the plant model, the current plant condition indicating fault status of the one or more plant resources; and a planner operative to receive at least one diagnostic goal from the diagnosis component and at least one production goal, the planner comprising; a formulation representing possible actions in the plant including constraints and variables for each action to transition the plant from a starting state to a goal state defined by at least one production goal, a solver implemented using the at least one processor and operative to provide at least one solution to the formulation based at least partially on the at least one production goal, at least one diagnostic goal, and the current plant condition, and a translation component operative to translate the solution into a plan and to provide the plan to the plant for execution. - View Dependent Claims (16, 17, 18, 19, 20)
-
Specification