Publications
WP1 Modeling and abstraction 

1.1  Martin Franzle, Ernst Moritz Hahn, Holger Hermanns, Nicolas Wolovick, Lijun Zhang Measurability and Safety Verification for Stochastic Hybrid Systems In Emilio Frazzoli and Radu Grosu (eds.), Proceedings of the 13th International Conference on Hybrid Systems: Computation and Control (HSCC 2011, Chicago, USA), ACM, New York, NY, USA, 2011, pp. 4352. 
1.2  Alessandro Abate, Alessandro D'Innocenzo and Maria Domenica Di Benedetto, Approximate Abstractions of Stochastic Hybrid systems IEEE Transactions on Automatic Control, 56(10), Nov. 2011. 
1.3  Ilya Tkachev and Alessandro Abate On infinitehorizon probabilistic properties and stochastic bisimulation functions Proceedings of the 50th IEEE Conference on Decision and Control (CDC 11), Orlando, FL, Dec. 2011. 
1.4  Alessandro Abate and Maria Prandini Approximate abstractions of stochastic systems: a randomized method Proceedings of the 50th IEEE Conference on Decision and Control (CDC 11), Orlando, FL, Dec. 2011. 
1.5  H. Fu, and J.P. Katoen Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and FiniteState Systems In Foundations of Software Technology and Theoretical Computer Science (FSTTCS). LIPIcs. Schloss Dagstuhl, 2011. 
1.6  A. Sharma, and J.P. Katoen Weighted Lumpability on Markov Chains To appear in 8th Ershov Informatics Conference (PSI) 2011. LNCS. 
1.7  B. Delahaye, J.P. Katoen, K. G. Larsen, A. Legay, M. Pedersen, F. Sher, and A. Wasowski Abstract Probabilistic Automata In Verification, Model Checking and Abstract Interpretation (VMCAI). pages 324339. Volume 6538 of LNCS. SpringerVerlag, 2011. 
1.8  B. Delahaye, J.P. Katoen, K. G. Larsen, A. Legay, M. Pedersen, F. Sher, and A. Wasowski New Results on Abstract Probabilistic Automata In Applications of Concurrency to System Design (ACSD). pages 118127. IEEE CS Press, 2011. 
1.9  A. Abate Probabilistic Bisimulations of Switching and Resetting Difusions In the Proceedings of the 49th IEEE Conference on Decision and Control (CDC 10), Atlanta, GA, Dec. 2010. 
1.10  Ilya Tkachev and Alessandro Abate Regularization of Bellman equations for innitehorizon probabilistic properties ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control, Beijing, PRC, Apr 2012, pp. 227236. 
1.11  Dieky Adzkiya, Bart De Schutter, and Alessandro Abate Abstraction and Verication of Autonomous MaxPlusLinear Systems Proceedings of the 31st American Control Conference, Jun 2012, Montreal, CA, pp. 721726. 
1.12  E.M. Hahn, A. Hartmanns, H. Hermanns and J. P. Katoen A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems Formal Methods in System Design, October 2013, Volume 43, Issue 2, pp 191232 
1.13  Alessandro D'Innocenzo, Alessandro Abate, and JoostPieter Katoen Robust PCTL Model Checking ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control, Beijing, PRC, Apr 2012, pp. 275285. 
1.14  A. Sharma Weighted Probabilistic Equivalence Preserves OmegaRegular Properties In 16th International GI/ITG Conference, MMB & DFT 2012, pages 121135, LNCS 7201, 2012. 
1.15  H. Fu Computing game metrics on Markov decision processes In A. Czumaj, K. Mehlhorn, A. M. Pitts, and R. Wattenhofer, editors, 39th International Colloquium on Automata, Languages, and Programming (ICALP), LNCS 7392, pages 227238. Springer, 2012. 
1.16  F. Sher and J.P. Katoen Compositional Abstraction Techniques for Probabilistic Automata In 7th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (IFIP TCS 2012), pp. 325341, LNCS 7604, Springer, 2012. 
1.17  A. Abate Approximation Metrics based on Probabilistic Bisimulations for General StateSpace Markov Processes: a Survey To appear in Electronic Notes in Theoretical Computer Sciences, 2012. 
1.18  I. Tkachev and A. Abate Stability and attractivity of absorbing sets for discretetime Markov processes Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 7652  7657. 
1.19  Nils Müllner, Martin Fränzle, and Oliver Theel Combining Decomposition and Reduction for State Space Analysis of a SelfStabilizing System In the proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA),pp. 936943, Japan, 2012. 
1.20  Simone Garatti and Maria Prandini A simulationbased approach to the approximation of stochastic hybrid systems In the Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'12), Eindhoven, The Netherlands, June 48, 2012. 
1.21  B. Delahaye, J.P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher and A. Wasoski Abstract Probabilistic Automata To appear in Information and Computation, 80 pages, 2013. 
1.22  M. Swaminathan, J.P. Katoen, E.R. Olderog Layered Reasoning for Randomized Distributed Algorithms Formal Aspects of Computing, 24(46), pages 477 496, 2012. 
1.23  I. Tkachev and A. Abate Characterization and computation of infinite horizon specifications over Markov processes To appear in Theoretical Computer Science, 2013. 
1.24  A. Abate Approximation Metrics based on Probabilistic Bisimulations for General StateSpace Markov Processes: a Survey Electronic Notes in Theoretical Computer Sciences, 2013. 
1.25  I. Tkachev and A. Abate Stability and attractivity of absorbing sets for discretetime Markov processes Proceedings of the 51st IEEE Conference on Decision and Control, Maui, HW, December 2012, pp. 7652  7657. 
1.26  I. Tkachev and A. Abate Formulafree finite abstractions for linear temporal verfication of Stochastic Hybrid Systems Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control, 2013. 
1.27  D. Adzkiya and A. Abate, VeriSiMPL Verification via biSimulations of MPL models Quantitative Evaluation of Systems, K. Joshi et al. eds., LNCS 8054, pp. 274 277, Springer Verlag, 2013. Aug. 2013. 


