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 by executing program steps which verifiably execute predefined control tasks is provided, including manipulating data based on input data received from the machine and resulting in reference data by data programming steps st...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kehrer, Johannes, Bogdoll, Dieter, Strixner, Ferdinand, Reitinger, Axel, Geipel, Markus Michael
Format: Patent
Sprache:eng
Schlagworte:
CONTROL OR REGULATING SYSTEMS IN GENERAL
CONTROLLING
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 by executing program steps which verifiably execute predefined control tasks is provided, including manipulating data based on input data received from the machine and resulting in reference data by data programming steps structured according to a declarative programming paradigm in a data processing unit, and performing 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, and providing instructions resulting from the performed control program steps to the machine for execution of the instructions by the machine.