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!

container_end_page
container_issue
container_start_page
container_title
container_volume
creator	Kehrer, Johannes Bogdoll, Dieter Strixner, Ferdinand Reitinger, Axel Geipel, Markus Michael
description	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).
format	Patent
fullrecord	<record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_EP4095628A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EP4095628A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_EP4095628A13</originalsourceid><addsrcrecordid>eNqNjL0KwjAURrs4iPoO9wUE_6njbXLTBJukJPGnUykSJ9FCHXx8K9jd6YPDOd84eWsK0nJAw8FXPpAGYR0wa4KzRaFMDggamVSGIKuALsSO4YtLZ3OHGvqm9HCWikk4kVNCYVYMIvUacRJ9zYdTCOgPfpqMbs29i7PfThIQFJicx_ZZx65trvERXzWVm8V-u1uluFz_oXwAMjA5yg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS</title><source>esp@cenet</source><creator>Kehrer, Johannes ; Bogdoll, Dieter ; Strixner, Ferdinand ; Reitinger, Axel ; Geipel, Markus Michael</creator><creatorcontrib>Kehrer, Johannes ; Bogdoll, Dieter ; Strixner, Ferdinand ; Reitinger, Axel ; Geipel, Markus Michael</creatorcontrib><description>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).</description><language>eng ; fre ; ger</language><subject>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</subject><creationdate>2022</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20221130&DB=EPODOC&CC=EP&NR=4095628A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,778,883,25551,76302</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20221130&DB=EPODOC&CC=EP&NR=4095628A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Kehrer, Johannes</creatorcontrib><creatorcontrib>Bogdoll, Dieter</creatorcontrib><creatorcontrib>Strixner, Ferdinand</creatorcontrib><creatorcontrib>Reitinger, Axel</creatorcontrib><creatorcontrib>Geipel, Markus Michael</creatorcontrib><title>METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS</title><description>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).</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>CONTROL OR REGULATING SYSTEMS IN GENERAL</subject><subject>CONTROLLING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>FUNCTIONAL ELEMENTS OF SUCH SYSTEMS</subject><subject>MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS</subject><subject>PHYSICS</subject><subject>REGULATING</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2022</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNjL0KwjAURrs4iPoO9wUE_6njbXLTBJukJPGnUykSJ9FCHXx8K9jd6YPDOd84eWsK0nJAw8FXPpAGYR0wa4KzRaFMDggamVSGIKuALsSO4YtLZ3OHGvqm9HCWikk4kVNCYVYMIvUacRJ9zYdTCOgPfpqMbs29i7PfThIQFJicx_ZZx65trvERXzWVm8V-u1uluFz_oXwAMjA5yg</recordid><startdate>20221130</startdate><enddate>20221130</enddate><creator>Kehrer, Johannes</creator><creator>Bogdoll, Dieter</creator><creator>Strixner, Ferdinand</creator><creator>Reitinger, Axel</creator><creator>Geipel, Markus Michael</creator><scope>EVB</scope></search><sort><creationdate>20221130</creationdate><title>METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS</title><author>Kehrer, Johannes ; Bogdoll, Dieter ; Strixner, Ferdinand ; Reitinger, Axel ; Geipel, Markus Michael</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_EP4095628A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng ; fre ; ger</language><creationdate>2022</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>CONTROL OR REGULATING SYSTEMS IN GENERAL</topic><topic>CONTROLLING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>FUNCTIONAL ELEMENTS OF SUCH SYSTEMS</topic><topic>MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS</topic><topic>PHYSICS</topic><topic>REGULATING</topic><toplevel>online_resources</toplevel><creatorcontrib>Kehrer, Johannes</creatorcontrib><creatorcontrib>Bogdoll, Dieter</creatorcontrib><creatorcontrib>Strixner, Ferdinand</creatorcontrib><creatorcontrib>Reitinger, Axel</creatorcontrib><creatorcontrib>Geipel, Markus Michael</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kehrer, Johannes</au><au>Bogdoll, Dieter</au><au>Strixner, Ferdinand</au><au>Reitinger, Axel</au><au>Geipel, Markus Michael</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS</title><date>2022-11-30</date><risdate>2022</risdate><abstract>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).</abstract><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier
ispartof
issn
language	eng ; fre ; ger
recordid	cdi_epo_espacenet_EP4095628A1
source	esp@cenet
subjects	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
title	METHOD AND SYSTEM FOR CONTROLLING A MACHINE BY EXECUTING PROGRAM STEPS WHICH VERIFIABLY EXECUTE PREDEFINED CONTROL TASKS
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T23%3A02%3A02IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=Kehrer,%20Johannes&rft.date=2022-11-30&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EEP4095628A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true