The Micro-grid as a Stochastic Hybrid System - Two Formal Frameworks for Advanced Computing.

Karel Macek Martin Strelec

Published in: SMARTGREENS (2012)

Keyphrases

monte carlo
stochastic model
stochastic optimization
formal model
formal specification
stochastic models
case study
expert systems
grid points
stochastic programming
hexagonal grid
information systems
stochastic nature
formal methods
grid computing
multistage
knowledge base