Abstract
The European electricity market is rapidly evolving towards a decentralized structure, not only because of climatical and political circumstances. With the foreseeable depletion of fossile energy sources this trend is expected to catch momentum also on other continents. The increase of production based on renewable energy implies drastically higher fluctuations in available electricity. The resulting mathematical problem, stochastic electricity balancing, has many facets where quantitative formal methods provide a promising foundation to develop IT-supported strategies to counteract this problem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hermanns, H., Wiechmann, H.: Future Design Challenges for Electric Energy Supply. In: Proceedings of the 14th IEEE International Conference on Emerging Technologies & Factory Automation, pp. 1310–1317 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hermanns, H. (2011). Formal Methods in Energy Informatics. In: Barthe, G., Pardo, A., Schneider, G. (eds) Software Engineering and Formal Methods. SEFM 2011. Lecture Notes in Computer Science, vol 7041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24690-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-24690-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24689-0
Online ISBN: 978-3-642-24690-6
eBook Packages: Computer ScienceComputer Science (R0)