2.1  A. Abate, J.P. Katoen, J. Lygeros, M. Prandini A twostep scheme for approximate model checking of stochastic hybrid systems 18th IFAC World Congress, Milano, Italy, 2011. 
2.2  T. Chen, T. Han, J.P. Katoen, and A. Mereacre Reachability probabilities in Markovian timed automata IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
2.3  T. Chen, T. Han, J.P. Katoen, and A. Mereacre Model checking of continuoustime Markov chains against timed automata specifications Logical Methods in Computer Science, 7(12):134, 2011. 
2.4  Alessandro Abate, JoostPieter Katoen, and Alexandru Mereacre Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). pages 83–92. ACM Press, 2011. 
2.5  S. Summers, M. Kamgarpour, C. Tomlin, and J. Lygeros A stochastic reachavoid problem with random obstacles 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), ACM Press, 2011. 
2.6  M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C.J. Tomlin Discrete time stochastic hybrid dynamical games: Verification & controller synthesis IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
2.7  D. M. Raimondo, N. Kariotoglou, S. Summers, and J. Lygeros Probabilistic certification of pantiltzoom camera surveillance systems IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
2.8  N. Kariotoglou, D. M. Raimondo, S. Summers, and J. Lygeros A stochastic reachability framework for autonomous surveillance with pantiltzoom cameras IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
2.9  S. Soudjani and A. Abate Adaptive gridding for abstraction and verification of stochastic hybrid systems In 8th Conference on Quantitative Evaluation of Systems (QEST 11), Aachen, DE, Sept. 2011. 
2.10  M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C. Tomlin A stochastic games framework for verification and control of discrete time stochastic hybrid systems Automatica, Volume 49, Issue 9, September 2013, pp. 2665–2674. 
2.11  S. Esmaeil Zadeh Soudjani and A. Abate Probabilistic Invariance of Mixed DeterministicStochastic Dynamical Systems ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control (HSCC), Beijing, PRC, Apr 2012, pp. 207216. 
2.12  S. Esmaeil Zadeh Soudjani and A. Abate Higher Order Approximations for Verfication of Stochastic Hybrid Systems In Automated Technology for Verfication and Analysis (ATV), S. Chakraborty and M. Mukund eds., LNCS 7561, pp. 416434, Springer Verlag, 2012. 
2.13  C. Ellen, S. Gerwinn, and M. Fränzle Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems In Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS, Springer Verlag,Volume 7595, 2012, pp 123138. 
2.14  Christoph Zechner, Jakob Ruess, Peter Krenn, Serge Pelet, Matthias Peter, John Lygeros, and Heinz Koeppl Momentbased inference predicts bimodality in transient gene expression In Proceedings of the National Academy of Sciences of the USA (PNAS), 109:8340 8345, 2012. 
2.15  T. Teige and M. Fränzle Generalized Craig interpolation for stochastic Boolean satisfiability problems Logical Methods in Computer Science, special issue on TACAS'11, Tools and Algorithms for the Construction of Analysis of Systems, Lecture Notes in Computer Science Volume 665, 2011, pp 158172. 
2.16  T. Teige and M. Fränzle Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability Logical Methods in Computer Science. 8:132, 2012. 
2.17  H. Fu Approximation algorithm for verifying continuoustime Markov chains against multiclock timed automata Hybrid Systems: Computation and Control (HSCC), 2013. (Best student award paper.) 
2.18  S.E.Z. Soudjani and A. Abate Probabilistic Reachability Computation for Mixed DeterministicStochastic Processes To appear in IEEE Transactions on Automatic Control, Feb. 2014. 
2.19  S.E.Z. Soudjani and A. Abate Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes SIAM Journal on Applied Dynamical Systems, vol. 12, nr. 2, pp. 921 956, 2013. 
2.20  J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C.J. Tomlin A stochastic games framework for verication and control of discretetime stochastic hybrid systems Automatica, vol. 49, nr. 9, pp. 26652674, 2013. 
2.21  S. Garatti, M.C. Campi Modulating robustness in control design: principles and algorithms IEEE Control Systems 33(2):3651, 2013. 
2.22  A. Caré, S. Garatti, M.C. Campi Least squares estimates and the coverage of least squares costs 52nd IEEE Conference on Decision and Control, 2013. 
2.23  S. Summers, M. Kamgarpour, C. Tomlin, J. Lygeros Stochastic system controller synthesis for reachability specications encoded by random sets Automatica vol. 49, pp. 29062910, 2013. 
2.24  J. Ruess, A. MiliasArgeitis, J. Lygeros Designing experiments to understand the variability in biochemical reaction networks J R Soc Interface vol. 10, no. 88:20130588, 2013. 
2.25  J. Ruess and J. Lygeros Identifying stochastic biochemical networks from singlecell population experiments: a comparison of approaches based on the Fisher information CDC 2013. 
2.26  A. Hjartarson, J. Ruess and J. Lygeros Approximating the solution of the chemical master equation by combining nite state projection and stochastic simulation CDC 2013. 
2.27  B. Svetozarevic, P. Mohajerin Esfahani, M. Kamgarpour, and J. Lygeros A Robust Fault Detection and Isolation Filter for a Horizontal Axis Variable Speed Wind Turbine ACC 2013. 


