Control of a machine using relaxed abduction method

US9897983B2 · kind B2 · utility

Assignee

• Siemens Aktiengesellschaft · DE

Inventors

• Stephan Grimm · Munich, DE
• Thomas Hubauer · Garching bei München, DE
• Mikhail Roshchin · Straubing, DE
• Holger Stender · Koblenzer Straße, DE
• Stuart Watson · Warwick, GB

Key dates

• Filing date: Oct 28, 2011
• Grant date: Feb 20, 2018
• Expiry date: Jan 27, 2034

Classification

• Technology area (CPC G): Physics
• CPC primary: G05B23/0278
• WIPO field: Control
• WIPO sector: Instruments

Abstract

A method and apparatus for actuating a machine is provided in which a relaxed abduction problem is determined in order to explain the greatest possible part of the observations with the fewest possible assumptions. Based upon two preference orders over a subset of observations and a subset of assumptions, tuples are determined so that the theory together with the subset of assumptions explains the subset of observations. On the basis of the formal validity of the approach certain characteristics of the set of results (such as correctness, completeness, etc.) are checked. By the choice of underlying representational language and the preference relations, the complexity of the problem-solving process is influenced and thus flexibly adapted with regard to domain requirements. The invention may be used for any machines, e.g. gas turbines or steam turbines.