{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:08:21Z","timestamp":1755925701260},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_31","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"420-439","source":"Crossref","is-referenced-by-count":14,"title":["Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids"],"prefix":"10.1007","author":[{"given":"Arnd","family":"Hartmanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"31_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"31_CR2","unstructured":"Berrang, P., Bogdoll, J., Hahn, E.M., Hartmanns, A., Hermanns, H.: Dependability results for power grids with decentralized stabilization strategies. Reports of SFB\/TR 14 AVACS\u00a083 (2012) ISSN: 1860-9821, \n                    \n                      http:\/\/www.avacs.org"},{"key":"31_CR3","unstructured":"Berrang, P., Hartmanns, A., Hermanns, H.: A comparative analysis of decentralized power grid stabilization strategies. In: Winter Simulation Conference (to appear, 2012)"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-31759-0_16","volume-title":"Model Checking Software","author":"J. Bogdoll","year":"2012","unstructured":"Bogdoll, J., David, A., Hartmanns, A., Hermanns, H.: mctau: Bridging the Gap between Modest and UPPAAL. In: Donaldson, A., Parker, D. (eds.) SPIN 2012. LNCS, vol.\u00a07385, pp. 227\u2013233. Springer, Heidelberg (2012)"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-28540-0_20","volume-title":"Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance","author":"J. Bogdoll","year":"2012","unstructured":"Bogdoll, J., Hartmanns, A., Hermanns, H.: Simulation and Statistical Model Checking for Modestly Nondeterministic Models. In: Schmitt, J.B. (ed.) MMB & DFT 2012. LNCS, vol.\u00a07201, pp. 249\u2013252. Springer, Heidelberg (2012)"},{"issue":"10","key":"31_CR6","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H.C. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.P.: MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR7","unstructured":"B\u00f6mer, J., Burges, K., Zolotarev, P., Lehner, J.: Auswirkungen eines hohen Anteils dezentraler Erzeugungsanlagen auf die Netzstabilit\u00e4t bei \u00dcberfrequenz & Entwicklung von L\u00f6sungsvorschl\u00e4gen zu deren \u00dcberwindung (2011); study commissioned by EnBW Transportnetze AG, Bundesverband Solarwirtschaft e.V. and Forum Netztechnik\/Netzbetrieb im VDE e.V"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-28540-0_23","volume-title":"Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance","author":"J.-Y. Boudec Le","year":"2012","unstructured":"Le Boudec, J.-Y., Tomozei, D.-C.: A Demand-Response Calculus with Perfect Batteries. In: Schmitt, J.B. (ed.) MMB & DFT 2012. LNCS, vol.\u00a07201, pp. 273\u2013287. Springer, Heidelberg (2012)"},{"key":"31_CR9","unstructured":"Bundesnetzagentur: EEG-Verg\u00fctungss\u00e4tze f\u00fcr Photovoltaikanlagen, \n                    \n                      http:\/\/www.bundesnetzagentur.de\/cln_1931\/DE\/Sachgebiete\/ElektrizitaetGas\/ErneuerbareEnergienGesetz\/VerguetungssaetzePVAnlagen\/VerguetungssaetzePhotovoltaik_Basepage.html\n                    \n                    \n                   (March 21, 2012)"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-28756-5_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Chen","year":"2012","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: Automatic Verification of Competitive Stochastic Systems. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 315\u2013330. Springer, Heidelberg (2012)"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. MIT Press (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"issue":"3","key":"31_CR12","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1080\/15326348708807064","volume":"3","author":"P.J. Haas","year":"1987","unstructured":"Haas, P.J., Shedler, G.S.: Regenerative generalized semi-Markov processes. Communications in Statistics. Stochastic Models\u00a03(3), 409\u2013438 (1987)","journal-title":"Communications in Statistics. Stochastic Models"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design (2012), doi: 10.1007\/s10703-012-0167-z","DOI":"10.1007\/s10703-012-0167-z"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-642-25271-6_20","volume-title":"FMCO 2010","author":"A. Hartmanns","year":"2011","unstructured":"Hartmanns, A.: Model-Checking and Simulation for Stochastic Timed Systems. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 372\u2013391. Springer, Heidelberg (2011)"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Hermanns, H.: A Modest approach to checking probabilistic timed automata. In: QEST. pp. 187\u2013196. IEEE Computer Society (2009)","DOI":"10.1109\/QEST.2009.41"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Wiechmann, H.: Future design challenges for electric energy supply. In: ETFA. pp. 1\u20138. IEEE (2009)","DOI":"10.1109\/ETFA.2009.5347150"},{"key":"31_CR17","volume-title":"Embedded Systems for Smart Appliances and Energy Managment, Embedded Systems","author":"H. Hermanns","year":"2012","unstructured":"Hermanns, H., Wiechmann, H.: Demand-Response Managment for Dependable Power Grids. In: Embedded Systems for Smart Appliances and Energy Managment, Embedded Systems, vol.\u00a03. Springer Science+Business Media, New York (2012)"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Hildmann, H., Saffre, F.: Influence of variable supply and load flexibility on demand-side management. In: EEM 2011, pp. 63\u201368. IEEE Conference Publications (2011)","DOI":"10.1109\/EEM.2011.5952980"},{"issue":"1","key":"31_CR19","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M.Z. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci.\u00a0282(1), 101\u2013150 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"31_CR20","unstructured":"Lehnhoff, S.: Private communication (2012)"},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-24559-6_11","volume-title":"Formal Methods and Software Engineering","author":"J. Martins","year":"2011","unstructured":"Martins, J., Platzer, A., Leite, J.: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 131\u2013146. Springer, Heidelberg (2011)"},{"key":"31_CR22","unstructured":"Nordwest-Zeitung: EWE sp\u00fcrt Wende deutlich (March 12, 2012), \n                    \n                      http:\/\/www.nwzonline.de\/Aktuelles\/Politik\/Hintergrund\/NWZ\/Artikel\/2822057\/EWE-sp%FCrt-Wende-deutlich.html"},{"key":"31_CR23","series-title":"Wiley Series in Probability and Mathematical Statistics: Applied Probability and Statistics","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley Series in Probability and Mathematical Statistics: Applied Probability and Statistics. John Wiley & Sons Inc., New York (1994)"},{"key":"31_CR24","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. Ph.D. thesis, MIT, Cambridge, MA, USA (1995)"},{"key":"31_CR25","unstructured":"Wiechmann, H.: Private communication (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:22Z","timestamp":1620117682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}