3.1  Debasish Chatterjee, Federico Ramponi, Peter Hokayem, John Lygeros On mean square boundedness of stochastic linear systems with bounded controls System & Control Letter, Volume 61, Issue 2, February 2012, Pages 375–380. 
3.2  Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee,
Federico Ramponi, John Lygeros Stochastic receding horizon control with output feedback and bounded control inputs Automatica, Volume 48, Issue 1, January 2012, Pages 77–88 
3.3  Peyman Mohajerin Esfahani, Debasish Chatterjee,
and John Lygeros On a problem of stochastic reachavoid set characterization IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
3.4  Andreas MiliasArgeitis, Sean Summers, Jacob
StewartOrnstein, Ignacio Zuleta, David Pincus, Hana
ElSamad, Mustafa Khammash and John Lygeros In silico feedback for in vivo regulation of a gene expression circuit Nature Biotechnology, No. 29, 11141116, 2011. 
3.5  Taolue Chen, Tingting Han, JoostPieter Katoen, and Alexandru Mereacre Observing ContinuousTime MDPs by 1Clock Timed Automata Invited paper in Workshop on Reachability Problems (RP), Genova, Sept. 2011. pages 2  25. Volume 6945 of LNCS, SpringerVerlag, 2011. 
3.6  D. Guck, T. Han, J.P. Katoen, and M. R. Neuhäußer Quantitative Timed Analysis of Interactive Markov Chains 4th International NASA Formal Methods Symposium, pages 8 23, LNCS 7226, Springer, 2012. 
3.7  J.P. Katoen GSPNs Revisited: Simple Semantics and New Analysis Algorithms In J. Brandt and K. Heljanko, editors, 12th International Conference on Application of Concurrency to System Design (ACSD), pp. 611, IEEE Press, 2012. 
3.8  Shaunak D. Bopardikar, Alessandro Borri, Jo~ao P. Hespanha, Maria Prandini, Maria D. Di Benedetto Randomized Sampling for Large ZeroSum Games Automatica, Volume 49, Issue 5, May 2013, pp. 1184–1194. 
3.9  M. Prandini and L. Piroddi A selfrecovery approach to the probabilistic invariance problem for stochastic hybrid systems Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 20962101. 
3.10  M. Prandini, S. Garatti, and J. Lygeros A Randomized Approach to Stochastic Model Predictive Control Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 73157320. 
3.11  D. Guck, H. Hate, H. Hermanns, J.P. Katoen, and M. Timmer Modelling, Reduction and Analysis of Markov Automata In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST). pages 3450. Volume 8054 of LNCS. Springer, 2013. 
3.12  I. Tkachev, A. Mereacre, J.P. Katoen, and A. Abate Quantitative Automatabased Controller Synthesis for NonAutonomous Stochastic Hybrid Systems Hybrid Systems: Computation and Control (HSCC). pages 293303. ACM, 2013. 
3.13  D. Adzkiya, B. De Schutter and A. Abate Finite Bisimulations of MaxPlusLinear Systems IEEE Transactions on Automatic Control, vol. 58, nr. 12, Dec. 2013. 
3.14  D. Adzkiya, B. De Schutter and A. Abate Finite Abstractions of Nonautonomous MaxPlusLinear Systems 31st American Control Conference, Washington, DC, June 2013. 
3.15  J. Ding, A. Abate and C.J. Tomlin Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications 31st American Control Conference, Washington, DC, June 2013. 
3.16  M. Zamani and A. Abate Approximately Bisimilar Symbolic Models for Stochastic Switched Systems Quantitative Evaluation of Systems, K. Joshi et al. eds., LNCS 8054, pp. 305321, Springer Verlag, 2013. Aug. 2013. 
3.17  M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros Bisimilar finite abstractions for stochastic control systems 52nd IEEE Conference on Decision and Control, Florence IT, December 2013. 
3.18  M. Zamani, P. Mohajerin Esfahani, A. Abate, and J. Lygeros Symbolic models for stochastic control systems without stability assumptions European Control Conference 2013, pp. 42574262. 
3.19  M. Strelec and J. Berka Microgrid Energy Management based on Approximate Dynamic Programming IEEE Innovative Smart Grid Technologies (ISGT 2013), Copenhagen, Denmark, 2013. 
3.20  K. Margellos and J. Lygeros Viable set computation for hybrid systems Nonlinear Analysis: Hybrid Systems 10 (2013) 4562. 
3.21  N. Kariotoglou, S. Summers, T. Summers, M. Kamgarpour and J. Lygeros Approximate dynamic programming for stochastic reachability 2013 European Control Conference, July 1719, 2013, Zurich, Switzerland. 
3.22  T. Summers, K. Kunz, N. Kariotoglou, M. Kamgarpour, S. Summers, and J. Lygeros Approximate Dynamic Programming via Sum of Squares Programming 2013 European Control Conference, July 1719, 2013, Zurich, Switzerland. 
3.23  M. Kamgarpour, S. Summers and J. Lygeros Control Design for Specifications on Stochastic Hybrid Systems Hybrid Systems: Computation and Control (HSCC), 2013. 
3.24  F. Oldewurtel, D. Sturzenegger, P. Mohajerin Esfahani, G. Andersson, M. Morari, and J. Lygeros Adaptively Constrained Stochastic Model Predictive Control for ClosedLoop Constraint Satisfaction 31st American Control Conference, Washington, DC, June 2013. 
3.25  P. Mohajerin Esfahani, A. MiliasArgeitis, and D. Chatterjee Analysis of Controlled Biological Switches via Stochastic Motion Planning 2013 European Control Conference, July 1719, 2013, Zurich, Switzerland. 
3.26  S. Summers and J. Lygeros Multiobjective optimal control of stochastic hybrid systems 51st IEEE Conference on Decision and Control, Maui, Hawaii, Dec. 2012. 
3.27  X. Zhang, K. Margellos, P. Goulart, and J. Lygeros Stochastic Model Predictive Control using a Combination of Randomized and Robust Optimization 52nd IEEE Conference on Decision and Control, Florence IT, Dec. 2013. 
3.28  L. Deori, S. Garatti, and M. Prandini Stochastic constrained control: trading performance for state constraint feasibility 2013 European Control Conference, July 1719, 2013, Zurich, Switzerland. 


