On evaluation of alternative switching strategies for energy-efficient operation of modular factory automation systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2012, Pages

  Mechs, Sebastian ^a   Lamparter, Steffen ^a   Muller, Jorg P ^b  

^a SIEMENS AG   (Germany)

^b CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION SYSTEMS; CONSTRAINED OPTIMI-ZATION PROBLEMS; ENERGETIC ANALYSIS; ENERGY SYSTEM MODEL; FACTORY AUTOMATION SYSTEMS; OPTIMIZATION OF SWITCHING; SWITCHING STRATEGIES; SYMBOLIC REACHABILITY ANALYSIS;

AUTOMATA THEORY; CONSTRAINED OPTIMIZATION; ENERGY EFFICIENCY; FACTORY AUTOMATION; SWITCHING;

ENTERPRISE RESOURCE PLANNING;

EID: 84876382434     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2012.6489596     Document Type: Conference Paper

References (14)

1. ILOG CP Optimizer: http://www-01.ibm.com/software/integration/ optimization/cplex-cp-optimizer/. 2012.
2. Y. Abdeddaim, E. Asarin, and O. Maler. Scheduling with timed automata. Tools and algorithms for the construction and analysis of systems, pages 272-300, 2006.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. R. Alur, S. La Torre, and G. J. Pappas. Optimal paths in weighted timed automata. Proc. 4th Int. Workshop Hybrid Systems: Computation and Control, LNCS 2034, pages 49-62, 2001.
5. G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson, J. Romijn, and F. Vaandrager. Minimum-cost reachability for priced timed automata. HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, 2001.
6. G. Behrmann, K. G. Larsen, and J. I. Rasmussen. Priced timed automata: Algorithms and applications. International Symposium Formal Methods for Components and Objects (FMCO), pages 162-182, 2006.
7. P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, and J. Srba. Infinite runs in weighted timed automata with energy constraints. Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems, pages 33-47, 2008.
8. S. Mechs, J. P. Müller, S. Lamparter, and J. Peschke. Networked priced timed automata for energy-efficient factory automation. IEEE Transactions on Automatic Control, accepted, 2012.
9. G. Mouzon and M. B. Yildirim. A framework to minimise total energy consumption and total tardiness on a single machine. International Journal of Sustainable Engineering, pages 105-116, 2008.
10. N.N. The PROFIenergy PROFILE . http://www.profibus.com/nc/downloads/ downloads/pi-white-paper-the-profienergyprofile/ display/, URL checked: 2012-04-20, 2010.
11. N.N. ISO 50001:2011, Energy Management Systems - Requirements with guidance for use. 2011.
12. J. Rasmussen, K. G. Larsen, and K. Subramani. Resourceoptimal scheduling using priced timed automata. Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 220- 235, 2004.
13. D. Shorin and A. Zimmermann. Model-based development of energy-efficient automation systems. The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011.
14. P. Vilim. Max energy filtering algorithm for discrete cumulative resources. Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pages vol. 5547 LNCS, 294-308, 2009.