Siemens Aktiengesellschaft

Holger Stender

Thomas Hubauer

Mikhail Roshchin

Stephan Grimm

Stuart Watson

Klaus Gareis

Reinhard Gebhardt

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.

Control of a machine using relaxed abduction method

A system is provided comprising first, second, and third servers, a medical device, and a database storing a plurality of software updates for various medical devices. The second server stores software update history for medical devices located in a plurality of countries, and the third server is located in a country and stores software update history for medical devices located in that country. A request for a software update for a medical device is sent from the first server to the second server. The second server sends a command to the database, and the database sends the software update to the medical device. After an attempt has been made to install the software update in the medical device, the software update history for the medical device is automatically updated in the second and third servers.

Method and system for remote software updating of a medical device

Growing community of inventors

Nürnberg, Germany

Holger Stender