4.1  John Tzanos, Kostas Margellos, John Lygeros Optimal wind turbine placement via randomized optimization techniques Proceedings of the Power Systems Computation Conference (PSCC) 2011, Stockholm, Sweden, August 2226, 2011. 
4.2  Ralph Burkart, Kostas Margellos and John Lygeros Nonlinear Control of Wind Turbines: An Approach Based on Switched Linear Systems and Feedback Linearization IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011. 
4.3  K. Margellos, T. Haring, P. Hokayem, M. Schubiger, J. Lygeros and G. Andersson A robust reserve scheduling technique for power systems with high wind penetration International Conference on Probabilistic Methods Applied to Power Systems, Istanbul, Turkey, 2012. 
4.4  M. Vrakopoulou, K. Margellos, J. Lygeros and G. Andersson Probabilistic guarantees for the N1 security of systems with wind power generation Reliability and Risk Evaluation of Wind Integrated Power Systems, Springer, pp 5973, 2013. 
4.5  M. Vrakopoulou, K. Margellos, J. Lygeros and G. Andersson A probabilistic framework for security constrained reserve scheduling of networks with wind power generation Proceedings of IEEE Conference on Energy and Exhibition (ENERGYCON), Florence, Italy, 2012. 
4.6  M. Strelec, K. Macek, and A. Abate Modeling and Simulation of a Microgrid as a Stochastic Hybrid System Proceedings of IEEE PES Innovative Smart Grid Technologies (ISGT 12), Berlin (DE). 
4.7  K. Macek, M. Strelec Microgrid as a Stochastic Hybrid System  Two Formal Frameworks for Advanced Computing SMARTGREENS 2012, Proceedings of the 1st International Conference on Smart Grids and Green IT Systems, Porto, Portugal, 19  20 April, 2012. SciTePress 2012, ISBN 9789898565099 . 
4.8  S. Chakraborty, J.P. Katoen, M. Strelec, F. Sher Modelling and Statistical Model Checking of a Microgrid Workshop on Statistical Model Checking (SMC), Rennes, 2013. 
4.9  S.E.Z. Soudjani and A. Abate Aggregation of Thermostatically Controlled Loads by Formal Abstractions Proceedings of the European Control Conference 2013, pp. 42324237. 
4.10  M. Kamgarpour, C. Ellen, S.E.Z. Soudjani, S. Gerwinn, J.L. Mathieu, N. Mullner, A. Abate, D.S. Callaway, M. Fränzle, and J. Lygeros Modeling Options for Demand Side Participation of Thermostatically Controlled Loads IREP 2013. 
4.11  M. Vrakopoulou, M. Katsampani, K. Margellos, J. Lygeros and G. Andersson Probabilistic security constrained AC optimal power flow PowerTech 2013. 
4.12  K. Margellos, V. Rostampour, M. Vrakopoulou, M. Prandini, G. Andersson and J. Lygeros Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates Proceedings of the European Control Conference 2013 
4.13  V. Rostampour, K. Margellos, M. Vrakopoulou, M. Prandini, G. Andersson and J. Lygeros Reserve Requirements in AC Power Systems With Uncertain Generation 2013 4th IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), October 69, Copenhagen. 
4.14  M. Vrakopoulou, K. Margellos, J. Lygeros, and G. Andersson Probabilistic Framework for N1 Reserve Scheduling and Security Assessment of Systems With High Wind Power Penetration IEEE Transactions on Power Systems, vol. 28, no. 4, November 2013. 
4.15  J. L. Mathieu, M. Kamgarpour, J. Lygeros, and D. S. Callaway Energy Arbitrage with Thermostatically Controlled Loads Proceedings of the European Control Conference, 2013. 
4.16  J. L. Mathieu, T. Haring, Ledyard, G. Andersson Residential Demand Response Program Design: Engineering and Economic Perspectives Proceedings of the 10th International Conference on the European Energy Market, 2731 May 2013, Stockholm, Sweden. 
4.17  T. Haring, J. L. Mathieu, G. Andersson Decentralized Contract Design for Demand Response Proceedings of the 10th International Conference on the European Energy Market, 2731 May 2013, Stockholm, Sweden. 
4.18  T. Haring, G. Andersson Cost Allocation in Ancillary Service Markets To be presented at 47th Hawaii International Conference on System Sciences, 0609 Jan 2013, Big Island Hawaii, USA. 
4.19  T. Haring, J. Lygeros, G. Andersson Welfare assessment of decentralized pricing of operating reserves Proceedings of IEEE Powertech 2013, 1620 June 2013, Grenoble, France. 
4.20  N. Ceriani, R. Vignali, L. Piroddi, M. Prandini An approximate dynamic programming approach to the energy management of a building cooling system Proceedings of the European Control Conference, 2013. 
4.21  F. Borghesan, R. Vignali, L. Piroddi, M. Strelec, M. Prandini Microgrid energy management: a computational approach based on simulation and approximate discrete abstraction IEEE Conference on Decision and Control, Firenze, Italy, 2013. 
4.22  F. Borghesan, R. Vignali, L. Piroddi, M. Prandini, M. Strelec Approximate dynamic programming based control of a building cooling system with thermal storage IEEE Innovative Smart Grid Technologies (ISGT 2013), Copenhagen, Denmark, 2013. 