METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS

METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS

Computer-implemented method and control apparatus for controlling a machine (30) by executing program steps which verifiably execute predefined control tasks, comprising- manipulating (S1) data based on input data received from the machine (30) and resulting in reference data by data programming ste...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kehrer, Johannes, Bogdoll, Dieter, Strixner, Ferdinand, Reitinger, Axel, Geipel, Markus Michael
Format: Patent
Sprache:eng ; fre ; ger
Schlagworte:
CALCULATING
COMPUTING
CONTROL OR REGULATING SYSTEMS IN GENERAL
CONTROLLING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
FUNCTIONAL ELEMENTS OF SUCH SYSTEMS
MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS
PHYSICS
REGULATING
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Computer-implemented method and control apparatus for controlling a machine (30) by executing program steps which verifiably execute predefined control tasks, comprising- manipulating (S1) data based on input data received from the machine (30) and resulting in reference data by data programming steps structured according to a declarative programming paradigm in a data processing unit (27), and- performing (S2) control program steps verifying the reference data with respect to explicit conditions, without any further manipulation of the reference data in the control program steps in a control processing unit (25), and- providing (S3) instructions resulting from the performed control program steps to the machine (30) for execution of the instructions by the machine (30).