Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications

Abstract Due to continuously rising electricity prices, the energy efficiency of production systems is an increasingly important factor in industrial manufacturing. One goal is therefore to reuse the braking energy of manipulator axes. The acceleration and deceleration phases of axes must be synchronized such that, ideally, the braking energy can be reused immediately within the system. In our current technique for the energy-efficient motion planning of concurrent movements of axes, we do not yet consider changing the discrete control logic to reorder movement sequences. This is difficult, since this reordering must not violate critical system requirements. In this paper, we outline a new technique for automatically synthesizing energy-efficient discrete controllers from a scenario-based specification of a production system, which we enrich with information about consumed and generated energy. Last, we provide an outlook on challenging open research problems.

[1]  Marcello Pellicciari,et al.  A method for reducing the energy consumption of pick-and-place industrial robots , 2013 .

[2]  Tobias Ortmaier,et al.  Enhanced approach for energy-efficient trajectory generation of industrial robots , 2012, 2012 IEEE International Conference on Automation Science and Engineering (CASE).

[3]  Jürgen Gausemeier,et al.  Design Methodology for Intelligent Technical Systems, Develop Intelligent Technical Systems of the Future , 2014, Design Methodology for Intelligent Technical Systems.

[4]  Maxime Cordy,et al.  Incrementally synthesizing controllers from scenario-based product line specifications , 2013, ESEC/FSE 2013.

[5]  Scenario-Based Design and Simulation of Mechatronic Systems , 2009 .

[6]  Jürgen Gausemeier,et al.  Methods for the Domain-Spanning Conceptual Design , 2014, Design Methodology for Intelligent Technical Systems.

[7]  Jens Kotlarski,et al.  Path planning approach for the amplification of electrical energy exchange in multi axis robotic systems , 2013, 2013 IEEE International Conference on Mechatronics and Automation.

[8]  Lech Józwiak,et al.  Multi-objective Optimal Controller Synthesis for Heterogeneous Embedded Systems , 2006, 2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

[9]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[10]  Claudio Melchiorri,et al.  Trajectory Planning for Automatic Machines and Robots , 2010 .

[11]  David Harel,et al.  Playing with time: on the specification and execution of time-enriched LSCs , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[12]  Kim G. Larsen,et al.  UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.

[13]  Pierre-Yves Schobbens,et al.  From live sequence charts to state machines and back: a guided tour , 2005, IEEE Transactions on Software Engineering.

[14]  Ekkart Kindler,et al.  Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications , 2013, MoDELS.

[15]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[16]  David Harel,et al.  Assert and negate revisited: modal semantics for UML sequence diagrams , 2006, SCESM.

[17]  Joel Greenyer,et al.  The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[18]  Jens Kotlarski,et al.  Experimental validation of advanced minimum energy robot trajectory optimization , 2013, 2013 16th International Conference on Advanced Robotics (ICAR).

[19]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[20]  Maurice Herlihy,et al.  Energy efficient synchronization techniques for embedded architectures , 2008, GLSVLSI '08.

[21]  Bengt Lennartson,et al.  High-Level Scheduling of Energy Optimal Trajectories , 2013, IEEE Transactions on Automation Science and Engineering.

[22]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..