The Micro-grid as a Stochastic Hybrid System - Two Formal Frameworks for Advanced Computing
暂无分享,去创建一个
A Micro-Grid (MG) is an autonomous local energy network that involves various energy generation, consumption, storage, distribution and transfer devices. A MG energy management has to ensure satisfaction of energy demands through the coordination of generation and storage devices. Especially in complex MGs, significant savings can be achieved if the operation is optimized. For proper optimization, the system has to be described in sufficient detail to be used as the input for the optimization procedure. The major contribution of this paper is showing that a MG can be modeled as a Stochastic Hybrid Systems (SHS). Therefore, the usual tools for SHS can be applied here and solve practical problem. This is sketched out at the end of this work.
[1] S. Chowdhury,et al. Microgrids and Active Distribution Networks , 2009 .
[2] John Lygeros,et al. Toward a General Theory of Stochastic Hybrid Systems , 2006 .
[3] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[4] M. Campi,et al. The scenario approach for systems and control design , 2008 .