# THE MICRO-GRID AS A STOCHASTIC HYBRID SYSTEM - Two Formal Frameworks for Advanced Computing

### Karel Macek, Martin Střelec

#### Abstract

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.

#### References

- Baier, C. and Katoen, J.-P. (2008). Principles of Model Checking (Representation and Mind Series). The MIT Press.
- Bujorianu, M. and Lygeros, J. (2006). Toward a general theory of stochastic hybrid systems. Lecture Notes in Control and Information Sciences (LNCIS), 337:3-30.
- Campi, M. C., Garatti, S., and Prandini, M. (2009). The scenario approach for systems and control design. Annual Reviews in Control, pages 149-157.
- Chowdhury, S., Chowdhury, S., and Crossley, P. (2009). Microgrids and Active Distribution Networks, volume 6 of Renewable Energy Series. The Institution of Engineering and Technology.

#### Paper Citation

#### in Harvard Style

Macek K. and Střelec M. (2012). **THE MICRO-GRID AS A STOCHASTIC HYBRID SYSTEM - Two Formal Frameworks for Advanced Computing** . In *Proceedings of the 1st International Conference on Smart Grids and Green IT Systems - Volume 1: SMARTGREENS,* ISBN 978-989-8565-09-9, pages 141-144. DOI: 10.5220/0003952101410144

#### in Bibtex Style

@conference{smartgreens12,

author={Karel Macek and Martin Střelec},

title={THE MICRO-GRID AS A STOCHASTIC HYBRID SYSTEM - Two Formal Frameworks for Advanced Computing},

booktitle={Proceedings of the 1st International Conference on Smart Grids and Green IT Systems - Volume 1: SMARTGREENS,},

year={2012},

pages={141-144},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0003952101410144},

isbn={978-989-8565-09-9},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 1st International Conference on Smart Grids and Green IT Systems - Volume 1: SMARTGREENS,

TI - THE MICRO-GRID AS A STOCHASTIC HYBRID SYSTEM - Two Formal Frameworks for Advanced Computing

SN - 978-989-8565-09-9

AU - Macek K.

AU - Střelec M.

PY - 2012

SP - 141

EP - 144

DO - 10.5220/0003952101410144