The Micro-Grid 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

Volumn , Issue , 2012, Pages 141-144

  Macek, Karel ^a,b   Střelec, Martin ^a  

^a Honeywell Prague Laboratory   (Czech Republic)

^b CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Micro Grid modeling; Stochastic Hybrid Systems

Indexed keywords

HYBRID SYSTEMS; VIRTUAL STORAGE;

ENERGY GENERATIONS; ENERGY NETWORKS; ENERGY-CONSUMPTION; ENERGY-TRANSFER; FORMAL FRAMEWORK; GRID MODEL; LOCAL ENERGY; MICRO-GRID MODELING; MICROGRID; STOCHASTIC HYBRID SYSTEMS;

STOCHASTIC SYSTEMS;

EID: 84864878474     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. Baier, C. and Katoen, J.-P. (2008). Principles of Model Checking (Representation and Mind Series). The MIT Press.
2. 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.
3. Campi, M. C., Garatti, S., and Prandini, M. (2009). The scenario approach for systems and control design. Annual Reviews in Control, pages 149-157.
4. 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.