Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelModels, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ForlagSpringer Publishing Company
Publikationsdato19 aug. 2017
Sider603-622
ISBN (Trykt)978-3-319-63120-2
ISBN (Elektronisk)978-3-319-63121-9
DOI
StatusUdgivet - 19 aug. 2017
BegivenhedKiMfest: a conference in honour of Kim G. Larsen on the occasion of his 60th birthday, Aalborg University, 19-20 August 2017. - Hotel Scandic Aalborg Øst, Hadsundvej 200, 9220 Aalborg Øst, Aalborg, Danmark
Varighed: 19 aug. 201720 aug. 2017
http://kimfest.cs.aau.dk/

Workshop

WorkshopKiMfest
LokationHotel Scandic Aalborg Øst, Hadsundvej 200, 9220 Aalborg Øst
LandDanmark
ByAalborg
Periode19/08/201720/08/2017
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind10460
ISSN0302-9743

Citer dette

Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P., & Skou, A. J. (2017). Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego. I Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (s. 603-622). Springer Publishing Company. Lecture Notes in Computer Science, Bind. 10460 https://doi.org/10.1007/978-3-319-63121-9_30
Agesen, Mads Kronborg ; Enevoldsen, Søren ; Le Guilly, Thibaut ; Mariegaard, Anders ; Olsen, Petur ; Skou, Arne Joachim. / Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, 2017. s. 603-622 (Lecture Notes in Computer Science, Bind 10460).
@inproceedings{7d51b6637cee45269ba3464a8d5e0ea1,
title = "Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego",
author = "Agesen, {Mads Kronborg} and S{\o}ren Enevoldsen and {Le Guilly}, Thibaut and Anders Mariegaard and Petur Olsen and Skou, {Arne Joachim}",
year = "2017",
month = "8",
day = "19",
doi = "10.1007/978-3-319-63121-9_30",
language = "English",
isbn = "978-3-319-63120-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "603--622",
booktitle = "Models, Algorithms, Logics and Tools",
address = "United States",

}

Agesen, MK, Enevoldsen, S, Le Guilly, T, Mariegaard, A, Olsen, P & Skou, AJ 2017, Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego. i Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, Lecture Notes in Computer Science, bind 10460, s. 603-622, Aalborg, Danmark, 19/08/2017. https://doi.org/10.1007/978-3-319-63121-9_30

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego. / Agesen, Mads Kronborg; Enevoldsen, Søren; Le Guilly, Thibaut; Mariegaard, Anders; Olsen, Petur; Skou, Arne Joachim.

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, 2017. s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

AU - Agesen, Mads Kronborg

AU - Enevoldsen, Søren

AU - Le Guilly, Thibaut

AU - Mariegaard, Anders

AU - Olsen, Petur

AU - Skou, Arne Joachim

PY - 2017/8/19

Y1 - 2017/8/19

U2 - 10.1007/978-3-319-63121-9_30

DO - 10.1007/978-3-319-63121-9_30

M3 - Article in proceeding

SN - 978-3-319-63120-2

T3 - Lecture Notes in Computer Science

SP - 603

EP - 622

BT - Models, Algorithms, Logics and Tools

PB - Springer Publishing Company

ER -

Agesen MK, Enevoldsen S, Le Guilly T, Mariegaard A, Olsen P, Skou AJ. Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego. I Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company. 2017. s. 603-622. (Lecture Notes in Computer Science, Bind 10460). https://doi.org/10.1007/978-3-319-63121-9_30