THE MICRO-GRID AS A STOCHASTIC HYBRID SYSTEM - Two Formal Frameworks for Advanced Computing Topics: Economic Models of Energy Efficiency; Smart Grids Modeling In Proceedings of the 1st International Conference on Smart Grids and Green IT Systems SMARTGREENS - Volume 1, 141-144, 2012 , Porto, Portugal