Methods and systems for active diagnosis through logic-based planning

US8145334B2 · kind B2 · utility

Assignee

• Palo Alto Research Center Incorporated · US

Inventors

• Minh Binh Do · Mountain View, US
• Hector Luis Palacios Verdes · San Antonio de los Altos, VE
• Rong Zhou · San Jose, US
• Lukas D. Kuhn · San Diego, US
• Johan de Kleer · Los Altos, US

Key dates

• Filing date: Feb 2, 2009
• Grant date: Mar 27, 2012
• Expiry date: Jul 10, 2030

Classification

• Technology area (CPC Y): Emerging Cross-Sectional Technologies
• CPC primary: Y10S706/914
• WIPO field: IT methods for management
• WIPO sector: Electrical engineering

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.