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

doi:10.1007/978-3-319-63121-9_30

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Original language	English
Title of host publication	Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Publisher	Springer Publishing Company
Publication date	19 Aug 2017
Pages	603-622
ISBN (Print)	978-3-319-63120-2
ISBN (Electronic)	978-3-319-63121-9
DOIs	https://doi.org/10.1007/978-3-319-63121-9_30
Publication status	Published - 19 Aug 2017
Event	KiMfest: 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, Denmark Duration: 19 Aug 2017 → 20 Aug 2017 http://kimfest.cs.aau.dk/

Workshop

Workshop	KiMfest
Location	Hotel Scandic Aalborg Øst, Hadsundvej 200, 9220 Aalborg Øst
Country/Territory	Denmark
City	Aalborg
Period	19/08/2017 → 20/08/2017
Internet address	http://kimfest.cs.aau.dk/

Series	Lecture Notes in Computer Science
Volume	10460
ISSN	0302-9743

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

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. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 603-622). Springer Publishing Company. https://doi.org/10.1007/978-3-319-63121-9_30

Agesen, Mads Kronborg ; Enevoldsen, Søren ; Le Guilly, Thibaut et al. / 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. pp. 603-622 (Lecture Notes in Computer Science, Vol. 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 = aug,

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",

note = "KiMfest : a conference in honour of Kim G. Larsen on the occasion of his 60th birthday, Aalborg University, 19-20 August 2017. ; Conference date: 19-08-2017 Through 20-08-2017",

url = "http://kimfest.cs.aau.dk/",

}

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. in 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, vol. 10460, pp. 603-622, KiMfest, Aalborg, Denmark, 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 et al.
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, 2017. p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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

T2 - KiMfest

Y2 - 19 August 2017 through 20 August 2017

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. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company. 2017. p. 603-622. (Lecture Notes in Computer Science, Vol. 10460). doi: 10.1007/978-3-319-63121-9_30