Networked priced timed automata for energy-efficient factory automation

Proceedings of the American Control Conference

Volumn , Issue , 2012, Pages 5310-5317

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

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; ENVIRONMENTAL REGULATIONS; FACTORY AUTOMATION; MANUFACTURE;

AUTOMATED MANUFACTURING SYSTEMS; AUTOMATION SYSTEMS; ENERGY EFFICIENCY AND ENERGY SAVINGS; ENERGY SAVING POTENTIAL; ENERGY SYSTEM MODEL; INDUSTRY AUTOMATION; SWITCHING SEQUENCE; TRANSITIONAL MODES;

ENERGY EFFICIENCY;

EID: 84869416560     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2012.6315349     Document Type: Conference Paper

References (22)

1. Alur, R. and Dill, D., A theory of timed automata, Theoretical Computer Science, 126, pp. 183-235 (1994)
2. Hornberger, Markus, Den Energieeinsatz in der Produktion optimieren, 5/2009, VDMA (2009)
3. Cassez, Franck and Roux, Olivier H., Structural translation from Time Petri Nets to Timed Automata, The Journal of Systems and Software, 79, pp.1456-1468 (2006)
4. Brard, B. and Cassez, F. and Haddad, S. and Lime, D. and Roux, O. H., Comparison of the Expressiveness of Timed Automata and Time Petri Nets, 3829, 211-225, Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed (2005)
5. Gadonneix, Pierre et al., Energy Efficency: A Receipe for Success, World Energy Council (2010)
6. Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim G. and Markey, Nicolas and Srba, Jiri, Infinite Runs in Weighted Timed Automata with Energy Constraints, FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems, pp. 33-47 (2008)
7. Behrmann, Gerd and Fehnker, Ansgar and Hune, Thomas and Larsen, Kim and Pettersson, Paul and Romijn, Judi and Vaandrager, Frits, Minimum-cost Reachability for Priced Timed Automata, HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (2001)
8. International Standardization Organization, Energy Management Systems - Requirements with guidance for use, ISO 50001:2011 First Edition, ISO copyright office (2011)
9. Rasmussen, J. I. and Larsen, K. G. and Subramani, K., Resourceoptimal Scheduling Using Priced Timed Automata, SIGMETRICS Perform. Eval. Rev, pp. 220-235 (2004)
10. Huebner, Inge, Erkenntnisse der Profienergy-Studie, Open Automation, March (2011)
11. Merlin, Philip, A Study of the Recoverability of Computer Systems, Dissertation, University of California, Irvine (1974)
12. Alur, Rajeev and La Torre, Salvatore and Pappas, Georg J., Optimal paths in weighted timed automata, Proc. 4th Int. Workshop Hybrid Systems: Computation and Control, LNCS 2034, pp. 49-62 (2001)
13. Behrmann, Gerd and Larsen, Kim G. and Rasmussen, J. I., Priced Timed Automata: Algorithms and Applications, International Symposium Formal Methods for Components and Objects (FMCO), pp. 162-182 (2006)
14. Behrmann, Gerd; Fehnker, Ansgar; Hune, T. S.; Larsen, K. G.; Pettersson, Paul; Romijn, Judi, Efficient Guiding Towards Cost-Optimality in UPPAAL, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), pp. 174-188 (2001)
15. Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas; Pettersson, Paul; Romijn, Judi, As cheap as possible: Efficient Cost-Optimal Reachability for Priced Timed Automata, Computer Aided Verification : 13th International Conference, CAV 2001, IEEE Computer Society Press, France, pp. 493-505 (2001)
16. Bouyer, Patricia and Brinksma, Ed and Larsen, Kim G., Staying Alive as Cheaply as Possible, Proc. of 7th Intl. Workshop on Hybrid Systems: Computation and Control (HSCC), Vol. 2993, pp. 203-218 (2004)
17. Bouyer, Patricia and Cassez, Franck and Fleury, Emmanuel and Larsen, Kim G., Optimal Strategies in Priced Timed Game Automata, FSTTCS 04, LNCS 3328, pp. 148-160 (2004)
18. Bouyer, Patricia and Cassez, Franck and Fleury, Emmanuel and Larsen, Kim G., Synthesis of Optimal Strategies Using HyTech: Preliminary version, Proc. Games in Design and Verification (GDV04), ENTCS, pp. 11-31 (2004)
19. Behrmann, Gerd and David, Alexandre and Larsen, Kim G. and Mueller, Oliver and Pettersson, Paul and Wang, Yi, Uppaal - Now, Next, and Future, Proc. MOVEP00, LNCS 2067, pp. 99-124 (2001)
20. Zhao, Jianhua and Zhou, Xiuyi and Li, Xuandong and Zheng, Guoliang, Compatibility between shared variable valuations in timed automaton network model-checking, Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium, pp. 1530-2075 (2005)
21. Behrmann, Gerd, UPPAAL CORA, http://people.cs.aau.dk/-behrmann/cora/ index.html, 2011-09-22
22. PROFIBUS & PROFINET International, Assessing PROFIenergy's potential, http://www.profibus.com/nc/downloads/downloads/pi-white-paperassessing- profienergys-potential/display/, 2012-02-27