Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications
暂无分享,去创建一个
[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..