Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Does clock precision influence ZigBee's energy consumptions?
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Formal methods in energy informatics
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Quantitative models for a not so dumb grid
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Modelling and decentralised runtime control of self-stabilising power micro grids
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |
The European electricity market is rapidly evolving towards a decentralized structure, not only because of climatical and political circumstances. The increase of production based on renewable energy implies drastically higher fluctuations in available electricity. This paper introduces the stochastic energy balancing problem, which is a result of these current trends. We sketch IT-supported strategies to counteract this problem, and derive principal considerations for modelling and analysis techniques to assist in the solution of this problem.