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:
- a plant model including a model of the plant;
a diagnosis component 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,a solver 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.
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.
118 Citations
19 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:
-
a plant model including a model of the plant; a diagnosis component 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, a solver 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 (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. 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; translating the solution into a plan; and providing the plan to the plant for execution. - View Dependent Claims (13, 14, 15)
-
-
16. A 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; translating the solution into a plan; and providing the plan to the plant for execution. - View Dependent Claims (17, 18, 19)
-
Specification