Future design challenges for electric energy supply

ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation

Volumn , Issue , 2009, Pages

  Hermanns, Holger ^a   Wiechmann, Holger ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b EnBW Kraftwerke AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; CURRENT TRENDS; ELECTRIC ENERGY SUPPLY; ELECTRICITY MARKET; ENERGY-BALANCING; FUTURE DESIGNS; RENEWABLE ENERGIES;

FACTORY AUTOMATION; SEMICONDUCTOR QUANTUM DOTS;

RENEWABLE ENERGY RESOURCES;

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

References (6)

1. H. Wiechmann, "Neue Betriebsführungsstrategien für unterbrechbare Verbrauchseinrichtungen," Ph.D. dissertation, Technische Universität Karlsruhe, 2008.
2. R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183-235, 1994.
3. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theor. Comput. Sci., vol. 138, no. 1, pp. 3-34, 1995.
4. H. C. Bohnenkamp, P. R. D'Argenio, H. Hermanns, and J.-P. Katoen, "MoDeST: A compositional modeling formalism for hard and softly timed systems," IEEE Transactions on Software Engineering, vol. 32, no. 10, pp. 812-830, 2006.
5. C. Cassandras and J. Lygeros, Stochastic Hybrid Systems. CRC Press and IEEE Press, 2006, vol. 24.
6. C. Groß, H. Hermanns, and R. Pulungan, "Does clock precision influence ZigBee's energy consumptions?" in Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings, ser. Lecture Notes in Computer Science, P. T. Eduardo Tovar and H. Fouchal, Eds., vol. 4878. Springer-Verlag, 2007, pp. 174-188.