Generating correct, compact, and efficient plc code from scenario-based assume-guarantee specifications
D Gritzner, J Greenyer - Procedia Manufacturing, 2018 - Elsevier
Cyber-physical systems can be found in many areas, eg, manufacturing, health care or
smart cities. They consist of many distributed components cooperating to provide …
smart cities. They consist of many distributed components cooperating to provide …
Specifying and synthesizing energy-efficient production system controllers that exploit braking energy recuperation
Reducing the energy consumption is a major concern in industrial production systems. One
approach is recuperating the braking energy of robot axes. Ideally, their acceleration and …
approach is recuperating the braking energy of robot axes. Ideally, their acceleration and …
[PDF][PDF] Erklärung der Selbstständigkeit
D Griethe - pi.uni-hannover.de
Mit der ständig zunehmenden Komplexität reaktiver Systeme wird auch das Erstellen einer
Anforderungsspezifikation immer schwieriger. Um den Prozess hin zu einer vollständigen …
Anforderungsspezifikation immer schwieriger. Um den Prozess hin zu einer vollständigen …