Daniel Gritzner, Elias Knochelmann, Joel Greenyer, Kai Eggers, Svenja Tappe, Tobias Ortmaier. Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation. In 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018. pages 408-413, IEEE, 2018. [doi]
Abstract is missing.